git.iko.soy/rowtype-yoga/purescript-native
on d3f368b help sign in
history ofsrc/Language/PureScript/Types.hs
all commits
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