git.iko.soy/rowtype-yoga/purescript-native
on f745cd9 help sign in
f745cd9Update README.mdPhil Freeman b8e53c6Fix opStart lexerPhil Freeman d1c3c08Fix a bunch of -Wall warningsPhil Freeman 6fa5829Fix warnings introduced by -WallPhil Freeman 38e324aUse dot for module name separator, not a colonPhil Freeman 93c5248Bump versionPhil Freeman 96edff2Name resolution up the module hierarchy, allowing names in the global module to be referenced.Phil Freeman 3eec9f0Avoid reassigning vars when importing a modulePhil Freeman e580678Use Environment to store types of local variables.Phil Freeman 1e88986Use .purs file extensionPhil Freeman 63c158aUpdate README.mdPhil Freeman a21661dFix type generalizer bugPhil Freeman 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