git.iko.soy/rowtype-yoga/purescript-native
on 536281b help sign in
history ofsrc/PureScript/TypeChecker/Types.hs
all commits
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