on 00a3069 help sign in
all commits
a57d829Change the canonicalization Env for new AST var infoEvan 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 8867611Update canonicalize for AST shuffleEvan Czaplicki a0ee1f5Stop recognizing locally defined binopsEvan Czaplicki 27cee06Store canonical types with pattern lookup tableEvan Czaplicki 24caf2aVerify that init/onEffects/onSelfMsg exist in canonicalizationEvan Czaplicki fcbda99Get canonicalization of module going againEvan Czaplicki 8b88494Get canonicalization of binop sequences working againEvan Czaplicki bfb8ecaGet a decent chunk of expression canonicalization compilingEvan Czaplicki 903977aReformulate canonicalization environmentEvan Czaplicki