git.iko.soy/elk
on 00a3069 help sign in
history ofsrc/Canonicalize/Environment.hs
all commits
a57d829Change the canonicalization Env for new AST var infoEvan Czaplicki 732b5d1Track info for better shadowing error messagesEvan Czaplicki 740341fSwitch to the CPS'd result type for everythingEvan Czaplicki 77f542dTrack an index for each constructorEvan Czaplicki 3c00750Stop tracking uses and destructors in canonical ASTEvan Czaplicki ddb7c79Switch canonicalization to CPS / gather usage counts for variablesEvan Czaplicki 27cee06Store canonical types with pattern lookup tableEvan Czaplicki fe6f91bRemove Var.CanonicalEvan Czaplicki bfb8ecaGet a decent chunk of expression canonicalization compilingEvan Czaplicki 903977aReformulate canonicalization environmentEvan Czaplicki 52e43bbDisallow equivalent representations of the same typeEvan Czaplicki befb3dfMove all tuple name generation to AST.HelpersEvan Czaplicki 2feb357Begin upgrade of Reporting code from String to TextEvan Czaplicki e53128cConvert Canonicalization phase from String to TextEvan Czaplicki b97576dAttempt to speed up the parsing phaseEvan Czaplicki f24673bAdd "pkg" field to effect managersEvan Czaplicki c37875cRemove some newly dead codeEvan Czaplicki fa09513Type check effect manager functionsEvan Czaplicki 9ee3ac8Add the current module to the possible effectsEvan Czaplicki ba5bfd2Add support for "effect types" that track which effects are neededEvan Czaplicki 0137452Rename ADT to unionEvan Czaplicki 31545d1canonicalize module names, generate unambiguous names in JSEvan Czaplicki e33c47bMake it possible to dealias types in errors and warningsEvan Czaplicki 1347951Move Canonicalization code into its own subtreeEvan Czaplicki