git.iko.soy/rowtype-yoga/purescript-native
on 2205695 help sign in
history ofsrc/Language/PureScript/TypeChecker.hs
all commits
6d6c011Fix warningGary Burgess 5a61b93Improve errors for invalid newtype declarationsGary Burgess d7f3a32Retain data/newtype info in EnvironmentGary Burgess 99f82ceAdd param to dctors for newtype representationGary Burgess 363b03cisFunction, begone! #485Phil Freeman b3741cdAn attempt at a faster instance lookup implementationPhil Freeman e62efe1Merge branch 'superclasses'Phil Freeman 4b05d2eFix #356Phil Freeman 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