bfd93a2Merge pull request #2123 from melted/ignore_tweakDavid Christiansen12 years ago 76da3a3Merge pull request #2131 from puffnfresh/bug/nix-buildDavid Christiansen12 years ago 5c63ee3Fix disambiguation in dependent classesEdwin Brady12 years ago dd5bd6fFix default for execonly and Nix buildBrian McKenna12 years ago 5c6db8bTurn on optimisation for ParseExprEdwin Brady12 years ago ceb7412Fix excessive backtracking when parsing typesEdwin Brady12 years ago 7a8217aUse Set for boundNamesInEdwin Brady12 years ago c3def79Rename Tactical to ElabDavid Raymond Christiansen12 years ago 7d02904Progress towards defining functions in TacticalDavid Raymond Christiansen12 years ago 9610fddMerge pull request #2128 from jfdm/docs/fix/effect-exampleJan de Muijnck-Hughes12 years ago 267c62aUpdated effect exampleJan de Muijnck-Hughes12 years ago fe6f0a0Merge pull request #2117 from lenary/partial-showCGEdwin Brady12 years ago a273d83Add cabal.config to .gitignoreNiklas Larsson12 years ago 2a883b9Type Providers mean we can't relax the signature of run__providerSam Elliott12 years ago 8e112d7Added testssualitu12 years ago 76ec3feRevert changes to call__IO to fix JS BackendSam Elliott12 years ago e6c6b1bMerge pull request #2120 from melted/module_loadingDavid Christiansen12 years ago 0603732Change the hard coding of the path separatorNiklas Larsson12 years ago 46c3081Disable effects004 on js testsEdwin Brady12 years ago 402080dDecorate lambda lifted namesEdwin Brady12 years ago e9e74a6Forgot to commit effects004Edwin Brady12 years ago 08af673Correct comment on sigEdwin Brady12 years ago 7f9fba5Allow adding new effects in Eff programsEdwin Brady12 years ago f9c3fd9Change disambiguation rules backEdwin Brady12 years ago c3cdb9cTrying a new Effects apiEdwin Brady12 years ago 5536314Merge pull request #2118 from japesinator/contains-holeDavid Christiansen12 years ago da8b88ashow incomplete term holes for listy constructorsJP Smith12 years ago 187730aAdd missing clause in showCGSam Elliott12 years ago 674459bType Signatures use IO' l where they can instead of IOSam Elliott12 years ago ea0ea47Fixes #1233 by spinning out content into separate repositories:Jan de Muijnck-Hughes12 years ago 927fc19Prune proof searchEdwin Brady12 years ago c47608dDon't require expect for tests with timeoutsNiklas Larsson12 years ago 03c2672Merge pull request #2097 from melted/fix_ffi006David Christiansen12 years ago 1e719ceMerge pull request #2104 from japesinator/nothing-foundDavid Christiansen12 years ago 018ad5bMerge pull request #2109 from melted/reslashDavid Christiansen12 years ago a6475a2Make a mechanism for os-dependent output of testsNiklas Larsson12 years ago 263510cForgot CHANGELOG again...Edwin Brady12 years ago 5d269e3:exec can take an expression as an argumentEdwin Brady12 years ago a2b3c79Minor change to disambiguation rulesEdwin Brady12 years ago 05a859dHTML path slashes are always '/'.Niklas Larsson12 years ago d2bcf5druntest.pl fix error when there is no sandboxHeather12 years ago e643ef6Don't hardcodee 'cc' as the compilerNiklas Larsson12 years ago d89af9ccleaned up redundant 'if'JP Smith12 years ago 2e919c8Merge pull request #2079 from melted/toolchainDavid Christiansen12 years ago 5f0dbd7clarify failing searchesJP Smith12 years ago 7d2893eProgress towards defining functions in TacticalDavid Raymond Christiansen12 years ago 2ad80e8Add docs and changelog entry for bundled toolchainNiklas Larsson12 years ago b9b19e5Implement bundled toolchain featureNiklas Larsson12 years ago c74acaeMerge remote-tracking branch 'refs/remotes/upstream/master' into wip/tacticalDavid Raymond Christiansen12 years ago 4359eddList UTF8 source code in CHANGELOGDavid Raymond Christiansen12 years ago