git.iko.soy/elk
on 00a3069 help sign in
history ofsrc/Canonicalize/Type.hs
all commits
decec2dHandle qualified/unqualified AST nodes in canonicalizationEvan Czaplicki 732b5d1Track info for better shadowing error messagesEvan Czaplicki 740341fSwitch to the CPS'd result type for everythingEvan Czaplicki ddb7c79Switch canonicalization to CPS / gather usage counts for variablesEvan Czaplicki 2e0bedaUpdate canonicalizer for Reporting.Annotation simplificationEvan Czaplicki 63fb3d0Ensure that free type variables are computed only onceEvan Czaplicki 8867611Update canonicalize for AST shuffleEvan Czaplicki 1aaf793Update for max tuple size of 3 in typesEvan Czaplicki fcbda99Get canonicalization of module going againEvan Czaplicki bfb8ecaGet a decent chunk of expression canonicalization compilingEvan Czaplicki 903977aReformulate canonicalization environmentEvan Czaplicki 52e43bbDisallow equivalent representations of the same typeEvan Czaplicki e53128cConvert Canonicalization phase from String to TextEvan Czaplicki b7403d0Detect duplicate fields in type and type alias declarationsEvan Czaplicki b97576dAttempt to speed up the parsing phaseEvan Czaplicki 94ebc2dUse the same Result type everywhereEvan Czaplicki 3d94566Remove effect typesEvan Czaplicki 3cd7b27Use more specific region for type application errorsEvan Czaplicki ba5bfd2Add support for "effect types" that track which effects are neededEvan Czaplicki c9f3911Remove a bunch of Control.Applicative imports since we're only GHC 7.10 nowEvan Czaplicki 1347951Move Canonicalization code into its own subtreeEvan Czaplicki