git.iko.soy/rowtype-yoga/purescript-native
on 1ff7151 help sign in
all commits
722d3d4Remove syb dependency #367Phil Freeman 037f361Implement everythingWithContext by hand.Phil Freeman eded2bdWrite everythingM by hand.Phil Freeman beaef52Write everythingM' by hand.Phil Freeman 5c2aa36Add function to accumulate values over types appearing inside a value/declaration/binder.Phil Freeman 5025203Remove syb from code gen / fresh name generationPhil Freeman bf47876Yet more work on replacing SYBPhil Freeman 54116dfMore work on replacing sybPhil Freeman 5d19bd9Fix issue with type variables in super class dictionary types. Simplify desugaring somewhat, add more examplesPhil Freeman 0d1f3deDo not search superclass implementations when looking for a superclass dictionaryPhil Freeman 5626277Qualifying superclass names, more work on instance search.Phil Freeman bef7806Broken first superclasses checkinPhil Freeman abd72b6Fix a bug involving let bindings and unused variable removal. Support extended let in do-notation.Phil Freeman ee3b28dfix Module documentationosa1 81a1ebaAdd source position info to name-related errorsGary Burgess e4f4281Include source name in SourcePos infoGary Burgess dea47d7First version of source position information in error messagesPhil Freeman 90b40d6Fix #328Phil Freeman a5566d8Merge branch 'let'Phil Freeman 43463a8Infix function declarations #311Phil Freeman 503cacaMulti-let #258Phil Freeman 50ff1f2Initial refactoring for qualified importsGary Burgess 859fde9Include fixities in externs files, include inline JS decls. #253Phil Freeman b314ba1Fix #253Phil Freeman 415a33fForeign type class instance declarations. For #253 and #218Phil Freeman 9d0fd72Create DeclarationRef for instancesGary Burgess 2e0c57dA start on #253Phil Freeman 8e5c677Explicit exportsGary Burgess f78904dInitial work for module exportsGary Burgess a705217Rename "ImportType" so semantically it works for exports tooGary Burgess 8b6c26eNamed type class instancesPhil Freeman b0c35c6An attempt at importing valuesPhil Freeman 1029861Improve explicit import handlingGary Burgess 79d6d63Removed most lint.joneshf 9420ad3Multi parameter type classes #125. Also fix #224.Phil Freeman d3f368bChange ModuleName to accept [ProperName]Gary Burgess 997c4ee#188 Support for multiple data constructor argumentsPhil Freeman b37c730Remove multiple argument functions, allow type class instances for ->Phil Freeman a3e07b6When defining FFI calls with inline JS, copy the JS into the module body #145Phil Freeman cb57250Starting work on code commentsPhil Freeman 4aca4c1Type synonyms and data type declarations can now depend on each other.Phil Freeman 418f44aFix some aspects of code genPhil Freeman f761337Add contexts to instance declarationsPhil Freeman e0d0502More work on desugaring type classes into dictionariesPhil Freeman 47eba26Classes and instances parsersPhil Freeman 92e66f1Try to parse the Javascript in foreign import declarations.Phil Freeman c17fbe3Very basic version of GHCJS-style imports, no parsing of JS, yet.Phil Freeman 9aa9339Combine Type and Row types to facilitate kind-checking effects later.Phil Freeman 9994812Mutually recursive data types, part 1Phil Freeman 93ff284Import data types using import keyword, fix prelude, fix some errors when unifying types across modules.Phil Freeman