on 267f708 help sign in
all commits
3d94566Remove effect typesEvan Czaplicki ba5bfd2Add support for "effect types" that track which effects are neededEvan Czaplicki 0b499e6When extracting types, use type aliasesEvan Czaplicki ee3b209Error reporting overhaul (BIG)Evan Czaplicki 294f215Ignore unused variableEvan Czaplicki 5e43eb1Properly preserve type aliases after canonicalization and through type inferenceEvan Czaplicki 09301c6Make it possible to extract types from Module.InterfaceEvan Czaplicki