git.iko.soy/elk
on bfb8eca help sign in
history ofsrc/AST/Type.hs
all commits
959c23dReformulate AST for changes in validation / canonicalizationEvan Czaplicki 9111afaAdd ops, accessors, unit, and tuples to source ASTEvan Czaplicki a0fccd5Move Super type into AST.TypesEvan Czaplicki 52e43bbDisallow equivalent representations of the same typeEvan Czaplicki befb3dfMove all tuple name generation to AST.HelpersEvan Czaplicki fa7b51dUse liftM in binary instances for typesEvan Czaplicki c0b4375Switch all of the AST modules from String to TextEvan Czaplicki b7403d0Detect duplicate fields in type and type alias declarationsEvan Czaplicki 3d94566Remove effect typesEvan Czaplicki 8f032c9Make `command` and `subscription` functions available in effect modulesEvan Czaplicki ba5bfd2Add support for "effect types" that track which effects are neededEvan Czaplicki 6d9f01bRemove portsEvan Czaplicki 09e0b44cosmetic: modernize whitespaceEvan Czaplicki 3d9e219Fix bug in AST.Type.collectLambdas of dropping result typeEvan Czaplicki 037bd14Remove dead code, only collect canonical lambdasEvan Czaplicki 74db13fGet rid of Show and Pretty instances for AST typesEvan Czaplicki a28acb2Better model of types in Type.TypeEvan Czaplicki 3821d9aAdd AST.Type.iteratedDealiasEvan Czaplicki 54dfb21cosmetic: stop using `go` intermediaryEvan Czaplicki c9f3911Remove a bunch of Control.Applicative imports since we're only GHC 7.10 nowEvan Czaplicki e5369f5Crush down code generated by decision treesEvan Czaplicki 2f4b37fNicer formatting for extended record typesEvan Czaplicki e33c47bMake it possible to dealias types in errors and warningsEvan Czaplicki b76ad63Add pretty printing for raw typesEvan Czaplicki ee3b209Error reporting overhaul (BIG)Evan Czaplicki cf3a0bdMake sure the canonicalizing environment holds no duplicatesEvan Czaplicki 8a87749Remove crazy stuff (Stream / JavaScript => Json)Evan Czaplicki 0d83d8dGet rid of "perform", revert ports to 0.14 meaningEvan Czaplicki 55420d4Track dealiasing more preciselyEvan Czaplicki 54f9d33When dealiasing, stop on sub-aliasesEvan Czaplicki 75c1c8dProperly propagate port typesEvan Czaplicki cbe557dSwitch to "port" syntax for PortsEvan Czaplicki 22bed73Correct AST.Type.deepDealias functionEvan Czaplicki 5e43eb1Properly preserve type aliases after canonicalization and through type inferenceEvan Czaplicki 6775458Allow promises through portsEvan Czaplicki 4b30b6fstyle: improved indentation and namingEvan Czaplicki 0eea430Fix missing `{` when pretty printing empty record typesEvan Czaplicki 73cb511Improve the style of records in error messagesEvan Czaplicki ee72256Remove special syntax for lists in typesEvan Czaplicki 914e047Rename compiler/ to src/Evan Czaplicki 9c61b17rename src/ to compiler/ because the runtime/ directory is going to be top-levelEvan Czaplicki bb5d079Remove redundant -W flags from source codeEvan Czaplicki 9cda2b2rename compiler/ to src/Evan Czaplicki