summaryrefslogtreecommitdiff
path: root/utils/ext-core
Commit message (Expand)AuthorAgeFilesLines
* Fix some inconsistencies in the code and docs of primitivesIan Lynagh2008-06-232-25/+4
* More commandline flag improvementsIan Lynagh2008-06-161-1/+1
* Add dummy LICENSE file to make Cabal go throughTim Chevalier2008-05-171-0/+1
* don't rebuild PrimEnv if genprimopcode and/or primops.txt don't existTim Chevalier2008-05-151-3/+11
* Cabalize ext-core toolsTim Chevalier2008-05-1421-125/+705
* External Core tools: add note to README about where to find documentationTim Chevalier2008-05-051-0/+6
* External Core tools: track new syntax for newtypesTim Chevalier2008-05-0511-284/+266
* Improve syntax for primitive coercions in External CoreTim Chevalier2008-05-041-7/+6
* Fix External Core interpreterTim Chevalier2008-05-0314-395/+1032
* Improve External Core syntax for newtypesTim Chevalier2008-04-224-44/+38
* External Core typechecker - improve handling of coercionsTim Chevalier2008-04-227-135/+183
* Improve External Core syntaxTim Chevalier2008-04-164-53/+84
* Revive External Core typecheckerTim Chevalier2008-04-1412-1061/+862
* Revive External Core parserTim Chevalier2008-03-2911-135/+732
* Handle hierarchical module names in External Core toolsTim Chevalier2008-03-209-17/+272
* First cut at reviving the External Core toolsTim Chevalier2008-03-1012-180/+295
* Reorganisation of the source treeSimon Marlow2006-04-0712-0/+2695