git.iko.soy/rowtype-yoga/purescript-native
on f98236e help sign in
history ofsrc/PureScript/TypeChecker/Types.hs
all commits
1b77d7ehlintPhil Freeman 1bb682bIf blocks without else blocks never result in unreachable codePhil Freeman 6970c35Fix problem with recursive functions with a type signaturePhil Freeman e353c00Object update syntaxPhil Freeman 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