summaryrefslogtreecommitdiff
path: root/utils/ext-core
Commit message (Expand)AuthorAgeFilesLines
* External Core: re-add code I removed mistakenly in last commitTim Chevalier2009-01-152-3/+16
* External Core lib: lots of cleanupTim Chevalier2009-01-148-166/+225
* ext-core: change .cabal file so we can build with either GHC 6.8 or 6.10Tim Chevalier2009-01-052-12/+25
* ext-core: fix some Prep bugsTim Chevalier2009-01-051-60/+98
* ext-core: use shorter names when combining modulesTim Chevalier2009-01-052-4/+23
* ext-core: twiddle primitive thingsTim Chevalier2009-01-052-2/+8
* ext-core library: Parser fixes; make it build with the HEADTim Chevalier2008-09-185-12/+21
* ext-core library: Add dead code eliminator for CoreTim Chevalier2008-09-123-2/+128
* ext-core library: expose some more modulesTim Chevalier2008-09-121-2/+2
* ext-core library: Change syntax for primitive coercionsTim Chevalier2008-09-121-7/+6
* ext-core library: Export a lot more things from PrimsTim Chevalier2008-09-122-17/+84
* ext-core library: Extend Core preprocessorTim Chevalier2008-09-121-6/+70
* ext-core library: Export a bunch more stuff from the parserTim Chevalier2008-09-121-1/+3
* ext-core library: Fix performance bugTim Chevalier2008-09-121-2/+11
* ext-core library: Remove some cruftTim Chevalier2008-09-121-4/+2
* ext-core library: Add code for merging multiple Core modules into a single mo...Tim Chevalier2008-09-124-3/+310
* Fixed performance bug in ext-core preprocessorTim Chevalier2008-08-094-41/+51
* 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
View Lorry Controller Status