git.iko.soy/rowtype-yoga/purescript-native
on ae58255 help sign in
history ofsrc/Language/PureScript/TypeChecker.hs
all commits
2992586Mutually recursive data types, part 2Phil Freeman 9994812Mutually recursive data types, part 1Phil Freeman 93ff284Import data types using import keyword, fix prelude, fix some errors when unifying types across modules.Phil Freeman ea3e968Still more work on mutually recursive functions, still need to fix examplesPhil Freeman 24872f8More work on mutually recursive values, still not working.Phil Freeman 37a94cdWork so far on binding groupsPhil Freeman 8877913Move type declarations desugaring into its own modulePhil Freeman 2caa0c9Allow multiple-argument functions to be defined using top level case expressionsPhil Freeman e22e8e7First attempt at top level case expressionsPhil Freeman d1c3c08Fix a bunch of -Wall warningsPhil Freeman 07d727cTest cases pass againPhil Freeman cfac1b7Better error messagesPhil Freeman b3b0317More work on RankNTypesPhil Freeman 8d75f74Progress on RankNTypesPhil Freeman 1075979Merge polytype and type data typesPhil Freeman e354866Some parser tidying, bump version, fix overlapping imports issuePhil Freeman 3d932e1fix indentationBogdan Popa f9c9dd2simplify ImportDeclaration type checkerBogdan Popa 831e4a7make the ImportDeclaration type checker update the env properlyBogdan Popa a80fa9aadd ImportDeclaration type checkerBogdan Popa 34f1a08Initial modules implementationPhil Freeman d49abd2Use foreign import, not extern. Add foreign import member syntaxPhil Freeman 6747fb0Sanitize some modulesPhil Freeman