git.iko.soy/rowtype-yoga/purescript-native
on f8da0b9 help sign in
history ofsrc/Language/PureScript/TypeChecker.hs
all commits
1884c62Fix #301 Flexible Instances, and a bug in type instance lookupPhil Freeman 50ff1f2Initial refactoring for qualified importsGary Burgess dd2ff52Improve instance propagation #272Phil Freeman b314ba1Fix #253Phil Freeman 415a33fForeign type class instance declarations. For #253 and #218Phil Freeman 2e0c57dA start on #253Phil Freeman a178e07Reinstate -Wall, fix warnings.Phil Freeman a36f24fCreate Prim moduleGary Burgess 8b6c26eNamed type class instancesPhil Freeman b0c35c6An attempt at importing valuesPhil Freeman d906c3cAdding some comments and type signatures to aid my understanding a littlePhil Freeman 1029861Improve explicit import handlingGary Burgess 80fc5f5Delinting againGary Burgess 3b12e0bTypeDeclarationKind now unnecessaryGary Burgess 965df5cDelintingGary Burgess 52796aeType renaming mostly workingGary Burgess 40338c8Just use Qualified name for dconsGary Burgess eeb5c85Don't need to carry NameKind for dcons anymoreGary Burgess 79d6d63Removed most lint.joneshf 9420ad3Multi parameter type classes #125. Also fix #224.Phil Freeman a909908Rework psc options for new --main and --moduleGary Burgess 83367bdCheck Eff type of main when using --entry-pointGary Burgess 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