disciple-cafe  

Messages by Thread

• changelog Csaba Hruska
  • Re: changelog Ben Lippmeier
• Re: [fp-syd] DDC / PLT meetup on Thursday at The Local Taphouse. Ben Lippmeier
• DDC / PLT meetup on Thursday at The Local Taphouse. Ben Lippmeier
• DDC 0.4.3 now on hackage. Ben Lippmeier
  • DDC Garbage Collector now works. Ben Lippmeier
• Pawns language - tinyurl.com/pawns-lang Lee Naish
  • Pawns language - tinyurl.com/pawns-lang Ben Lippmeier
  • Re: Pawns language - tinyurl.com/pawns-lang Kyle Van Berendonck
  • Re: Pawns language - tinyurl.com/pawns-lang Ben Lippmeier
• DDC 0.4.1.3 on hackage Ben Lippmeier
• Compiling with Continuations, Continued Ben Lippmeier
• DDC for real time software Edgar Gomes Araujo
  • Re: DDC for real time software Ben Lippmeier
• DDC repo now converted to git Ben Lippmeier
• Re: patch fix 302: Don't try to lex the body of a block comment Ben Lippmeier
• deluge migrated to debian Ben Lippmeier
  • Re: deluge migrated to debian Ben Lippmeier
  • Re: deluge migrated to debian Erik de Castro Lopo
• Appro Erik de Castro Lopo
  • Re: Appro Amos Robinson
  • Re: Appro Tran Ma
  • Re: Appro Ben Sinclair
  • Re: Appro Ben Lippmeier
  • Re: Appro Amos Robinson
• Re: darcs patch: Modified testsuite to respect environment variables fo... Ben Lippmeier
• Spelling error in github README Kyle Van Berendonck
  • Re: Spelling error in github README Erik de Castro Lopo
• Type of runSeries# - takes a Rate? Amos Robinson
  • Re: Type of runSeries# - takes a Rate? Ben Lippmeier
  • Re: Type of runSeries# - takes a Rate? Amos Robinson
  • Re: Type of runSeries# - takes a Rate? Ben Lippmeier
  • Re: Type of runSeries# - takes a Rate? Amos Robinson
• Adding things to usage analysis Kyle Van Berendonck
  • Re: Adding things to usage analysis Ben Lippmeier
• Re: Windows patches Ben Lippmeier
• Forward.hs research and problem Kyle Van Berendonck
  • Re: Forward.hs research and problem Amos Robinson
  • Re: Forward.hs research and problem Kyle Van Berendonck
  • Re: Forward.hs research and problem Amos Robinson
  • Re: Forward.hs research and problem Erik de Castro Lopo
  • Re: Forward.hs research and problem Ben Lippmeier
  • Re: Forward.hs research and problem Kyle Van Berendonck
  • Re: Forward.hs research and problem Amos Robinson
  • Re: Forward.hs research and problem Erik de Castro Lopo
• Re: patch: consistent file paths between hosts Ben Lippmeier
• Re: darcs patch: war: canonicalize path to ddc and ignore... (and 1 more) Kyle Van Berendonck
• Re: patches: optimizations and sublime-text whitespace collateral damage Kyle Van Berendonck
  • Re: patches: optimizations and sublime-text whitespace collateral damage Ben Lippmeier
• Getting some advice on fixing #266 Kyle Van Berendonck
  • Re: Getting some advice on fixing #266 Ben Lippmeier
• Re: patch: #308 fix Ben Lippmeier
• Re: Remaining windows test suite patches (1/2) Ben Lippmeier
  • Re: Remaining windows test suite patches (1/2) Ben Lippmeier
  • Re: Remaining windows test suite patches (1/2) Erik de Castro Lopo
• Trouble understanding what's going on in Forward.hs Kyle Van Berendonck
  • Re: Trouble understanding what's going on in Forward.hs Ben Lippmeier
• Windows testsuite issues Kyle Van Berendonck
  • Re: Windows testsuite issues Kyle Van Berendonck
  • Re: Windows testsuite issues Erik de Castro Lopo
  • Re: Windows testsuite issues Kyle Van Berendonck
  • Re: Windows testsuite issues Ben Lippmeier
  • Re: Windows testsuite issues Erik de Castro Lopo
  • Re: Windows testsuite issues Kyle Van Berendonck
  • Re: Windows testsuite issues Ben Lippmeier
  • Re: Windows testsuite issues Kyle Van Berendonck
  • Re: Windows testsuite issues Ben Lippmeier
• Re: patch: Removed some duplicate functionality in ddc-core-simpl Ben Lippmeier
• Re: darcs patch: Revised patch for building with MinGW Ben Lippmeier
• Does DDC have a SpecConstr pass? Kyle Van Berendonck
  • Re: Does DDC have a SpecConstr pass? Amos Robinson
  • Re: Does DDC have a SpecConstr pass? Kyle Van Berendonck
• Re: Patches (lint, tabs -> whitespace) for ddc-core-simpl Ben Lippmeier
  • Re: Patches (lint, tabs -> whitespace) for ddc-core-simpl Kyle Van Berendonck
  • Re: Patches (lint, tabs -> whitespace) for ddc-core-simpl Ben Lippmeier
• Proposal: Swapping out TinyPTC for PixelToaster Kyle Van Berendonck
  • Re: Proposal: Swapping out TinyPTC for PixelToaster Ben Lippmeier
• Re: Building on MinGW patch Ben Lippmeier
  • Re: Building on MinGW patch Ben Lippmeier
  • Re: Building on MinGW patch Ben Lippmeier
• Time to move to git? Erik de Castro Lopo
  • Re: Time to move to git? Ben Lippmeier
  • Re: Time to move to git? Ben Lippmeier
  • Re: Time to move to git? Kyle Van Berendonck
  • Re: Time to move to git? Ben Lippmeier
  • Re: Time to move to git? Kyle Van Berendonck
  • Re: Time to move to git? Ben Lippmeier
• DDC RIP???? Erik de Castro Lopo
  • Re: DDC RIP???? Ben Lippmeier
• DDC fails to compile with ghc-7.6.3 Erik de Castro Lopo
  • Re: DDC fails to compile with ghc-7.6.3 Ben Lippmeier
• DDC patch logs and build reports are moving to [email protected] Ben Lippmeier
• patch ddc-head: ddc-core-llvm: emit blank line on end of dumped llvm file Ben Lippmeier
• patch ddc-head: ddc-core-llvm: drop broken phi node fixup code from Clean transform Ben Lippmeier
• patch ddc-head: Add check file for #294 Join Points Ben Lippmeier
• patch ddc-head: ddc-core-llvm: reorganise module structure to make it more like the other packages Ben Lippmeier
• patch ddc-head: Fix #294: Do proper lineage analysis when adding source labels to phi instructions Ben Lippmeier
• patch ddc-head: ddc-core-llvm: add instr utils Ben Lippmeier
• patch ddc-head: Work on T294: need proper dataflow analysis to introduce phi nodes Ben Lippmeier
• patch ddc-head: ddc-core-simpl: when rewriting a module, top-level bindings do not disable rules any more Amos Robinson
• OptLevels Amos Robinson
  • Re: OptLevels Ben Lippmeier
  • Re: OptLevels Amos Robinson
  • Re: OptLevels Ben Lippmeier
• patch ddc-head: ddc-tools: fixes to command-line ui Ben Lippmeier
• patch ddc-head: Update target descriptions in Makefile Ben Lippmeier
• patch ddc-head: Add packages targets Ben Lippmeier
• patch ddc-head: ddc-code: add Lite Bool module Ben Lippmeier
• patch ddc-head: Cleanup list library and fix makefile to build runtime Ben Lippmeier
• patch ddc-head: ddc-code: add Lite versions of Nat library Ben Lippmeier
• patch ddc-head: Help file wibbles Ben Lippmeier
• patch ddc-head: ddc-tools: build the base libraries using a cabal install posthook Ben Lippmeier
• patch ddc-head: ddc-driver: add -basebuild command to build the runtime and base libraries Ben Lippmeier
• patch ddc-head: ddc-build: add commands to link libraries to Builder type Ben Lippmeier
• patch ddc-head: ddc-build: add code dirs to Builder type Ben Lippmeier
• patch ddc-head: Add target build dir Ben Lippmeier
• patch ddc-head: ddc-build: follow base library name changes Ben Lippmeier
• patch ddc-head: Update transform spec in help files Ben Lippmeier
• patch ddc-head: Add -print-codedir command to get path to runtime and base libraries Ben Lippmeier
• patch ddc-head: Use a #define to tell DDC that it's been cabal installed Ben Lippmeier
• patch ddc-head: Shift base library into ddc-code package and ask it where it is directly Ben Lippmeier
• patch ddc-head: ddc-tools: add -version command to ddc Ben Lippmeier
• patch ddc-head: ddc-base: suppress printing of line and column numbers with they are both 0 Ben Lippmeier
• patch ddc-head: ddc-tools: follow SimpliferSpec changes in OptLevels Ben Lippmeier
• patch ddc-head: ddc-tools: merge changes in OptLevels Ben Lippmeier
• patch ddc-head: Follow simplifier spec syntax changes in tests Ben Lippmeier
• patch ddc-head: ddc-core-simpl: switch to new simplifier spec parser Ben Lippmeier
• patch ddc-head: ddc-tools: follow simpl transform spec changes in ddci-core Ben Lippmeier
• patch ddc-head: ddc-core-simpl: add fixpoint specs to new simpl spec parser Ben Lippmeier
• patch ddc-head: ddc-core-simpl: work on new simplifier spec parser, got sequencing working Ben Lippmeier
• patch ddc-head: ddc-driver: missing file Amos Robinson
• patch ddc-head: ddc-driver: load rewrite rules for 'with' modules Amos Robinson
• patch ddc-head: ddc-core-simpl: treat all recursive functions as loop breakers Ben Lippmeier
• patch ddc-head: ddc-core-simpl: start on combinator version of simplifier parser Ben Lippmeier
• patch ddc-head: ddc-core-simpl: fix bug where Beta transform wasn't preserving closure typing Ben Lippmeier
• patch ddc-head: doc: remove author name from textmate theme file Ben Lippmeier
• patch ddc-head: Add bigger programs to demo dir to make them easier to find Ben Lippmeier
• patch ddc-head: ddc-main: make -with work with ddc -load Ben Lippmeier
• patch ddc-head: ddc-tools: add transform help to ddc Ben Lippmeier
• patch ddc-head: ddc-core: parse none and anonymous binders with witness bindings on letregion Ben Lippmeier
• patch ddc-head: ddc-core-simpl: don't anonymize exported names Ben Lippmeier
• patch ddc-head: ddc-main: unbreak multiple anonymous binders in letrecs Ben Lippmeier
• patch ddc-head: Refactor of Fragment/Bundle/Language split. Put Fragment definition in actual Fragment module Ben Lippmeier
• patch ddc-head: ddc-tools: split DDC help into separate module Ben Lippmeier
• patch ddc-head: ddc-tools: Allow type checking of modules from ddc Ben Lippmeier
• patch ddc-head: ddc-core-simpl: don't do Prune transform for fragments with untracked effects Ben Lippmeier
• patch ddc-head: ddc-core: add Console effect to tests and pack repeated global effects Ben Lippmeier
• patch ddc-head: ddc-core-simpl: pass kind and type envs to prune Ben Lippmeier
• patch ddc-head: ddc-driver: strip dots from the front of file extensions when determining language Ben Lippmeier
• patch ddc-head: ddc-driver: shift cmdLoadFromFile into driver Ben Lippmeier
• patch ddc-head: ddc-tools: add -load command to ddc Ben Lippmeier
• patch ddc-head: ddc-tools: progress adding -trans to ddc Ben Lippmeier
• patch ddc-head: ddc-tools: add intermediates to help file Ben Lippmeier
• patch ddc-head: Fix #282: Rewrite rule lookup code doesn't distinguish between name levels Amos Robinson
• patch ddc-head: Fix #293 Rewrite rule BuildFold test exports undefined binding. Implement foldrAndBuild. Amos Robinson
• patch ddc-head: ddc-core: fix bug in flatten when floating letregion outwards Ben Lippmeier
• patch ddc-head: ddc-core: add liftT for expressions Ben Lippmeier
• patch ddc-head: ddc-core: use MapBoundT for LowerT as well Ben Lippmeier
• patch ddc-head: ddc-core: refactor liftT to use MapBoundT approach Ben Lippmeier
• patch ddc-head: add broken flatten test Ben Lippmeier
• patch ddc-head: make: wibbles on doc targets Ben Lippmeier
• patch ddc-head: Make docs for new compiler go to docs/haddock Ben Lippmeier
• patch ddc-head: ddci help page tweaks Ben Lippmeier
• patch ddc-head: ddc-tools: haddock fix Ben Lippmeier
• patch ddc-head: ddc-tools: fixup DDCi-core help page Ben Lippmeier
• patch ddc-head: Rename all .dce files to .dcs (completes the change from "sEa" to "Salt") Ben Lippmeier
• patch ddc-head: ddc-core: fix parsing for region handles in withregions Ben Lippmeier
• patch ddc-head: ddc-core-llvm: fix clobbered comments Tran Ma
• patch ddc-head: Fix #292: reinstate optimiser with -to-{c,llvm,salt} Ben Lippmeier
• patch ddc-head: Fix #291: Check that names exported from module are actually defined Ben Lippmeier
• patch ddc-head: Move test dirs around Ben Lippmeier
• patch ddc-head: Formatting wibbles to test code Ben Lippmeier
• patch ddc-head: Fix doc target Ben Lippmeier
• patch ddc-head: Fix #262: Do proper transitive inlining Ben Lippmeier
• patch ddc-head: Add quickstart guide to HACKING Ben Lippmeier
• patch ddc-head: Make "make war" only rebuild deps related to the new compiler Ben Lippmeier
• patch ddc-head: Make the "make war" target only test the new compiler, with both std and opt ways Ben Lippmeier
• patch ddc-head: Move alpha library and runtime out of the way Ben Lippmeier
• patch ddc-head: Add Textmate language definition Ben Lippmeier
• patch ddc-head: ddc-core-llvm: cleanup metadata & graph Tran Ma
• patch ddc-head: Add release notes to base path Ben Lippmeier
• patch ddc-head: Add Release notes for 0.3.0 Ben Lippmeier
• patch ddc-head: ddc-build: deepseq the result of the simplifier Ben Lippmeier
• patch ddc-head: ddc-core-simpl: kill undefineds in rewrite rules Ben Lippmeier
• patch ddc-head: ddc-core: strictify more things and drop duplicate simplifier passes Ben Lippmeier
• patch ddc-head: ddc-core: strictify more things Ben Lippmeier
• patch ddc-head: ddc-core: strictify annotation parameter Ben Lippmeier
• patch ddc-head: ddc-driver: avoid some intermediate type checks Ben Lippmeier
• patch ddc-head: ddc-build: deepseq module after pipeline stages Ben Lippmeier
• patch ddc-head: Add more DeepSeq instances Ben Lippmeier
• patch ddc-head: ddc-core: add NFData instances -- DDC now also depends on the deepseq package Ben Lippmeier
• patch ddc-head: Strictify some things and add SCCs Ben Lippmeier
• patch ddc-head: ddc-core: check exported signatures against types of definitions Ben Lippmeier
• patch ddc-head: rewrite rules: test: verify no type foralls allowed in left-hand side Amos Robinson
• patch ddc-head: ddc-core-simpl: while fixing TODO in matchT, realised TForall is outlawed in rules so matchT can be much made simpler Amos Robinson
• patch ddc-head: ddc-core-simpl: comment wibbles Ben Lippmeier
• patch ddc-head: #279 rewrite rule type sum matching, test Amos Robinson
• patch ddc-head: ddc-core-simpl: fix rewrite weaken closures, was including regions mentioned in effects but shouldn't have Amos Robinson
• patch ddc-head: Fix #278: Snip transform doesn't handle over-applications Ben Lippmeier
• patch ddc-head: ddc-core-simpl: more refactoring of snipper Ben Lippmeier

• Earlier messages