disciple-cafe  

Messages by Thread

• patch ddc-head: ddci-core: add test for clash between new and exising region handles Ben Lippmeier
• patch ddc-head: ddc-core-simpl: Start on beta-reduction transform Ben Lippmeier
• patch ddc-head: ddc-core: add old type lexer utils into core lexer Ben Lippmeier
• patch ddc-head: ddc-core: fix bug in when cutting terms from closure Ben Lippmeier
• patch ddc-head: ddc-core-simpl: Work on anonymizer Ben Lippmeier
• patch ddc-head: ddci-core: add test for anonymizer Ben Lippmeier
• patch ddc-head: Adding XLAM: fix evaluation Ben Lippmeier
• patch ddc-head: Adding XLAM: All typing tests work now Ben Lippmeier
• patch ddc-head: Adding XLAM: fix pretty printer and update test output Ben Lippmeier
• patch ddc-head: Adding XLAM: make function syntax produce XLAMs Ben Lippmeier
• patch ddc-head: Adding XLAM: add parsing and type checking Ben Lippmeier
• patch ddc-head: Adding XLAM: syntax and kinding tests work again Ben Lippmeier
• patch ddc-head: Adding XLAM: builds again, but doesn't work Ben Lippmeier
• patch ddc-head: In progress splitting environments Ben Lippmeier
• patch ddc-head: ddc-core: thread through split kind and type environment Ben Lippmeier
• DDC builds now require GHC 7.4 Ben Lippmeier
• patch ddc-head: Reenable docs building Ben Lippmeier
• patch ddc-head: Reenable :ast command in ddci-core Ben Lippmeier
• patch ddc-head: Don't force LLVM mode on Ben Lippmeier
• patch ddc-head: Change build order to play nice with GHC 7.4 recompilation checking Ben Lippmeier
• patch ddc-head: Disable doc building as default, current version of haddock seems broken Ben Lippmeier
• patch ddc-head: Fix build: comment out CommandAst until we get the module Ben Lippmeier
• patch ddc-head: Wibbles for GHC 7.4 Ben Lippmeier
• patch ddc-head: More wibbles for GHC 7.4 Ben Lippmeier
• patch ddc-head: ddci-core: new :ast command Amos Robinson
• patch ddc-head: ddci-core: command :ast to show AST of expression Amos Robinson
  • Re: patch ddc-head: ddci-core: command :ast to show AST of expression Ben Lippmeier
  • Re: patch ddc-head: ddci-core: command :ast to show AST of expression Amos Robinson
  • Re: patch ddc-head: ddci-core: command :ast to show AST of expression Amos Robinson
• patch ddc-head: ddc-core: more work on anonymizer, need to split type env into type and val env Ben Lippmeier
• patch ddc-head: ddc-core: add notes Ben Lippmeier
• patch ddc-head: ddc-core: lower indices in the type, effect and closure of a lambda body to account for cut lambda binder Ben Lippmeier
• patch ddc-head: ddci-core: add missing Trans module Ben Lippmeier
• patch ddc-head: ddc-core: add LowerT module Ben Lippmeier
• patch ddc-head: ddc-core: reformat kind checker Ben Lippmeier
• patch ddc-head: ddc-core: need to lift types on binders through lambdas when comparing them Ben Lippmeier
• patch ddc-head: ddci-core: allow current transform to be applied in ddci Ben Lippmeier
• patch ddc-head: ddci-core: allow current transform to be set at the prompt Ben Lippmeier
• patch ddc-head: Add ddc-core-simpl package to Makefile Ben Lippmeier
• patch ddc-head: ddc-cor-simpl: working on anonymizer Ben Lippmeier
• patch ddc-head: ddc-core: make type checker also reconstruct types on binding occurrences of variables Ben Lippmeier
• patch ddc-head: ddc-core: reconstruct expression in checkExp Ben Lippmeier
• patch ddc-head: ddc-core: move Rename class to ddc-core-simpl Ben Lippmeier
• patch ddc-head: ddc-core: move TransformX to ddc-core-simpl Ben Lippmeier
• patch ddc-head: Remove un-needed imports. Erik de Castro Lopo
• a-normal form: checkExp & case Amos Robinson
  • Re: a-normal form: checkExp & case Ben Lippmeier
  • Re: a-normal form: checkExp & case Amos Robinson
  • Re: a-normal form: checkExp & case Amos Robinson
  • Re: a-normal form: checkExp & case Ben Lippmeier
• patch ddc-head: ddc-core: redo Sum.elem to look in sum directly instead of going via a list Ben Lippmeier
• patch ddc-head: ddc-core: check that annots on type vars match the ones from the environment Ben Lippmeier
• patch ddc-head: ddc-core: add output for kinding tests Ben Lippmeier
• patch ddc-head: ddc-core: check for invalid body type in forall and add kinding tests Ben Lippmeier
• patch ddc-head: ddc-core: make trimClosure total, returning Nothing if the closure is miskinded Ben Lippmeier
• patch ddc-head: ddc-core: Split error module into error defs and messages Ben Lippmeier
• patch ddc-head: ddc-core: implement 'weakeff' and 'weakclo' weakening forms Ben Lippmeier
• patch ddc-head: ddc-core: store the length of the deBruijn stack separately Ben Lippmeier
• patch ddc-head: ddci-core: echo blank lines between commands back to user Ben Lippmeier
• patch ddc-head: ddc-core: liftX over XCase Amos Robinson
• patch ddc-head: ddc-core: liftX over XLets and named variables Amos Robinson
• patch ddc-head: ddci-core: give proper source locations in parse error messages Ben Lippmeier
• patch ddc-head: ddc-core: nicer parser error messages Ben Lippmeier
• patch ddc-head: ddc-core: track source locations in lexer Ben Lippmeier
• The DDC pony page Ben Lippmeier
• patch ddc-head: ddc-core: docs and wibbles Ben Lippmeier
• patch ddc-head: ddci-core: fix lexer conflict with -()> syntax Ben Lippmeier
• patch ddc-head: ddc-core: remove code for unimplemented Distinct witnesses Ben Lippmeier
• patch ddc-head: ddc-core: remove duplicate type parser code Ben Lippmeier
• patch ddc-head: Split type anonymizer into ddc-core-simpl package Ben Lippmeier
• patch ddc-head: Remove old unused test file Ben Lippmeier
• patch ddc-head: Update cabal files Ben Lippmeier
  • patch ddc-head: Update cabal files Ben Lippmeier
  • patch ddc-head: Update cabal files Ben Lippmeier
  • patch ddc-head: Update cabal files Ben Lippmeier
• Ticket database cleanout Ben Lippmeier
• patch ddc-head: Fix bug in spreader Ben Lippmeier
• patch ddc-head: ddc-core fix parsing of witness parameters and make lazy map work Ben Lippmeier
• patch ddc-head: ddci-core: let typechecking rhs as letrec Amos Robinson
• core: let typechecking rhs as letrec? Amos Robinson
  • Re: core: let typechecking rhs as letrec? Amos Robinson
  • Re: core: let typechecking rhs as letrec? Ben Lippmeier
  • Re: core: let typechecking rhs as letrec? Ben Lippmeier
• patch ddc-head: Start on lazy map test Ben Lippmeier
• patch ddc-head: ddci-core: check for problems with the witnesses passed to let lazy Ben Lippmeier
• patch ddc-head: ddc-core: fix bug in equivT and add check file for lazy test Ben Lippmeier
• patch ddc-head: ddc-core: check that lazy bindings are pure and empty Ben Lippmeier
• patch ddc-head: Add infinite list test for lazy evaluation Ben Lippmeier
• patch ddc-head: ddc-core: Evaluation for lazy bindings Ben Lippmeier
• patch ddc-head: ddci-core: add test Ben Lippmeier
• patch ddc-head: ddc-core: change syntax for lazy bindings to allow empty witness if there is no head region Ben Lippmeier
• patch ddc-head: ddc-core: change syntax of lazy bindings to take Lazy witness for the head region of the binding Ben Lippmeier
• patch ddc-head: ddc-core: start support for lazy bindings Ben Lippmeier
• patch ddc-head: ddci-core: ensure that first to allocate in store does not clash with existing ones Ben Lippmeier
• patch ddc-head: ddci-core: during eval, check that the type of the expression is preserved Ben Lippmeier
• patch ddc-head: ddci-core: fix ppr prec bug Ben Lippmeier
• patch ddc-head: ddci-core: allow tracing of store after every step Ben Lippmeier
• patch ddc-head: ddci-core: Use Haskeline instead of readline package Ben Lippmeier
• patch ddc-head: ddci-core: plumb through mode states Ben Lippmeier
• patch ddc-head: ddc-base: drop unused Enscope module Ben Lippmeier
• patch ddc-head: ddc-core: allow letregion witness set to be explicitly empty Ben Lippmeier
• patch ddc-head: ddc-core: parsing of plain lets with function syntax Ben Lippmeier
• patch ddc-head: ddci-core: when parsing lambdas accept multiple parenthesised binders Ben Lippmeier
• patch ddc-head: ddc-core: require {} around bindings in letrec Ben Lippmeier
• patch ddc-head: ddc-core: update cabal file Ben Lippmeier
• patch ddc-head: ddc-core: crush compound effects when checking type equivalence Ben Lippmeier
• patch ddc-head: ddc-core: check type equivalence up to alpha-renaming Ben Lippmeier
• patch ddc-head: ddci-core readline Amos Robinson
  • Re: patch ddc-head: ddci-core readline Ben Lippmeier
  • Re: patch ddc-head: ddci-core readline Ben Lippmeier
  • Re: patch ddc-head: ddci-core readline Amos Robinson
• patch ddc-head: ddci-core: add test demonstrating over-application Ben Lippmeier
• patch ddc-head: ddci-core: handle under-applied constructors in eval Ben Lippmeier
• patch ddc-head: ddc-core: accept changes in closure tests Ben Lippmeier
• patch ddc-head: ddc-core: crush compound effects and closures during substitution Ben Lippmeier
• patch ddc-head: ddc-core: fix bug in pretty printer for types Ben Lippmeier
• patch ddc-head: ddc-core: start on effect crusher Ben Lippmeier
• patch ddc-head: ddci-core: fix reverse example Ben Lippmeier
• patch ddc-head: ddci-core: add types to store locations to make reverse example work Ben Lippmeier
• patch ddc-head: Add (still broken) reverse test Ben Lippmeier
• patch ddc-head: ddc-core: parser wibbles Ben Lippmeier
• patch ddc-head: ddci-core: show result of evaluation as traced exp from store instead of store dump Ben Lippmeier
• patch ddc-head: Accept test wibble Ben Lippmeier
• patch ddc-head: Move test back Ben Lippmeier
• patch ddc-head: ddc-core: add fac test Ben Lippmeier
• patch ddc-head: ddc-core: fix bug in type-exp substitution and add Ackermann test Ben Lippmeier
• patch ddc-head: Update install instructions Ben Lippmeier
• patch ddc-head: ddci-core: cleanup tests Ben Lippmeier
• patch ddc-head: ddc-core: comment Ben Lippmeier
  • patch ddc-head: ddc-core: comment Ben Lippmeier
• patch ddc-head: ddc-core: check for mismatch between discrim and pattern types in case Ben Lippmeier
• patch ddc-head: ddc-core: better error message if discrim type is undeclared Ben Lippmeier
• patch ddc-head: ddc-core: formatting Ben Lippmeier
• patch ddc-head: ddc-core: check for overlapping alternatives Ben Lippmeier
• patch ddc-head: Rename ddci-core package Ben Lippmeier
• patch ddc-head: Move ddc-main and ddci-core tests into their own dirs Ben Lippmeier
• patch ddc-head: library/ : Remove duplicate foreign import of primCast_Word8U_Word32U. Erik de Castro Lopo
• patch ddc-head: T190-MissingClosureConstraint : Accept test wibble. Erik de Castro Lopo
• patch ddc-head: LLVM : Remove global decls for local closures. Erik de Castro Lopo
• patch ddc-head: LLVM : Functions in current module shouldn't be declared as global. Erik de Castro Lopo
• patch ddc-head: LLVM : Remove global decls for local initialisations. Erik de Castro Lopo
• patch ddc-head: ddc-core: check for non-exhaustive case expressions, for small types Ben Lippmeier
• patch ddc-head: ddc-core: thread through data type definitions Ben Lippmeier
• patch ddc-head: ddc-core: mask pattern bound variables from closures in case alts Ben Lippmeier
• patch ddc-head: ddc-core: check that letrec bindings are all lambdas Ben Lippmeier
• patch ddc-head: ddc-core: better error message for invalid witness sigs Ben Lippmeier
• patch ddc-head: ddc-core: check Bound var annots against environment Ben Lippmeier
• patch ddc-head: ddc-core: update test output Ben Lippmeier
• patch ddc-head: ddc-core: check bindings and body of letregion, withregion have correct kind Ben Lippmeier
• patch ddc-head: ddc-core: check that bindings and body of let(rec) has data kind Ben Lippmeier
• patch ddc-head: Source.Parser.Exp : Fix detection of unterminated string literals. Erik de Castro Lopo
• patch ddc-head: ddc-core: check letrec bindings against annotations, and keep type sums as sets instead of lists Ben Lippmeier
• patch ddc-head: ddc-core: parsing of standalone (~>) and (=>) Ben Lippmeier
• patch ddc-head: ddc-core: change syntax of type apps to use brackes instead of braces Ben Lippmeier
• patch ddc-head: LLVM : Fix printing of LMIntLit. Erik de Castro Lopo
• patch ddc-head: ddc-core: add sugar for function parameters Ben Lippmeier
• patch ddc-head: ddc-core: add eqInt and enumFromTo test Ben Lippmeier
• patch ddc-head: ddci-core: reformat tests now that block input mode works Ben Lippmeier
• patch ddc-head: ddci-core: refactor main loop to allow block commands Ben Lippmeier
• patch ddc-head: ddci-core: remove old commands Ben Lippmeier
• patch ddc-head: ddc-core: evaluation under casts, and rules for global regions Ben Lippmeier
• patch ddc-head: ddc-core: store ppr wibble Ben Lippmeier
• patch ddc-head: ddc-core: comments only Ben Lippmeier
  • patch ddc-head: ddc-core: comments only Ben Lippmeier
  • patch ddc-head: ddc-core: comments only Ben Lippmeier
• patch ddc-head: ddc-core: refactor EvCreateRegion Ben Lippmeier
• patch ddc-head: Wibble on fac test Ben Lippmeier
• patch ddc-head: ddc-core: refactor single stepper to return StepResult Ben Lippmeier
• patch ddc-head: Update test Ben Lippmeier
• patch ddc-head: ddc-core: better reduction for applictions of multiple args Ben Lippmeier
• patch ddc-head: ddc-core: add enough of letrec to make factorial work Ben Lippmeier
• patch ddc-head: ddc-core: start parser and checker for letrec Ben Lippmeier
• patch ddc-head: ddci-core: add eval for general abstraction and application Ben Lippmeier
• patch ddc-head: ddc-core: rename Direct -> Manifest Ben Lippmeier
• patch ddc-head: ddc-core: test wibble Ben Lippmeier
• patch ddc-head: ddc-core: add some TODOs Ben Lippmeier
  • patch ddc-head: ddc-core: add some todos Ben Lippmeier
• patch ddc-head: ddc-core: proper error message when field annot type does not match actual field type Ben Lippmeier
• patch ddc-head: ddc-core: check for too many fields in pattern match Ben Lippmeier
• patch ddc-head: ddci-core: pass through proper field types when checking case expressions Ben Lippmeier
• patch ddc-head: ddc-core: test wibbles Ben Lippmeier
• patch ddc-head: ddc-core: accept let expressions with no annots on binders Ben Lippmeier
• patch ddc-head: ddc-core: check for mismatch in alternative types Ben Lippmeier
• patch ddc-head: ddci-core: add test for falling through to default alternative Ben Lippmeier
• patch ddc-head: ddci-core: add matching on literals Ben Lippmeier
• patch ddc-head: ddci-core: single step rules for case expressions Ben Lippmeier
• patch ddc-head: ddc-core: parsing subst etc for case expressions Ben Lippmeier
• patch ddc-head: ddc-core: pretty printer wibble in stores Ben Lippmeier
• patch ddc-head: ddc-core: fix allocation for Cons and Nil constructors Ben Lippmeier
• patch ddc-head: ddci-core: refactor step fn Ben Lippmeier
• patch ddc-head: ddc-core: shift evaluator into interpreter package Ben Lippmeier
• patch ddc-head: ddci-core: split comounds utils into own module Ben Lippmeier
• patch ddc-head: ddc-core: add test for forget casts Ben Lippmeier
• patch ddc-head: Accept test output Ben Lippmeier
  • patch ddc-head: Accept test output Ben Lippmeier
  • patch ddc-head: Accept test output Ben Lippmeier
  • patch ddc-head: Accept test output Ben Lippmeier
  • patch ddc-head: Accept test output Ben Lippmeier
  • patch ddc-head: Accept test output Ben Lippmeier
  • patch ddc-head: Accept test output Ben Lippmeier

• Earlier messages
• Later messages