git.iko.soy/elk
on ca2be8a help sign in
history ofsrc/Canonicalize/Pattern.hs
all commits
decec2dHandle qualified/unqualified AST nodes in canonicalizationEvan Czaplicki 732b5d1Track info for better shadowing error messagesEvan Czaplicki ae0bf2bStop tracking category of dupsEvan 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 bac53deAdd info on alternate ctors to every pattern in canonicalizationEvan Czaplicki 2e0bedaUpdate canonicalizer for Reporting.Annotation simplificationEvan Czaplicki 5fcbf86Improve duplicate tracking a bit.Evan Czaplicki a964796Shuffle canonicalization code to simplify type constraint generationEvan Czaplicki 63fb3d0Ensure that free type variables are computed only onceEvan Czaplicki 8867611Update canonicalize for AST shuffleEvan Czaplicki a794af5Make separate structure for PCtor argsEvan Czaplicki 800c03fUpdate to use Data.IndexEvan Czaplicki 27cee06Store canonical types with pattern lookup tableEvan Czaplicki bfb8ecaGet a decent chunk of expression canonicalization compilingEvan Czaplicki