disciple-cafe  

Messages by Thread

• patch ddc-head: runtime64: fix bug in allocRaw Ben Lippmeier
• patch ddc-head: ddc-core-salt: allow intermediate deBruijn binders Ben Lippmeier
• patch ddc-head: ddc-core-simpl: fix part of introduced snip transform problem Ben Lippmeier
• patch ddc-head: #279 ddc-core-simpl: rewrite rule type matcher didn't handle type sums. now allows simple matching when both have same length & same order Amos Robinson
• Rewrite rules weaken closure bug :( Amos Robinson
  • Re: Rewrite rules weaken closure bug :( Ben Lippmeier
  • Re: Rewrite rules weaken closure bug :( Ben Lippmeier
• DDC Build Success (deluge.x86_64.Linux) with 6 failed tests DDC Buildbot
• patch ddc-head: ddc-core-simpl: link todo Ben Lippmeier
• patch ddc-head: ddc-core-simpl: refactor snipper for clarity Ben Lippmeier
• patch ddc-head: Fix #283: Do compliance check for partial application Ben Lippmeier
• patch ddc-head: Fix #256: Do fragment compliance check for nested functions. Ben Lippmeier
• patch ddc-head: Merge test dirs Ben Lippmeier
• patch ddc-head: Remove unused test Ben Lippmeier
• patch ddc-head: Fix #251: nested case expressions that assign to nothing binders Ben Lippmeier
• patch ddc-head: ddc-core-salt: split type converter into separate module Ben Lippmeier
• patch ddc-head: ddc-core-salt: handle case expressions that assign to None binders in Salt -> Sea converison Ben Lippmeier
• patch ddc-head: ddc-core: apply the offside rule to imports and exports lists Ben Lippmeier
• patch ddc-head: Fix #265: Clean up intermediate build files Ben Lippmeier
• patch ddc-head: make/targets/helper.mk : Make it work with BSD sed. Erik de Castro Lopo
• patch ddc-head: Add 'make show-pkgs' target to list required packages. Erik de Castro Lopo
• patch ddc-head: ddc-core: fix latent bug with anonymous region binders Ben Lippmeier
• patch ddc-head: Fix #255: Anonymisation transform doesn't work with letregions construct Ben Lippmeier
• patch ddc-head: Fix racey shell script tests Ben Lippmeier
• patch ddc-head: Follow module name changes in metadata test Ben Lippmeier
• DDC Build Success (deluge.x86_64.Linux) with 4 failed tests DDC Buildbot
  • DDC Build Success (deluge.x86_64.Linux) with 4 failed tests DDC Buildbot
• DDC Build Success (deluge.x86_64.Linux) with 5 failed tests DDC Buildbot
  • DDC Build Success (deluge.x86_64.Linux) with 5 failed tests DDC Buildbot
  • DDC Build Success (deluge.x86_64.Linux) with 5 failed tests DDC Buildbot
• patch ddc-head: Fix #286: tighten up determination of boxed vs unboxed type Ben Lippmeier
• patch ddc-head: ddc-core-salt: move some type predicates areound Ben Lippmeier
• DDC Build Success (deluge.x86_64.Linux) with 8 failed tests DDC Buildbot
• patch ddc-head: Fix #287: check for valid promotion and truncation in Salt -> C conversion Ben Lippmeier
• patch ddc-head: ddc-core-llvm: refactor checking of valid promotions and truncations Ben Lippmeier
• patch ddc-head: ddc-core-salt: split predicates on primtycons from llvm modules Ben Lippmeier
• patch ddc-head: ddc-core-salt: thread platform through Salt -> C conversion Ben Lippmeier
• patch ddc-head: Fix #253: Check for multiply defined bindings in letrec Ben Lippmeier
• patch ddc-head: Fix #289: better error message for unmatched closing brace Ben Lippmeier
• patch ddc-head: Fix #288: check for conflicting capabilities in eval modules Ben Lippmeier
• patch ddc-head: Fix #284: there are no float literals yet, hence we can't match against them Ben Lippmeier
• patch ddc-head: ddc-core: make compliance checker take annot Ben Lippmeier
• patch ddc-head: ddc-war: only make bin/ddc file paths local to current dir Ben Lippmeier
• patch ddc-head: Fix #285: Allow matching against unit constructors Ben Lippmeier
• DDC Build Success (deluge.x86_64.Linux) with 10 failed tests DDC Buildbot
• patch ddc-head: ddc-war: pass relative path names to ddc tools Ben Lippmeier
• patch ddc-head: Don't exit from ddci on error Ben Lippmeier
• DDC Build Success (deluge.x86_64.Linux) with 41 failed tests DDC Buildbot
• patch ddc-head: ddc-core: link todos Ben Lippmeier
• patch ddc-head: Add test for #271: unterminated comment blocks Ben Lippmeier
• patch ddc-head: ddc-driver: send compile errors to stderr Ben Lippmeier
• patch ddc-head: ddc-driver: set the exit code if compilation fails Ben Lippmeier
• patch ddc-head: Fix #271: better error message for unterminated block comments Ben Lippmeier
• patch ddc-head: ddc-tools: fix cabal file Ben Lippmeier
• patch ddc-head: ddc-driver: add .cabal file, docs and cleanup Ben Lippmeier
• patch ddc-head: ddc-build: docs and cleanup to build framework Ben Lippmeier
• patch ddc-head: ddc-core-salt: convert errors to throws Ben Lippmeier
• patch ddc-head: ddc-core-llvm: docs and cleanup Ben Lippmeier
  • patch ddc-head: ddc-core-llvm: docs and cleanup Ben Lippmeier
• patch ddc-head: ddc-core-salt: link todos in to-c backend Ben Lippmeier
• patch ddc-head: ddc-core-salt: link todos Ben Lippmeier
• patch ddc-head: ddc-core-salt: docs and api cleanup Ben Lippmeier
• patch ddc-head: ddc-core-salt: fix cabal file and cleanup salt docs Ben Lippmeier
• patch ddc-head: ddc-core-simpl: rename DeadCode transform to Prune to make it a verb Ben Lippmeier
• patch ddc-head: ddc-core-simpl: export rule error messages from rule module Ben Lippmeier
• patch ddc-head: ddc-core-simpl: link todos in rewrite rule engine Ben Lippmeier
• patch ddc-head: ddc-head-simpl: refactor constraint checking in rewrite rules Ben Lippmeier
• patch ddc-head: ddc-core: hotfix for wellformedness issue introduced by distinct_n (ticket #259) Tran Ma
• patch ddc-head: ddc-core-simpl: refactor BindMode ctors Ben Lippmeier
• patch ddc-head: ddc-core-simpl: refactor lookups function Ben Lippmeier
• patch ddc-head: ddc-core-simpl: refactor rewrite rule matcher for clarity Ben Lippmeier
• patch ddc-head: ddc-core-simpl: add missing sigs to rewrite rule code Ben Lippmeier
• DDC Build Success (deluge.x86_64.Linux) with 3 failed tests DDC Buildbot
• patch ddc-head: ddc-core-simpl: refactor rewrite engine Ben Lippmeier
• patch ddc-head: ddc-core-simpl: shift makeApps utils into ddc-core Ben Lippmeier
• patch ddc-head: ddc-core-simpl: refactoring and comments to disjointness check Ben Lippmeier
• patch ddc-head: ddc-core-simpl: shift type matcher into rewrite rule modules, and link todos Ben Lippmeier
• patch ddc-head: ddc-core-simpl: comments and cleanups to rewrite environments Ben Lippmeier
• patch ddc-head: ddc-core-simpl: comments to rewrite rules Ben Lippmeier
• patch ddc-head: ddc-core-simpl: comments and todos to rewrite rule checks Ben Lippmeier
• patch ddc-head: ddc-core-simpl: add more type sigs to rule check functions Ben Lippmeier
• patch ddc-head: ddc-core-simpl: comments to rule checks Ben Lippmeier
• patch ddc-head: ddc-core-simpl: comments and formatting to rewrite rules Ben Lippmeier
  • patch ddc-head: ddc-core-simpl: comments and formatting to rewrite rules Ben Lippmeier
• patch ddc-head: ddc-core-simpl: comments and cleanup in TransformX Ben Lippmeier
• patch ddc-head: ddc-core-simpl: comments and cleanup to Anonymize Ben Lippmeier
• patch ddc-head: ddc-core-simpl: link TODO in snip transform Ben Lippmeier
• patch ddc-head: ddc-core-simpl: comments and cleanup to namify transform Ben Lippmeier
• patch ddc-head: ddc-core-simpl: comments and cleanup to Forward transform Ben Lippmeier
• patch ddc-head: ddc-core-simpl: comments and cleanup to elaborate transform Ben Lippmeier
• patch ddc-head: ddc-core-simpl: comments and cleanup to deadcode transform Ben Lippmeier
• patch ddc-head: ddc-core-simpl: reformat and link TODOs in simplifier framework Ben Lippmeier
• patch ddc-head: ddc-core-simpl: docs and cleanup to inliner code Ben Lippmeier
• patch ddc-head: ddc-core-simpl: more cleanups to simplifier API Ben Lippmeier
• patch ddc-head: ddc-core-simpl: docs and cleanup to simplifiers Ben Lippmeier
• patch ddc-head: ddc-base: add missing Check module Ben Lippmeier
• patch ddc-head: ddc-tools: follow name changes Ben Lippmeier
• patch ddc-head: ddc-core-simpl: fix cabal files Ben Lippmeier
• patch ddc-head: ddc-core-eval: naming and doc wibbles Ben Lippmeier
• patch ddc-head: ddc-base: shift check monad into base package Ben Lippmeier
• patch ddc-head: ddc-tools: follow name changes in ddci driver Ben Lippmeier
• patch ddc-head: ddc-core: docs and cleanup Ben Lippmeier
• patch ddc-head: ddc-core: cleanup docs for type sums Ben Lippmeier
• patch ddc-head: ddc-core: cleanup type env docs and link todos Ben Lippmeier
• patch ddc-head: ddc-core: rename exp compounds to be consistent with type compounds Ben Lippmeier
• patch ddc-head: ddc-core: cleanup docs in type compounds Ben Lippmeier
• patch ddc-head: ddc-core: enable view patterns project wide instead of a single module Ben Lippmeier
• patch ddc-head: ddc-core: split type Error and ErrorMessage into separate modules to be like exp version Ben Lippmeier
• patch ddc-head: ddc-core: docs and cleanup for tranfsorms Ben Lippmeier
• patch ddc-head: ddc-core: delete LiftW module, don't need it as well as LiftX Ben Lippmeier
• patch ddc-head: ddc-core: formatting only Ben Lippmeier
• patch ddc-head: ddc-core: fix cabal file Ben Lippmeier
• patch ddc-head: ddc-tools: unbreak evaluator driver Ben Lippmeier
• patch ddc-head: ddc-core: add missing Fragment module Ben Lippmeier
• patch ddc-head: ddc-core: in progress fixing ddci-core Ben Lippmeier
• patch ddc-head: ddc-core: rename Rewrite module to Rename so it doesn't conflict with the rewrite rules stuff Ben Lippmeier
• patch ddc-head: ddc-core: hide some lexer modules from haddocks and fixup docs Ben Lippmeier
• patch ddc-head: ddc-core: simplify the core parser API Ben Lippmeier
• patch ddc-head: ddc-core: docs and cleanup to core modules Ben Lippmeier
• patch ddc-head: ddc-core: no need to return TEC separately from load Ben Lippmeier
• patch ddc-head: ddc-core: docs and link TODOs to ticket database Ben Lippmeier
• patch ddc-head: ddc-core: Rename old MaxEff error message to refer to WeakEff Ben Lippmeier
• patch ddc-head: ddc-core: supply primitive kinds and types to checking functions automatically Ben Lippmeier
• patch ddc-head: ddc-core: cleanup docs for fragment and checking functions Ben Lippmeier
• patch ddc-head: ddc-core: cleanup API, fix docs Ben Lippmeier
• patch ddc-head: ddc-base: fix cabal packages Ben Lippmeier
• patch ddc-head: ddc-core-salt: add cast primops to Lite Ben Lippmeier
• patch ddc-head: ddc-core-salt: cleanup docs for salt names Ben Lippmeier
• patch ddc-head: ddc-core-salt: split out primitive tycons into own module Ben Lippmeier
• patch ddc-head: ddc-core-salt: rename primop types Ben Lippmeier
• patch ddc-head: ddc-core-salt: remove PrimExternal from Salt, we can import these directly now Ben Lippmeier
• patch ddc-head: ddc-core: fix misnamed witness abstraction in error message Ben Lippmeier
• patch ddc-head: ddc-core-salt: comments only Ben Lippmeier
• patch ddc-head: Add test for #258: Civilized error message for CAFs Ben Lippmeier
• patch ddc-head: Add another test case for #254 Ben Lippmeier
• patch ddc-head: Fix #254: Bad Error message in function with Bools Ben Lippmeier
• patch ddc-head: Fix #32: Don't panic if user Control-C's GCC Ben Lippmeier
• patch ddc-head: ddc-core-llvm: docs only Ben Lippmeier
• patch ddc-head: Fix #212: Use fastcc calling convention for locally defined functions, which gets us tailcalls Ben Lippmeier
• patch ddc-head: ddc-core-llvm: set internal linkage for functions that aren't exported Ben Lippmeier
• patch ddc-head: ddc-core-salt: give fragment errors when instantiating type vars at unboxed types Ben Lippmeier
• patch ddc-head: ddc-core-salt: fix bug with fake tailcall handling Ben Lippmeier
• patch ddc-head: ddc-core: imported types are in scope of imported signatures Ben Lippmeier
• patch ddc-head: Add snipper test with over application Ben Lippmeier
• patch ddc-head: test: split up ANormal tests into Snip and Flatten tests Ben Lippmeier
• patch ddc-head: ddc-core: export Type.Compounds with Core.Compounds, same for Predicates Ben Lippmeier
• patch ddc-head: ddc-core-simpl: make bubble erase weakclo on vars with closed types Ben Lippmeier
• patch ddc-head: ddc-core-llvm: unbreak metadata test after tailcall changes Ben Lippmeier
• DDC Build Success (deluge.x86_64.Linux) with 14 failed tests DDC Buildbot
• patch ddc-head: ddc-core-llvm: fix tailcalls Ben Lippmeier
• patch ddc-head: Fix docs targets Ben Lippmeier
• patch ddc-head: Merge ddc-llvm with ddc-core-llvm Ben Lippmeier
• patch ddc-head: Merge ddc-type with ddc-core again, changed my mind about this Ben Lippmeier
• patch ddc-head: ddc-core: finish checkinf of data type constructors Ben Lippmeier
• patch ddc-head: doc: add new HCAR announcement Ben Lippmeier
• patch ddc-head: runtime: add missing plusPtr and minusPtr primops to C backend Ben Lippmeier
• patch ddc-head: ddc-core-salt: make payloadOfRaw functions return (Ptr# r Word8#) instead of (Ptr# r Obj) Ben Lippmeier
• patch ddc-head: Doc wibbles Ben Lippmeier
  • patch ddc-head: Doc wibbles Ben Lippmeier
• patch ddc-head: ddc-code: add notes about what we substitute into when checking XAPP Ben Lippmeier
• patch ddc-head: ddc-core-salt: in C backend prefix local names with another '_' so they don't conflict with global names Ben Lippmeier
• patch ddc-head: ddc-core-salt: make naming of _FAIL consistent Ben Lippmeier
• patch ddc-head: ddc-tools: accept no-flag commands as --make, better arg parsing error messages Ben Lippmeier
• DDC Build Success (deluge.x86_64.Linux) with 2 failed tests DDC Buildbot
  • DDC Build Success (deluge.x86_64.Linux) with 2 failed tests DDC Buildbot
  • DDC Build Success (deluge.x86_64.Linux) with 2 failed tests DDC Buildbot
  • DDC Build Success (deluge.x86_64.Linux) with 2 failed tests DDC Buildbot
• DDC Build Success (deluge.x86_64.Linux) with 1 failed tests DDC Buildbot
  • DDC Build Success (deluge.x86_64.Linux) with 1 failed tests DDC Buildbot
  • DDC Build Success (deluge.x86_64.Linux) with 1 failed tests DDC Buildbot
  • DDC Build Success (deluge.x86_64.Linux) with 1 failed tests DDC Buildbot
  • DDC Build Success (deluge.x86_64.Linux) with 1 failed tests DDC Buildbot
  • DDC Build Success (deluge.x86_64.Linux) with 1 failed tests DDC Buildbot
• patch ddc-head: ddc-build: add missing import dirs for other platforms Ben Lippmeier
• DDC Build Success (deluge.x86_64.Linux) with 15 failed tests DDC Buildbot
• patch ddc-head: ddc-core-salt: can't make var decls for witness binders Ben Lippmeier
• patch ddc-head: Makefile: add viaco way to batchwar Ben Lippmeier
• patch ddc-head: ddc-core-salt: handle non-value producing control prims in nested contexts. Ben Lippmeier
• patch ddc-head: ddc-core-salt: ditch casts and implement SIZE2 primop in C backend Ben Lippmeier
• patch ddc-head: ddc-core-salt: unbreak pretty printing of fail expressions Ben Lippmeier
• patch ddc-head: ddc-core-salt: emit all variable declarations at the top of the function Ben Lippmeier
• patch ddc-head: runtime: add C version of _CHECK primitive Ben Lippmeier
• patch ddc-head: ddc-core-salt: track what context we're in Ben Lippmeier
• patch ddc-head: ddc-core-salt: allow non-void returned values to be discarded in to-c conversion Ben Lippmeier
• patch ddc-head: Makefile: adjust the default build ways to exercise the new compiler Ben Lippmeier
• patch ddc-head: ddc-alpha: accept the -fvia-c flag Ben Lippmeier
• patch ddc-head: ddc-tools: enable -fvia-c backend again Ben Lippmeier
• patch ddc-head: Fix test to use showNat Ben Lippmeier
• patch ddc-head: ddc-core-salt: need to wrap stmts after default: in braces Ben Lippmeier
• patch ddc-head: ddc-core-salt: suppress imports of external functions with +SuppressImports Ben Lippmeier
• patch ddc-head: ddc-core-salt: drop type and witness args in statements to Ben Lippmeier
• patch ddc-head: ddc-core-salt: remove leftover tracing Ben Lippmeier
• patch ddc-head: runtime: fix bug in POKE primop code Ben Lippmeier
• patch ddc-head: runtime: use the actual addNat function when adding NAts Ben Lippmeier
• patch ddc-head: ddc-core-salt: pass through types of pointers to prim values in Lite -> Salt conversion Ben Lippmeier
• patch ddc-head: ddc-core-salt: add extern prototypes for imported symbols Ben Lippmeier
• patch ddc-head: Make cleanWar clean dump.* files Ben Lippmeier
• patch ddc-head: make -make -fvia-c go via c Ben Lippmeier
• patch ddc-head: really Ben Lippmeier
• patch ddc-head: ddc-core-llvm: make LLVM backend use the same heap symbols as C backend Ben Lippmeier

• Earlier messages
• Later messages