David Christiansen
27e3c6961c
Use just-built dynamic RTS during library typecheck
...
Idris has been extended with a flag to choose which dynamic RTS library will
be loaded on startup. The build system has been updated to build the dynamic
RTS after Idris but before typechecking the stdlib. Typechecking the stdlib
now uses the just-build dynmic RTS in dist/.
2013-04-04 16:01:08 +02:00
Ertugrul Söylemez
b1890e7b41
Improved Makefile dependencies.
2013-03-21 17:14:37 +01:00
Jan Bessai
1b46872756
Added compile flag support to deactivate creation of the java backend
2013-03-13 02:26:06 +01:00
Edwin Brady
0b5a5b33dc
Added effects package and associated tests
2013-03-01 13:52:51 +00:00
David Christiansen
c0bc35353e
Build Haddock and Hoogle files
...
Haddock will generate links to Hackage where appropriate.
2013-02-26 11:17:12 +01:00
Jason Dagit
3bfe41870a
Refactor the makefile so that all the pertinent variables are in config.mk
2012-10-29 11:56:53 -07:00
Edwin Brady
5692e487d9
Added "codata"
...
Constructors of coinductive types evaluate arguments lazily.
Corecursive functions do not reduce at compile time.
2012-10-22 22:33:46 +01:00
Edwin Brady
1e52324008
Added simple library packaging system
...
Now used for the prelude (see lib/base.ipkg)
2012-09-25 17:34:50 +01:00
Edwin Brady
13e17a41b4
Fix allocation size
2012-09-06 14:24:52 +01:00
Edwin Brady
38a9365239
More towards the new compiler
2012-05-15 14:11:01 +01:00
Edwin Brady
6807cf4641
Unreachable case warning
2012-01-21 10:45:13 -05:00
Edwin Brady
3b1334102d
Better error reporting for unresolved type classes
2012-01-18 14:34:47 +00:00
Edwin Brady
0f7b6d587f
Correct test004
2011-12-16 17:43:08 +00:00
Edwin Brady
dccbc4399f
Generate bytecode so that files don't need to be rechecked every time they're loaded
2011-12-08 23:40:02 +00:00
Edwin Brady
663c464326
Added test directory and a single test...
2011-11-17 22:13:33 +01:00
Edwin Brady
39b934cfab
Sugar for dependent pairs
2011-10-25 12:46:47 +01:00
Edwin Brady
bcdde4a0cb
Makefile added
2011-10-14 17:59:53 +01:00
