git.iko.soy/rowtype-yoga/purescript-native
on e1ecb6b help sign in
history ofsrc/Language/PureScript/Types.hs
all commits
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 d1c3c08Fix a bunch of -Wall warningsPhil Freeman 939f826Polymorphic object updatePhil Freeman d3c5372Another testPhil Freeman 674d94dPolytypes in record fields, another examplePhil Freeman b3b0317More work on RankNTypesPhil Freeman 8d75f74Progress on RankNTypesPhil Freeman f6055cbMonotype checkPhil Freeman 1075979Merge polytype and type data typesPhil Freeman 34f1a08Initial modules implementationPhil Freeman 6747fb0Sanitize some modulesPhil Freeman