git.iko.soy/rowtype-yoga/purescript-native
on 2881a5b help sign in
history ofsrc/Language/PureScript/TypeChecker.hs
all commits
513ded4Merge @garyb's core functional AST changes, fixes #710Phil Freeman e9f1426Fix #694, take 2Phil Freeman a0542afBreak up DeclarationsGary Burgess 801dedbSupport multiple guard clauses, fix #294.Phil Freeman 0cb37f1Fix #671Phil Freeman 222d151Always include kinds in externs filesPhil Freeman a3215aePass kind information through to externs filePhil Freeman 4b08adeInitial work on #618.Phil Freeman 4350be8Reduce forM_ duplicationGary Burgess 9f4cb6fCheck classes aren't partially exportedGary Burgess f157680Check exported members don't use private classesGary Burgess e016ff9Move typeCheckModule to TypeCheckerGary Burgess 1baf09eFix #594Phil Freeman 708edbaBreaking example and some refactoringPhil Freeman e9be955Fix #548Phil Freeman 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