4c19d46added javascript test for IORefRui Barreiro9 years ago 3985928test basic021 type checksRui Barreiro9 years ago bf432a1first try, example basic021 gives a type errorRui Barreiro9 years ago 292fac7Merge pull request #4083 from idris-lang/fix_basic021Niklas Larsson9 years ago 6d954d8Merge pull request #4073 from rbarreiro/exportiface_jsNiklas Larsson9 years ago bd8ea0aMerge pull request #4081 from eraserhd/generic-ibcNiklas Larsson9 years ago 33cdc04Run basic021 on the C backendNiklas Larsson9 years ago bea08acstylize fixRui Barreiro9 years ago df5393fadded changelog entryRui Barreiro9 years ago 24e5a52turned off basic021 test on node, there is no way a foreign FFI_C call will work on javascriptRui Barreiro9 years ago c03398dFix whitespaceJason Felice9 years ago 85707ceUnused importsJason Felice9 years ago 391c93cUse default Binary implementation here, tooJason Felice9 years ago 176b8ffMerge branch 'exportiface_js' of github.com:rbarreiro/Idris-dev into exportiface_jsRui Barreiro9 years ago 2eea508fixed point free functions, IO returning functions and added a test, all for js interfaces functionalityRui Barreiro9 years ago 9c0fddbLean on default signatures for implementing BinaryJason Felice9 years ago d78090fMerge pull request #4079 from stevana/docs/dep-eff-typoAhmad Salim Al-Sibahi9 years ago e7c7faaFix typo in Dep.Eff documentation.Stevan Andjelkovic9 years ago 26cb165Merge branch 'master' into exportiface_jsNiklas Larsson9 years ago 7e800caSmall tweak to inliningEdwin Brady9 years ago 8cb1337Fix deprecation warning in Text.LiterateEdwin Brady9 years ago f2790b0Update CHANGELOG.mdAhmad Salim Al-Sibahi9 years ago 921ac8fAdded Data.IORefEdwin Brady9 years ago 8fb1be9Merge pull request #4076 from steshaw/private-functions-changelog-entryAhmad Salim Al-Sibahi9 years ago 83bb62fUnused binds (#4067)Jason Felice9 years ago 04d0151Changelog entry for "hiding private functions".Steven Shaw9 years ago d4bd8e6Clean up unused imports (#4065)Jason Felice9 years ago be8523fFix for commit in Text.ParserEdwin Brady9 years ago 07b7138Merge pull request #4062 from steshaw/private-functionsEdwin Brady9 years ago 613c962Merge pull request #4058 from msmorgan/feature/parser-functorEdwin Brady9 years ago c5128cbMerge pull request #4031 from msmorgan/feature/lexer-quantifiersEdwin Brady9 years ago d9a1c9dMerge pull request #4053 from msmorgan/bugfix/lexer-reject-eofEdwin Brady9 years ago a22feaaMerge pull request #4045 from msmorgan/feature/lexer-manyThenEdwin Brady9 years ago 0a83894added my self to contributorsRui Barreiro9 years ago 938b321run stylizeRui Barreiro9 years ago d3f9138interface parameter is passed to codegenRui Barreiro9 years ago f436c5fExpose `@` patterns to where functions (#4057)Jason Felice9 years ago 8d2ae1aMerge branch 'master' of github.com:idris-lang/Idris-dev into exportiface_jsRui Barreiro9 years ago 2dd2fd1add support for FFI_Export in js backend but the command line option does not reach js yetRui Barreiro9 years ago a071dabMerge pull request #4068 from RyanGlScott/masterAhmad Salim Al-Sibahi9 years ago bfee5e6Add Paths_idris to other-modules of codegen executablesRyan Scott9 years ago b571e63Tweak coding style.Steven Shaw9 years ago 20236a9Remove FIXME.Steven Shaw9 years ago 319166cImprove interactive018.Steven Shaw9 years ago 8f6f9afCode style tweakSteven Shaw9 years ago b8a0ac1Merge pull request #4054 from mdimjasevic/fix/master/issue-3883Ahmad Salim Al-Sibahi9 years ago f17a3b6Issue #3883: Updated messages according to @ahmadsalimMarko Dimjašević9 years ago 828de62Text.Lexer: deprecate `manyTill`Michael Morgan9 years ago 7c2148dText.Lexer: add newline and comment lexersMichael Morgan9 years ago 7e604f8Text.Lexer: add `manyUntil` and `manyThen`Michael Morgan9 years ago