Evan Czaplicki
|
b5887f41c9
|
Get type inference working in the basic case. Begin working on
printing errors in a prettier way.
|
2013-07-10 14:31:57 +02:00 |
|
Evan Czaplicki
|
497d478d26
|
Get the solver working on basic programs. It outputs pretty types for the
variables in the program. Need to test further and start doing some benchmarking.
|
2013-07-09 21:52:05 +02:00 |
|
Evan Czaplicki
|
ca62ee64a9
|
Create type pools, have an organized model of state to flow through
the State Transformer during constraint solving and variable unification.
|
2013-07-09 10:25:50 +02:00 |
|
Evan Czaplicki
|
4c51159f2a
|
Create a Type.Pool module specifically for variable pools. Start using
a state transformer to thread the pool and errors through.
|
2013-07-08 20:03:08 +02:00 |
|
Evan Czaplicki
|
ca8441ff2f
|
Continue getting the new type-checker in order.
|
2013-07-07 12:52:48 +02:00 |
|