git.iko.soy/rowtype-yoga/purescript-native
on 8142e17 help sign in
8142e17Tidier implementation of forall instantiationPhil Freeman 939f826Polymorphic object updatePhil Freeman 33268aeBump version to 0.1.11Phil Freeman 7e3515cFix pattern matching for rank 2 constructors, and add an examplePhil Freeman ce885efPrevent skolem variables from escapingPhil Freeman d6a694dCapture avoiding substitution during skolemizationPhil Freeman 38c685dFix name shadowing issue in bindingsPhil Freeman d3c5372Another testPhil Freeman 974621eMaybe monadPhil Freeman 674d94dPolytypes in record fields, another examplePhil Freeman d9e64f0More tests for RankNTypes, adding polytypes to type synonyms and data declarationPhil Freeman 90503c5Another test, and a TODOPhil Freeman 50cf905General tidying, better approach to recursive functions with a top-level quantifierPhil Freeman 07d727cTest cases pass againPhil Freeman cbf70e7Better error messages during unificationPhil Freeman 558cd4eMore bug fixesPhil Freeman 1883dd4Remove tracePhil Freeman cfac1b7Better error messagesPhil Freeman 1e6bac6Fix type synonyms when checkingPhil Freeman b3b0317More work on RankNTypesPhil Freeman 8d75f74Progress on RankNTypesPhil Freeman f6055cbMonotype checkPhil Freeman 1075979Merge polytype and type data typesPhil Freeman e354866Some parser tidying, bump version, fix overlapping imports issuePhil Freeman 29d223dUpdate CONTRIBUTING.mdPhil Freeman 17496f9Merge pull request #70 from Bogdanp/masterPhil Freeman 3d932e1fix indentationBogdan Popa f9c9dd2simplify ImportDeclaration type checkerBogdan Popa 0263960drop potentially confusing lines from docBogdan Popa 1298be3add haskell formatting to import docBogdan Popa 379a6f0add import to READMEBogdan Popa 831e4a7make the ImportDeclaration type checker update the env properlyBogdan Popa cc4db20make Import example more complexBogdan Popa d3ad572add failing import exampleBogdan Popa 07fb23fadd passing import testBogdan Popa afd4605fix hlint warning in parseImportDeclarationBogdan Popa c502746implement declToJs for ImportDeclarationsBogdan Popa a80fa9aadd ImportDeclaration type checkerBogdan Popa 7bc6843add Alias constructor to NameKindBogdan Popa b938f71use ModulePath instead of [ProperName]Bogdan Popa 1821620add ImportDeclaration parserBogdan Popa af55178add ImportDeclaration constructorBogdan Popa 7456058Bump version, pretty printing JSPhil Freeman 3403d5fMore tests, plus fixing a bug in JS generationPhil Freeman e21a483Make the test suite passPhil Freeman 6deb41cFirst attempt at reconciling user defined operators with modulesPhil Freeman 5bc25c9Update README.mdPhil Freeman 249ff93Bump versionPhil Freeman 34f1a08Initial modules implementationPhil Freeman aca3ec1Mixed argument syntax docsPhil Freeman