git.iko.soy/rowtype-yoga/purescript-native
on 3c22697 help sign in
history ofsrc/Language/PureScript/TypeChecker.hs
all commits
bc8ce42Relax restriction on data constructor namesGary Burgess 997c4ee#188 Support for multiple data constructor argumentsPhil Freeman 554c9a0Disallow type synonym instances #177Phil Freeman 6e46a60Disallow data constructors from having the same name as their enclosing module #172Phil Freeman 64ea30aFirst work on fixing the skolems bug #147Phil Freeman 9f939a6Use `TypeConstructor`s for basic typesGary Burgess b37c730Remove multiple argument functions, allow type class instances for ->Phil Freeman 1cb455bMore Haddock commentsPhil Freeman 4aca4c1Type synonyms and data type declarations can now depend on each other.Phil Freeman 544123fFix type class instances scope issuePhil Freeman c9ea112Qualify all unqualified names in type class declarationsPhil Freeman abd9791CodeGen fixesPhil Freeman 418f44aFix some aspects of code genPhil Freeman 043ad39Generate typeclass dictionary namesPhil Freeman b4d19dcBasic implementation of the entails relationPhil Freeman e8621c9Pass modified values up to codegen phasePhil Freeman 8c9d494Fix up broken tests, fix the escape check and skolem escape check.Phil Freeman f761337Add contexts to instance declarationsPhil Freeman 0604bc1Initial work on desugaring type classes into dictionariesPhil Freeman 521520dQualify all names appearing in types when adding names to the environment.Phil Freeman 5564d57Fix transitive import issuePhil Freeman c17fbe3Very basic version of GHCJS-style imports, no parsing of JS, yet.Phil Freeman d7c524cFix bug in which data constructors were being incorrectly accessed across modulesPhil Freeman 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