Mercurial > hg > Gears > GearsAgda
view doc/ChangeLog.txt @ 105:870453d5b096
Reduce warnings
author | Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> |
---|---|
date | Tue, 15 Mar 2016 11:57:46 +0900 |
parents | 907c69e21e56 |
children |
line wrap: on
line source
Mon Apr 13 20:13:54 JST 2015 kkb version 管理も built in であるべき プログラムを走らせるときに使うコードセグメントの集合は決まってる unix の command に相当 context がすべて知っている必要がある プログラムの走り方で dynamic loding liblary が変わる Reflection を意識したプログラミング Fri Apr 10 17:52:46 JST 2015 Tatsuki IHA context.hにdata segmentの型を定義 code segmentのaddressはcontextが持つ 呼ぶcode segmentはenumで持つ code segmentにはdefaultで一つdata segmentを持つ