on 00a3069 help sign in
all commits
261b7ffFix bug in cycle detection of patterns with only one variableEvan Czaplicki decec2dHandle qualified/unqualified AST nodes in canonicalizationEvan Czaplicki 8caab55Get cleaner errors on cyclic valuesEvan Czaplicki 732b5d1Track info for better shadowing error messagesEvan Czaplicki ae0bf2bStop tracking category of dupsEvan Czaplicki 9eb1ab6Detect kernel variables in canonicalizationEvan Czaplicki 740341fSwitch to the CPS'd result type for everythingEvan Czaplicki 3c00750Stop tracking uses and destructors in canonical ASTEvan Czaplicki ddb7c79Switch canonicalization to CPS / gather usage counts for variablesEvan 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 64038dcUpdate canonicalization for dissolution of AST.LiteralEvan Czaplicki dfaef18Give warnings on unused bindings and variablesEvan Czaplicki fcbda99Get canonicalization of module going againEvan Czaplicki b49e8f7Add code for canonicalizing case expressionsEvan Czaplicki 8b88494Get canonicalization of binop sequences working againEvan Czaplicki bfb8ecaGet a decent chunk of expression canonicalization compilingEvan Czaplicki