git.iko.soy/rowtype-yoga/purescript-native
on 8f8615b help sign in
history ofsrc/Language/PureScript/TypeChecker.hs
all commits
bc763b7Fix #745Phil Freeman 306ba7bA start on #745 - a type for error messagesPhil Freeman 9b73cefAdd comments to `Module`.joneshf 2709304Remove erroneous MonadPlus instance after move to ExceptT.Phil Freeman 19f13b9Remove all use of the Error typeclass (from mtl)Harry Garrood 4538687Use Control.Monad.{Error => Except} where possibleHarry Garrood 945660dMerge remote-tracking branch 'origin/master' into corefn-class-reprGary Burgess 03fc6b6Fix #824Phil Freeman f78a8d5Fix generated fields arityGary Burgess b11114eAdd field names to environment entries for dctorsGary Burgess fa89354Initial work on #518Phil Freeman 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