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