git.iko.soy/rowtype-yoga/purescript-native
on d2dfad0 help sign in
history ofsrc/Language/PureScript/Types.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 5a34984Type suggestions (#2076)Nicholas Wolverson fe18478Type operator aliasesGary Burgess f1dfe1eremoves superfluous constraints.Christoph Hegemann d1a956dRemove Data/Typeable derivingGary Burgess 8ca3d1eDistinguish between the different ProperNamesGary Burgess 1209e86Add information about skolems to type errorsPhil Freeman 3c1ed14Merge masterPhil Freeman 2978939Use base-compat across packageOleg Grenrus 117d5d3New approach to unificationPhil Freeman 5621449Merge master to feature branchPhil Freeman 132a430refactoring and cleaning upcreek 6dd900aExpand type synonyms eagerlyPhil Freeman 0888adaWarn on shadowed type var within a single typeGary Burgess 1376700Only use Show for debugging.Phil Freeman 5fd4043Remove redundant import warnings for 7.10Tibor Erdesz d08b2eedocs: Separate conversion and rendering stagesHarry Garrood 1f94f12Remove array type notation and cons bindersPhil Freeman 513ded4Merge @garyb's core functional AST changes, fixes #710Phil Freeman 2d01405Type wildcards are disallowed in type synonyms, data declarations, instances. #287Phil Freeman 165a6cbPort previous type wildcards implementationPhil Freeman 40f03bfMerge branch '618'Phil Freeman d68d1eaSimplify replaceAllTypeVars and handle some more edge casesPhil Freeman d410497First pass at #652Phil Freeman 4b08adeInitial work on #618.Phil Freeman beaef52Write everythingM' by hand.Phil Freeman 7d1bbfeWrite some syb traversals by hand #367Phil Freeman 807426aFix #376 and make types more easily understandable by pushing foralls before constraints in type class members.Phil Freeman 4974c03More tests, be explicit about missing type variable in applySubst.Phil Freeman 74c2628Fix #315 and fix #316Phil Freeman 2e0c57dA start on #253Phil Freeman a178e07Reinstate -Wall, fix warnings.Phil Freeman a36f24fCreate Prim moduleGary Burgess 79d6d63Removed most lint.joneshf 9420ad3Multi parameter type classes #125. Also fix #224.Phil Freeman d3f368bChange ModuleName to accept [ProperName]Gary Burgess 3fd4ea9Fix #181 - implement capture avoiding type substitution properlyPhil Freeman 7604b66Free variables calculation, better quantify function.Phil Freeman 29baa97Fix for #171Gary Burgess d71ddeeFix prettyPrintType and update docs #174Phil Freeman 97d123eFirst work on fixing the skolems bug #147Phil Freeman 4cbe6e3Use monad-unify 0.2.0Phil Freeman e7d219eFix Category bug #158Phil Freeman 9f939a6Use `TypeConstructor`s for basic typesGary Burgess b37c730Remove multiple argument functions, allow type class instances for ->Phil Freeman d59db66Use monad-unify packagePhil Freeman cb57250Starting work on code commentsPhil Freeman 67edf7a[] can now be used in type class instancesPhil Freeman