yogsototh/elm
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
941 commits 1 branch 8 tags 4.1 MiB
Commit graph

16 commits

Author SHA1 Message Date
evancz
73317ed123 Switch to using MultiIf for all if expressions. Simplifies AST. 2013-06-13 16:01:35 -07:00
evancz
6fc30322ce Print out a bunch of extra information about type checking. 2013-06-09 11:15:03 -07:00
evancz
989d878ac5 Merge branch 'master' into dev 
Conflicts:
	compiler/Model/Ast.hs
	compiler/Types/Constrain.hs
 2013-06-06 22:36:14 -07:00
evancz
ad0f1f1fed Switch from sets of constraints to lists of constraints. This should have a positive performance impact, in that list insertion should be asymptotically faster than set insertion. 2013-06-06 21:36:18 -07:00
Andrew Miller
f8547cf4be Update 'at patterns' to use the as notation per mailing list discussion 2013-06-07 12:53:50 +12:00
Andrew Miller
3c71ee1c4d Support @ patterns as in Haskell 2013-06-06 21:27:20 +12:00
Andrew Miller
6a34482849 Add support for type annotations in let 2013-06-03 19:44:45 +12:00
evancz
6b28feaa2b Switch name of Context to Located. Whoo static types :) 2013-05-29 16:20:38 -07:00
evancz
e086c17e07 Resolve types for values imported from the standard library. 
Still missing is ADT constructors in pattern matches and values from user defined modules.
 2013-05-28 15:59:22 -07:00
evancz
8ae1d112dc Turn on warning for undefined values. 2013-05-28 06:48:25 -07:00
evancz
7d03f69f8c Provide a way to define super-types in type annotations. Should not be used outside of core libraries. 2013-04-09 19:50:56 -07:00
evancz
703508f1c3 Fix prelude imports and correctly generalize for library types that use Number. 2013-04-07 17:55:34 -07:00
evancz
1d04b342d8 Permit pattern matching on records in case-expressions. 2013-04-07 06:46:46 -07:00
evancz
0354fad128 Explicitly list imports for a module. 2013-04-05 09:56:37 -07:00
evancz
82f888cb3d Get the type-checker running based on docs.json information. Also add rules for Nil and Tuple0, Tuple2, etc. 2013-04-04 01:09:35 -07:00
evancz
1822ebc160 Move the compiler down a directory, mostly. 2013-03-16 12:04:05 -07:00
Renamed from compiler/src/Types/Constrain.hs (Browse further)