disciple-cafe  

Messages by Thread

• patch ddc-head: Add test Ben Lippmeier
  • patch ddc-head: Add test Ben Lippmeier
• patch ddc-head: ddc-core-sea: add types of call primops Ben Lippmeier
• patch ddc-head: ddc-core-sea: more work on sea output prims Ben Lippmeier
• patch ddc-head: ddci-core: allow language framgment to be set at the prompt Ben Lippmeier
• patch ddc-head: ddci-core: make ast command take arb lang profile Ben Lippmeier
• patch ddc-head: ddci-core: make the corrent language profile existential instead Ben Lippmeier
• patch ddc-head: ddci-core-eval: use language fragment specific functions Ben Lippmeier
• patch ddc-head: ddc-core: make exp loader accept arbitrary language profile Ben Lippmeier
• patch ddc-head: ddc-core: make witness loader accept arbitrary language profile Ben Lippmeier
• patch ddc-head: ddc-core: make module loader work with an arbitrary language profile Ben Lippmeier
• patch ddc-head: ddc-core-sea: work on names and conversion Ben Lippmeier
• patch ddc-head: ddc-core-sea: start conversion Ben Lippmeier
• patch ddc-head: ddc-core-sea: add package and sea output language profile Ben Lippmeier
• patch ddc-head: ddc-core: start on language compliance checker Ben Lippmeier
• patch ddc-head: ddc-core: add language features Ben Lippmeier
• patch ddc-head: ddc-core-simpl: haddock fix Ben Lippmeier
• patch ddc-head: ddc-core: check top-level bindings of modules Ben Lippmeier
• patch ddc-head: proof: start on type judgements Ben Lippmeier
• patch ddc-head: proof: add other op forms to exp Ben Lippmeier
• patch ddc-head: proof: split witness expressions into own module Ben Lippmeier
• patch ddc-head: proof: add type/type subst Ben Lippmeier
• patch ddc-head: proof: add type lifting lemmas Ben Lippmeier
• patch ddc-head: proof: add kind judgement Ben Lippmeier
• patch ddc-head: proof: Start on DisipleKernel proof Ben Lippmeier
• patch ddc-head: Wibbles Ben Lippmeier
• Partial application of primitives Amos Robinson
  • Re: Partial application of primitives Ben Lippmeier
• patch ddc-head: ddc-core: refactoring core checker to handle let bindings separately Ben Lippmeier
• patch ddc-head: ddc-core: Check sigs of imported and exported stuff on module load Ben Lippmeier
• patch ddc-head: ddc-main: unbreak doubleToBytes in existing LLVM backend Ben Lippmeier
• DDC build error Dirk Ullrich
  • Re: DDC build error Ben Lippmeier
• patch ddc-head: ddc-core: start on module type checker Ben Lippmeier
• patch ddc-head: ddc-core: also parse the lets in a module Ben Lippmeier
• patch ddc-head: ddc-core: drop duplicated code Ben Lippmeier
• patch ddc-head: ddc-core: refactor parser to split out let expressions Ben Lippmeier
• patch ddc-head: ddc-core: start on module parser Ben Lippmeier
• patch ddc-head: ddc-core: split witness parser into own module Ben Lippmeier
• patch ddc-head: ddc-core: add core module syntax tree Ben Lippmeier
• patch ddc-head: ddc-core: split out param parsing into own module Ben Lippmeier
• patch ddc-head: ddc-sea-llvm: wibble Ben Lippmeier
• patch ddc-head: ddc-sea-llvm: shift projections into prim type Ben Lippmeier
• patch ddc-head: ddc-sea-llvm: add cleaned up Sea AST Ben Lippmeier
• patch ddc-head: ddc-sea-llvm: dump llvm base module and cleanup haddocks Ben Lippmeier
• patch ddc-head: ddc-sea-llvm: add LLVM Ast definition Ben Lippmeier
• ddci-core 0.2.1 is on Hackage Ben Lippmeier
• patch ddc-head: Another cabal file Ben Lippmeier
• patch ddc-head: T187-Added set/get test for ArrayU Thomas Bereknyei
• patch ddc-head: Update to T15-SharingOfConstants test Thomas Bereknyei
• patch ddc-head: ddci-core: add ANormal transform to help file Ben Lippmeier
• patch ddc-head: Update license file to assign copyright to all authors Ben Lippmeier
• patch ddc-head: ddc-core-simpl: add anon test with region var and value var of the same name Ben Lippmeier
• patch ddc-head: ddc-core: accept single a single letrec binding with no braces around it Ben Lippmeier
• patch ddc-head: ddci-core: Add another test for let lazy syntax Ben Lippmeier
• patch ddc-head: ddc-core-eval: redirect the unit constructor to a static store location Ben Lippmeier
• darcs patch: Update to T15-SharingOfConstants test (and 1 more) Thomas Bereknyei
  • Re: darcs patch: Update to T15-SharingOfConstants test (and 1 more) Ben Lippmeier
• T187 added ArrayU set/get test Thomas Bereknyei
• T15 test Thomas Bereknyei
• patch ddc-head: Add test for #242: Undefined type constructor Ben Lippmeier
• patch ddc-head: ddc-core: better error message with undefined constructors Ben Lippmeier
• patch ddc-head: ddc-core: prettier printing for types with constraints Ben Lippmeier
• Tutorial Thomas Bereknyei
  • Re: Tutorial Ben Lippmeier
• patch ddc-head: ddc-core-simpl: rewrite: commit the files I should have Amos Robinson
• patch ddc-head: ddc-core-simpl: better rewrite test Amos Robinson
• patch ddc-head: ddc-core-simpl: rewrite rules initial Amos Robinson
• patch ddc-head: ddc-core: Add a test with higher kinded type vars in letregion witness set Ben Lippmeier
• patch ddc-head: Add more tests from the tutorial Ben Lippmeier
• patch ddc-head: ddc-core-simpl: also push BNone on stack as placeholders Ben Lippmeier
• patch ddc-head: ddc-core: fix deBruijn environment bug in core type checker Ben Lippmeier
• patch ddc-head: ddc-core-simpl: move DDC.Core.Rewrite to DDC.Core.Transform.Rewrite Amos Robinson
• patch ddc-head: Add test file with examples from the ddci-core tutorial Ben Lippmeier
• patch ddc-head: Add test output Ben Lippmeier
  • patch ddc-head: Add test output Ben Lippmeier
• patch ddc-head: ddc-core-eval: add Pairs as a primitive data type Ben Lippmeier
• patch ddc-head: Add examples used in the tutorial Ben Lippmeier
• patch ddc-head: ddc-core-eval: copyInt & negInt tests Amos Robinson
• patch ddc-head: ddc-core-eval: copyInt & negInt Amos Robinson
• patch ddc-head: ddc-core-simpl: rewrite: merge conflict Amos Robinson
• patch ddc-head: ddc-core-simpl: rewrite rules: parsing from ddci Amos Robinson
• patch ddc-head: ddc-core-simpl: anormal: flatten lets Amos Robinson
• patch ddc-head: ddc-core-simpl: anormal: ugly annotations fix Amos Robinson
• patch ddc-head: ddc-core-simpl: anormal: slight clean / haddock Amos Robinson
• patch ddc-head: Bump version to 0.3.0 Ben Lippmeier
• patch ddc-head: Post wibbles Ben Lippmeier
• patch ddc-head: TAG Release 0.2.0.1 Ben Lippmeier
• patch ddc-head: Bump versions Ben Lippmeier
• patch ddc-head: Enable indent mode with ANormal test Ben Lippmeier
• patch ddc-head: ddci-core: cabal file wibbles Ben Lippmeier
• patch ddc-head: ddc-core: finish haddocks for type modules Ben Lippmeier
• patch ddc-head: ddc-core: haddocks to type modules Ben Lippmeier
• patch ddc-head: ddc-core: haddock cleanups Ben Lippmeier
• patch ddc-head: ddc-core: add an extra no alternatives check to avoid pattern match failure in type checker Ben Lippmeier
• patch ddc-head: Fixup cabal files for packages Ben Lippmeier
• patch ddc-head: ddci-core: check that the effect and closure get smaller after every step in the evaluation Ben Lippmeier
• patch ddc-head: ddc-core-simpl: anormal: introduce bindings for lhs of application, too Amos Robinson
• patch ddc-head: ddc-core-eval: check for conflicting capabilities in program Ben Lippmeier
• patch ddc-head: ddc-core-eval: check for capability constructor applied to non-handles Ben Lippmeier
• patch ddc-head: ddc-core-eval: check for partially applied capability constructors Ben Lippmeier
• patch ddc-head: ddc-core-eval: haddocks Ben Lippmeier
  • patch ddc-head: ddc-core-eval: haddocks Ben Lippmeier
• patch ddc-head: ddc-core: Refactor to put capabilities in ddc-core-eval package Ben Lippmeier
• patch ddc-head: ddc-core: handle casts wrapped around lambdas in eval Ben Lippmeier
• patch ddc-head: ddc-core: fix foolish variable shadow bug Ben Lippmeier
• patch ddc-head: ddc-core: add more broken tests Ben Lippmeier
• patch ddc-head: ddc-core-eval: add primop / forget test Ben Lippmeier
• patch ddc-head: ddci-core: update help page Ben Lippmeier
• patch ddc-head: ddc-core: add some broken eval tests Ben Lippmeier
• patch ddc-head: ddc-core: haddocks Ben Lippmeier
  • patch ddc-head: ddc-core: haddocks Ben Lippmeier
• patch ddc-head: ddc-core: add test for forget cast around case discriminant Ben Lippmeier
• patch ddc-head: ddc-core-eval: cleanup Haddocks for the evaluator Ben Lippmeier
• patch ddc-head: Shift core language evaluator into the ddc-core-eval package Ben Lippmeier
• patch ddc-head: ddc-core: fix bug with closure lowering Ben Lippmeier
• patch ddc-head: ddc-core: unhide the new collect module Ben Lippmeier
• patch ddc-head: ddc-core: remember to rewrite types of anoymised bounds Ben Lippmeier
• patch ddc-head: ddc-core: refactor SubstituteTX to use new subst framework Ben Lippmeier
• patch ddc-head: ddc-core: refactor SubstituteWX to use new subst framework Ben Lippmeier
• patch ddc-head: ddc-core: refactor bind function names Ben Lippmeier
• patch ddc-head: ddc-core: split out var rewrite utils into own module Ben Lippmeier
• patch ddc-head: ddc-core: add more capture avoidance tests Ben Lippmeier
• patch ddc-head: ddc-core: Rewrite SubstituteXX to avoid conflicts with letregion Ben Lippmeier
• patch ddc-head: ddc-core: rename gatherBound -> collectBound Ben Lippmeier
• patch ddc-head: ddc-core: rename BindTree module Ben Lippmeier
• patch ddc-head: ddc-core: rewrite freeT and freeX in terms of BindTree Ben Lippmeier
• patch ddc-head: ddc-core: rewrite gatherBound using BindTree Ben Lippmeier
• patch ddc-head: ddci-core: compile with -Werror Amos Robinson
• patch ddc-head: ddc-core-simpl: anormal: tests Amos Robinson
• patch ddc-head: ddc-core: reinstate spec binder shadow check Ben Lippmeier
• patch ddc-head: ddc-core-simpl: Don't require envs to be passed to betaReduce Ben Lippmeier
• patch ddc-head: ddc-core: add note that checkExp doesn't check for conflicts between capabilities Ben Lippmeier
• patch ddc-head: More haddock cleanups Ben Lippmeier
• patch ddc-head: ddc-core: haddocks for Collect and Compounds Ben Lippmeier
• patch ddc-head: Cleanup haddocks for type checker Ben Lippmeier
• patch ddc-head: ddc-core: Shift predicates into their own modules and cleanup docs Ben Lippmeier
• patch ddc-head: ddc-core: cleanups Ben Lippmeier
• patch ddc-head: ddc-core: cleanups to type checker Ben Lippmeier
• patch ddc-head: ddc-core: Handle higher kinded variables when checking equiv of type sums Ben Lippmeier
• patch ddc-head: ddc-core: fix bug in tequiv wrt quantifiers Ben Lippmeier
• patch ddc-head: ddc-core: rename Env.combine to Env.union Ben Lippmeier
• patch ddc-head: ddc-core: compare binder kinds in tequiv Ben Lippmeier
• patch ddc-head: ddc-core: add tests for type equiv Ben Lippmeier
• patch ddc-head: ddci-core: add command to check equivalence of types Ben Lippmeier
• patch ddc-head: ddc-main: formatting to Sea and LLVM Ben Lippmeier
• patch ddc-head: Redo pretty printer framework Ben Lippmeier
• patch ddc-head: ddci-core: Allow indenting to be enabled Ben Lippmeier
• patch ddc-head: Add tests for evaluating anonymous expressions Ben Lippmeier
• patch ddc-head: Do transform tests before eval tests Ben Lippmeier
• patch ddc-head: Add another letregion shadow test Ben Lippmeier
• patch ddc-head: Change order of tests Ben Lippmeier
• patch ddc-head: ddc-core: fix closure masking in alts when pat vars are anonymous Ben Lippmeier
• patch ddc-head: ddc-core: Rename substitution modules Ben Lippmeier
• patch ddc-head: ddc-core: finish SubstituteTX boilerplate Ben Lippmeier
• patch ddc-head: ddci-core: eval: store type abstractions in heap Amos Robinson
• patch ddc-head: ddc-core: threading envX through SubstituteTX Ben Lippmeier
• patch ddc-head: ddc-core: split SubstituteT into SubstituteTX for subst of types in exps Ben Lippmeier
• patch ddc-head: ddc-core-simpl: anormal: count arity of primitives from type Amos Robinson
• patch ddc-head: ddc-core: Cleanup SpreadX Ben Lippmeier
• patch ddc-head: ddc-core: spread into types on exp bounds Ben Lippmeier
• patch ddc-head: ddc-core: refactor SpreadT Ben Lippmeier
• patch ddc-head: ddc-core: refactor anonymizer API so it doesn't need the initial stacks Ben Lippmeier
• patch ddc-head: ddc-core: refactoring Lift and Lower Ben Lippmeier
• patch ddc-head: ddc-core: Decend into right of let binding during liftX Ben Lippmeier
• patch ddc-head: ddc-core: add liftW boilerplate for lifting witness indices Ben Lippmeier
• patch ddc-head: ddc-core: rest of capture checks in SubstituteX Ben Lippmeier
• patch ddc-head: ddc-core: rest of capture checks in SubstituteW Ben Lippmeier
• patch ddc-head: ddc-core: refactor SpreadX Ben Lippmeier
• patch ddc-head: ddc-core: formatting in LiftX Ben Lippmeier
• patch ddc-head: Rename TyConComp -> TyConSpec to reflect universe namechange Ben Lippmeier
• patch ddc-head: ddc-core: rename old Comp universe to Data Ben Lippmeier
• patch ddc-head: ddc-core: handle capture conditions in witness substitution Ben Lippmeier
• patch ddc-head: ddc-core: reformat FreeT Ben Lippmeier
• patch ddc-head: ddc-core: reformat FreeX Ben Lippmeier
• patch ddc-head: ddc-core: check types of witness variables against the environment Ben Lippmeier
• patch ddc-head: ddci-core: add broken variable capture test with witness substitution Ben Lippmeier
• patch ddc-head: ddc-core: allow shadowing of l1 binders, will handle this directly Ben Lippmeier
• patch ddc-head: ddc-core: Don't substitute past lambdas with the same name Ben Lippmeier
• patch ddc-head: ddc-core: fix transformUpX for case, and add capture avoidance test Ben Lippmeier
• patch ddc-head: ddc-core: trim closures in for function types Ben Lippmeier
• patch ddc-head: ddci-core: update test file Ben Lippmeier
• ddci-core error in eval of partial application Amos Robinson
  • Re: ddci-core error in eval of partial application Ben Lippmeier
• patch ddc-head: ddci-core: add missing Beta transform test Ben Lippmeier
• patch ddc-head: ddc-core: lexing keywords so 'inc' and 'letx' are valid vars Amos Robinson
• patch ddc-head: ddc-core-simpl: anormal: add to help Amos Robinson
• patch ddc-head: ddc-core-simpl: anormal: fix silly errors Amos Robinson
• patch ddc-head: ddc-core-simpl: a-normal/beta merge conflicts Amos Robinson
• patch ddc-head: ddc-core: add XLAM to anormal, merge conflicts Amos Robinson
• patch ddc-head: ddc-core-simpl: add anormal transform to cabal Amos Robinson
• patch ddc-head: ddc-core-simpl: anormal: only count lambdas in spec universe(?) when finding arity Amos Robinson
• patch ddc-head: ddc-core-simpl: anormal: copy annotations from source exp Amos Robinson
• patch ddc-head: ddc-core-simpl: anormal: generate by arities Amos Robinson
• patch ddc-head: ddci-core: new command :trun to transform and then evaluate expression Amos Robinson
• patch ddc-head: ddc-core-simpl: naive a-normal form, ignoring arity Amos Robinson
• patch ddc-head: ddc-core-simpl: anormal lift bindings Amos Robinson
• patch ddc-head: ddci-core: add Beta transform to help Ben Lippmeier
• patch ddc-head: ddc-core: add missing FreeT module Ben Lippmeier
• patch ddc-head: ddc-core: handle variable capture conditions in SubstituteX Ben Lippmeier

• Earlier messages
• Later messages