git.iko.soy/rowtype-yoga/purescript-native
on 3bc1da9 help sign in
history ofsrc/Language/PureScript/TypeChecker.hs
all commits
72ce900WIP: new externs file formatPhil Freeman bcddafcFix #1042, better messages for ExpectedType errors.Phil Freeman 8d5cfc2Improve warning error locations from typecheckerGary Burgess 59ba87fMerge pull request #1411 from erdeszt/fix-warningsPhil Freeman aa99fb9Fix shadowing issueTibor Erdesz 5fd4043Remove redundant import warnings for 7.10Tibor Erdesz f5d7b7fFix #421, match type instance heads eagerlyPhil Freeman 2a6be76Include position info in RedefinedModule errorsGary Burgess 19c27abDisallow orphan instancesGary Burgess 87290f6Improve error positions from typecheckerGary Burgess a23d2a0Index type-class dictionaries by class namesBrian McKenna c3b4444Improve addTypeClassDictionaries perfBrian McKenna eb1018cImprove performance of type-class dict lookupBrian McKenna fba4b71Read foreign values from $foreignGary Burgess 5cee177Simplify representation of foreign declarationsGary Burgess 06598c8Relax the lower bound on transformersHarry Garrood 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