git.iko.soy/rowtype-yoga/purescript-native
on c193571 help sign in
history ofsrc/Language/PureScript/TypeChecker.hs
all commits
6d1aa33Merge pull request #1529 from purescript/revert-1525-remove-type-export-checkGary Burgess 6967332Add export check for synonyms and types in dctorsGary Burgess d141c9aMerge pull request #1533 from purescript/881Phil Freeman 3e353adFix #881, improve error for out-of-order declarations in instancePhil Freeman 4fc4a02Revert "Don't require that all types are exported"Gary Burgess abcc3ccDon't require that all types are exportedGary Burgess 679c93cMerge master with feature branchPhil Freeman 9345724Change data structure for error message hintsPhil Freeman 5469304Merge synonyms2 and incremental branches into masterPhil Freeman 6dd900aExpand type synonyms eagerlyPhil Freeman 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