git.iko.soy/rowtype-yoga/purescript-native
on fca3655 help sign in
history ofsrc/Language/PureScript/TypeChecker.hs
all commits
144dd6fAdd support for user defined kinds (#2486)Liam Goodacre 6954b06Add support for rows in instance head under fundeps (#2451)Liam Goodacre 92c8c65Use Text over String (#2418)Christoph Hegemann f81b9caUpdate error message of `ErrorInDataBindingGroup` to include participating identifiers (#2447)Liam Goodacre 1e6fc9dSolving IsSymbol instances (#2429)Liam Goodacre a8756f0Handle TypeLevelString when checking orphans (#2393)Hardy Jones 81a578fFix #2370, allow rows in instance contextsPhil Freeman e0b2655Add deriving for Data.NewtypeGary Burgess 8197c06Functional Dependencies (#2279)Phil Freeman 455848aBetter context information for typed hole errors (#2247)Phil Freeman e716ea5Travis tweaks (#2178)Oleg Grenrus c9f0839Programmable type errors (#2155)Phil Freeman 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