git.iko.soy/rowtype-yoga/purescript-native
on 0619bd5 help sign in
history ofsrc/Language/PureScript/TypeChecker.hs
all commits
3ad48f1Separate the `Op` and `Ident` namespacesGary Burgess fac68e5NoImplicitPrelude, enable some global extensions (#2094)Gary Burgess 0e7c936Require Partial instance on partial functions (#2072)Phil Freeman 235edeaRequire types to be exported if an type operator alias isGary Burgess fe18478Type operator aliasesGary Burgess 66e3b65Detect invalid newtypes in data binding groupsGary Burgess 90a755fDisallow constraint generalization for recursive functions.Phil Freeman f1dfe1eremoves superfluous constraints.Christoph Hegemann 9a377c4Operator aliases for data constructorsGary Burgess 20f1200apply hlint suggestionsChristoph Hegemann 8ca3d1eDistinguish between the different ProperNamesGary Burgess 6404180Allow operator aliases for imported valuesGary Burgess 4236b78Renamer updatesGary Burgess 8d3b8b3Introduce operator aliasesGary Burgess 3c1ed14Merge masterPhil Freeman 2978939Use base-compat across packageOleg Grenrus 117d5d3New approach to unificationPhil Freeman 724ac1dFix #1570Phil Freeman 688fc66Add internalError, make some of @garyb's suggested changes.Phil Freeman 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