git.iko.soy/elk
on 4e7ef5f help sign in
history ofcompiler/Type/Environment.hs
all commits
4e7ef5fAdd definitions for functions that act on numbers and comparablesEvan Czaplicki 82ca695Add support for "number" type which can be either an Int or FloatEvan Czaplicki 802be96Fix issue in which patterns could become too generalEvan Czaplicki c140d69First draft of cross-module type checkingEvan Czaplicki 4dc68acStop creating types for ADT's, use Constant and Flexible in the right placeEvan Czaplicki c881bd8Fix bug in type application when converting SourceSyntax.Type to Type.TypeEvan Czaplicki a3a7b3eRefactor type environmentEvan Czaplicki 0ed7205Add pretty printing for type constraints.Evan Czaplicki b87b845Move the Environment.hs and Fragment.hs files down a directory.Evan Czaplicki ca8441fContinue getting the new type-checker in order.Evan Czaplicki