git.iko.soy/rowtype-yoga/purescript-native
on d701c52 help sign in
history ofsrc/Language/PureScript/TypeChecker.hs
all commits
bef7806Broken first superclasses checkinPhil Freeman 2c35ae6Fix an issue with type class instance orderingPhil Freeman d7f4923Use ErrorStack everywhereGary Burgess e8e150cExtract errors moduleGary Burgess abde79fFix remaining bugs related to source position informationPhil Freeman dea47d7First version of source position information in error messagesPhil Freeman 1a087e7Initial work on #242Phil Freeman 74c2628Fix #315 and fix #316Phil Freeman 503cacaMulti-let #258Phil Freeman 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