Evan Czaplicki
|
0681fbe583
|
Get rid of dead function and give instantiateTypeWithContext a shorter name
|
2013-07-26 12:22:15 +02:00 |
|
Evan Czaplicki
|
9fe6c9a564
|
Change functions for creating type variables, distinguish names of different constraint type variables
|
2013-07-25 18:07:04 +02:00 |
|
Evan Czaplicki
|
8ffcf9e80e
|
Prettier printing for infix operator definitions
|
2013-07-23 15:43:21 +02:00 |
|
Evan Czaplicki
|
802be96e57
|
Fix issue in which patterns could become too general
|
2013-07-23 15:32:08 +02:00 |
|
Evan Czaplicki
|
138e99cc81
|
Begin to canonicalize imported values and types
|
2013-07-22 14:42:45 +02:00 |
|
Evan Czaplicki
|
81522b306a
|
Make cross-module types aware of user-specified aliases
|
2013-07-22 00:23:26 +02:00 |
|
Evan Czaplicki
|
c140d690fc
|
First draft of cross-module type checking
Currently, all top-level types are imported. No alias resolution
happens so you need to use "import open M" atm.
|
2013-07-21 22:50:48 +02:00 |
|
Evan Czaplicki
|
b0f96a2eab
|
Switch from [Def t v] to (LExpr t v) for program representation
|
2013-07-19 18:02:24 +02:00 |
|
Evan Czaplicki
|
a3a7b3ef62
|
Refactor type environment
Migrate some functions to Environment.hs, add built-in types like _List
and _Tuple2.
|
2013-07-17 19:29:27 +02:00 |
|
Evan Czaplicki
|
8145e600fc
|
Create MetadataModule for more refined information about modules
Used in most places to break a module into more orthogonal components.
Some of this data needs to be serialized into the interface files.
|
2013-07-16 21:42:37 +02:00 |
|
Evan Czaplicki
|
ce357b3d0d
|
Switch to reporting errors with [Doc] for prettier layout.
|
2013-07-16 14:52:50 +02:00 |
|
Evan Czaplicki
|
67ef1ec77b
|
Create the Type.Inference module which handles type inference from
start to finish. Give it a Module and it returns a dictionary mapping
top-level values to types.
|
2013-07-16 00:38:31 +02:00 |
|