Evan Czaplicki
|
e4ca96731d
|
Create a source syntax for types that will get converted into the internal type representation during type checking.
|
2013-07-07 18:13:40 +02:00 |
|
Evan Czaplicki
|
f2b3ed7027
|
Start using the PrettyPrint library to show expressions, literals, and patterns.
|
2013-07-07 12:56:34 +02:00 |
|
Evan Czaplicki
|
69ed7631fe
|
Start switching over to an AST that uses patterns in lambdas and
pulls the arguments out of Definitions (placing them in lambdas).
|
2013-07-04 11:36:08 +02:00 |
|
Evan Czaplicki
|
cd83c4c8ed
|
Allow full expressions as the last member of binary expressions (t + t + e)
|
2013-06-23 01:31:34 -07:00 |
|
evancz
|
9a40249e05
|
Fix the confusion with "Cons" and "Nil" in issue #176.
Also add the ExplicitList expression.
|
2013-06-20 21:25:10 -07:00 |
|
evancz
|
c7dce08193
|
Parameterized the AST for type annotations and variable types. Also rename Guid.hs to Unique.hs which reads a lot nicer.
|
2013-06-13 20:25:00 -07:00 |
|
evancz
|
459cf8ec73
|
Switch parsers over to new AST
|
2013-06-13 19:15:40 -07:00 |
|