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