| commit | e9d2f3644ace141732039af4de1654161c6c967b | |
| author | ygrek <ygrek@autistici.org> | |
| Mon, 4 Jan 2010 14:37:04 +0000 (4 16:37 +0200) | ||
| committer | ygrek <ygrek@autistici.org> | |
| Mon, 4 Jan 2010 14:37:04 +0000 (4 16:37 +0200) | ||
| tree | 3865db53e0e160d3894d1c97bbcd26f916ea7360 | treesnapshot (tar.gz zip) |
| parent | c33bb7b106328391db50b9bcb1863ee3e8e1937d | commitdiff |
deriving (Enum) now uses Deriving_Enum module [#1]
http://code.google.com/p/deriving/issues/detail?id=1
http://code.google.com/p/deriving/issues/detail?id=1
| lib/Makefile | diffblobblamehistory | |
| lib/deriving_Enum.ml | [moved from lib/enum.ml with 99% similarity] | diffblobblamehistory |
| lib/deriving_Enum.mli | [moved from lib/enum.mli with 100% similarity] | blobblamehistory |
| syntax/base.ml | diffblobblamehistory | |
| syntax/enum_class.ml | diffblobblamehistory |