git.iko.soy/rowtype-yoga/purescript-native
on 8b01085 help sign in
history ofsrc/Language/PureScript/Types.hs
all commits
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 f0eb3e1Fix kind checking, code gen for dictionariesPhil Freeman e0d0502More work on desugaring type classes into dictionariesPhil Freeman 9aa9339Combine Type and Row types to facilitate kind-checking effects later.Phil Freeman 5ff260bAllow method calls and other expressions evaluating to {} in statementsPhil Freeman