git.iko.soy/rowtype-yoga/purescript-native
on 2302594 help sign in
history ofsrc/PureScript/TypeChecker/Types.hs
all commits
2302594Disallow array index and object property updates in blocks.Phil Freeman 9ee79c6Show relevant term in type errorPhil Freeman 5c9e25eIntroduce saturated type synonyms to allow type synonyms to persist until unificationPhil Freeman 38d43e4Fix type synonym bugsPhil Freeman 73a773eShow human readable types in type errorsPhil Freeman 536281bIf-Then-Else expressionsPhil Freeman 071d687Recursive functions need to be made lazyPhil Freeman 0c57401Guards, named patterns, fixed array patternsPhil Freeman 7b064bdLightweight syntax for single argument functionsPhil Freeman aabb9d3For EachPhil Freeman eec09d8Finally get indentation workingPhil Freeman dd540b4Check all unknowns become quantified at the top level. Fix row unification bug./Phil Freeman 1c2bd79Row unification was not symmetricPhil Freeman 17fedf9User defined operatorsPhil Freeman 5d428e9Separate polytypes into their own datatype, remove rank 2 types. Fix type synonym example.Phil Freeman f96c9a1Work on type synonyms and rank-N typesPhil Freeman 667eeefMore examplesPhil Freeman adc70edSupport arrays and objects in assignmentsPhil Freeman ae6037fBetter code gen, better support for arrays, more patterns, more examples.Phil Freeman 78f85b3Fix some typechecker bugsPhil Freeman 100d787Initial addPhil Freeman