Evan Czaplicki
|
2a0a0e6e3c
|
Simplify SourceSyntax.Type AST, making record extension more restrictive as discussed with @maxsnew
|
2014-01-13 11:01:10 +01:00 |
|
Evan Czaplicki
|
6a8db4c230
|
Get rid of dead dependencies and add -Wall for some files
|
2014-01-03 12:33:56 +01:00 |
|
Evan Czaplicki
|
c685c8b91b
|
cosmetic changes on fix for #305
I felt weird about the previous style where things were more
intermingled. Does everything still look okay?
|
2013-10-19 22:14:34 -04:00 |
|
John P Mayer Jr
|
e75f5388fb
|
can have zero fields if no extension could be parsed
|
2013-10-20 01:28:52 +00:00 |
|
Evan Czaplicki
|
11a60de544
|
Disallow extended record types with no fields, resolves #280
|
2013-10-14 17:42:26 -04:00 |
|
Evan Czaplicki
|
a7bb2b7ac3
|
Fix issue in which type expressions eat trailing whitespace.
|
2013-09-06 12:22:01 -07:00 |
|
Evan Czaplicki
|
4e8898bef1
|
Remove unused references to Unique
|
2013-08-31 02:59:43 -07:00 |
|
Evan Czaplicki
|
7785eb8e48
|
Remove dead code
|
2013-08-25 19:24:45 -07:00 |
|
Evan Czaplicki
|
5fd85cd9c5
|
Permit single line comments intermingled with types
|
2013-08-15 23:29:29 -07:00 |
|
Evan Czaplicki
|
760ad905cf
|
Add record constructors, begin using lists to represent fields in record types to maintain ordering from the source program
|
2013-07-26 18:20:57 +02:00 |
|
Evan Czaplicki
|
6f94400f2d
|
Begin parsing types and patterns such as A.B.C
|
2013-07-22 14:40:32 +02:00 |
|
Evan Czaplicki
|
22f7f8a43a
|
Create a serializable interface for a module's type information
Also add a flag to print out top-level types
|
2013-07-21 06:08:08 +02:00 |
|
Evan Czaplicki
|
5cb82c6891
|
Add support for "(,,) a b c" as a valid type annotation
|
2013-07-20 18:53:41 +02:00 |
|
Evan Czaplicki
|
08ff939174
|
Be more flexible with the position of the closing bracket of a record type.
|
2013-07-14 14:55:29 +02:00 |
|
Evan Czaplicki
|
d29ca3beeb
|
Create a Parse.Declaration file for all declarations. Get rid of special
purpose Parse.Foreign library.
|
2013-07-07 22:06:56 +02:00 |
|
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 |
|
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 |
|