disciple-cafe  

Messages by Date

• 2012/01/02 patch ddc-head: LLVM : Fix printing of LMIntLit. Erik de Castro Lopo
• 2012/01/02 DDC Build (freebsd8-32.freebsd8-x86.head) success Erik's DDC BuildBot
• 2011/12/30 patch ddc-head: ddc-core: add sugar for function parameters Ben Lippmeier
• 2011/12/30 patch ddc-head: ddc-core: add eqInt and enumFromTo test Ben Lippmeier
• 2011/12/30 patch ddc-head: ddci-core: reformat tests now that block input mode works Ben Lippmeier
• 2011/12/30 patch ddc-head: ddci-core: refactor main loop to allow block commands Ben Lippmeier
• 2011/12/30 patch ddc-head: ddci-core: remove old commands Ben Lippmeier
• 2011/12/29 patch ddc-head: ddc-core: evaluation under casts, and rules for global regions Ben Lippmeier
• 2011/12/29 patch ddc-head: ddc-core: store ppr wibble Ben Lippmeier
• 2011/12/29 patch ddc-head: ddc-core: comments only Ben Lippmeier
• 2011/12/29 patch ddc-head: ddc-core: refactor EvCreateRegion Ben Lippmeier
• 2011/12/29 patch ddc-head: Wibble on fac test Ben Lippmeier
• 2011/12/29 patch ddc-head: ddc-core: refactor single stepper to return StepResult Ben Lippmeier
• 2011/12/29 patch ddc-head: Update test Ben Lippmeier
• 2011/12/29 patch ddc-head: ddc-core: better reduction for applictions of multiple args Ben Lippmeier
• 2011/12/29 patch ddc-head: ddc-core: add enough of letrec to make factorial work Ben Lippmeier
• 2011/12/29 patch ddc-head: ddc-core: start parser and checker for letrec Ben Lippmeier
• 2011/12/28 patch ddc-head: ddci-core: add eval for general abstraction and application Ben Lippmeier
• 2011/12/28 patch ddc-head: ddc-core: rename Direct -> Manifest Ben Lippmeier
• 2011/12/28 patch ddc-head: ddc-core: test wibble Ben Lippmeier
• 2011/12/28 patch ddc-head: ddc-core: add some TODOs Ben Lippmeier
• 2011/12/28 patch ddc-head: ddc-core: proper error message when field annot type does not match actual field type Ben Lippmeier
• 2011/12/28 patch ddc-head: ddc-core: check for too many fields in pattern match Ben Lippmeier
• 2011/12/28 patch ddc-head: ddci-core: pass through proper field types when checking case expressions Ben Lippmeier
• 2011/12/28 patch ddc-head: ddc-core: test wibbles Ben Lippmeier
• 2011/12/28 patch ddc-head: ddc-core: accept let expressions with no annots on binders Ben Lippmeier
• 2011/12/27 Re: Build with GHC 7.4 Ben Lippmeier
• 2011/12/27 patch ddc-head: ddc-core: check for mismatch in alternative types Ben Lippmeier
• 2011/12/27 patch ddc-head: ddci-core: add test for falling through to default alternative Ben Lippmeier
• 2011/12/27 patch ddc-head: ddci-core: add matching on literals Ben Lippmeier
• 2011/12/27 patch ddc-head: ddci-core: single step rules for case expressions Ben Lippmeier
• 2011/12/27 patch ddc-head: ddc-core: parsing subst etc for case expressions Ben Lippmeier
• 2011/12/27 patch ddc-head: ddc-core: pretty printer wibble in stores Ben Lippmeier
• 2011/12/27 patch ddc-head: ddc-core: fix allocation for Cons and Nil constructors Ben Lippmeier
• 2011/12/27 patch ddc-head: ddci-core: refactor step fn Ben Lippmeier
• 2011/12/27 patch ddc-head: ddc-core: shift evaluator into interpreter package Ben Lippmeier
• 2011/12/27 patch ddc-head: ddci-core: split comounds utils into own module Ben Lippmeier
• 2011/12/24 patch ddc-head: ddc-core: add test for forget casts Ben Lippmeier
• 2011/12/24 patch ddc-head: Accept test output Ben Lippmeier
• 2011/12/24 patch ddc-head: ddc-core: mask closure in withregion Ben Lippmeier
• 2011/12/24 patch ddc-head: ddc-core: more checks for problems in witnesses bound at letregion Ben Lippmeier
• 2011/12/24 patch ddc-head: ddc-core: check for rebound region variables Ben Lippmeier
• 2011/12/24 patch ddc-head: ddc-core: implement forget closure cast Ben Lippmeier
• 2011/12/24 patch ddc-head: ddc-core: Split TaggedClosure into own module Ben Lippmeier
• 2011/12/24 patch ddc-head: ddc-core: whitespace Ben Lippmeier
• 2011/12/24 patch ddc-head: ddc-core: mask bound regions in closure of type lambda Ben Lippmeier
• 2011/12/24 patch ddc-head: ddc-core: witness implication must be polymorphic Ben Lippmeier
• 2011/12/24 patch ddc-head: ddc-core: mask region variables in closure during letregion Ben Lippmeier
• 2011/12/24 patch ddc-head: ddc-core: add region handles to closure, and trim types of vars at leaves Ben Lippmeier
• 2011/12/24 patch ddc-head: ddc-core: recursively trim type args and add test Ben Lippmeier
• 2011/12/24 patch ddc-head: ddc-core: prec bug in core ppr Ben Lippmeier
• 2011/12/24 patch ddc-head: ddc-core trimming for function types Ben Lippmeier
• 2011/12/22 Build with GHC 7.4 Dirk Ullrich
• 2011/12/20 patch ddc-head: ddc-core: still more tests for the trimmer Ben Lippmeier
• 2011/12/20 patch ddc-head: ddc-core: add more unit tests for the closure trimmer Ben Lippmeier
• 2011/12/20 patch ddc-head: ddc-core: work on closure trimmer, and add tests Ben Lippmeier
• 2011/12/20 patch ddc-head: ddc-core: split exp and witness checking into own modules Ben Lippmeier
• 2011/12/20 patch ddc-head: ddc-core: pretty printing wibble Ben Lippmeier
• 2011/12/20 patch ddc-head: ddc-core: proper error message when witness for a purify is malformed Ben Lippmeier
• 2011/12/20 patch ddc-head: ddc-core: proper error messages for witness join failure Ben Lippmeier
• 2011/12/20 patch ddc-head: ddc-core: pretty printing for casts Ben Lippmeier
• 2011/12/20 patch ddc-head: ddc-core: whitespace Ben Lippmeier
• 2011/12/20 patch ddc-head: ddc-core: rejig witness constructors and rename Share to Use Ben Lippmeier
• 2011/12/20 patch ddc-head: ddc-core: more parsing and checking for witnesses, and add test Ben Lippmeier
• 2011/12/20 patch ddc-head: ddci-core: reformat error messages Ben Lippmeier
• 2011/12/16 patch ddc-head: ddc-core: deallocate regions when leaving withregion Ben Lippmeier
• 2011/12/16 patch ddc-head: ddc-core: comments and cleanup Ben Lippmeier
• 2011/12/16 patch ddc-head: ddc-core: implement updateInt primop Ben Lippmeier
• 2011/12/16 patch ddc-head: ddc-core: dump separate INT store binding form, just use OBJ Ben Lippmeier
• 2011/12/15 patch ddc-head: ddc-core: haddock fix Ben Lippmeier
• 2011/12/15 patch ddc-head: ddc-core: do witness substitution, and subst in witnesses from letregion Ben Lippmeier
• 2011/12/14 Re: DDC Build (discus.linux-x86_64.head) success Ben Lippmeier
• 2011/12/14 Re: DDC Build (discus.linux-x86_64.head) success Erik de Castro Lopo
• 2011/12/14 Re: DDC Build (deluge.linux-x86.head) success Erik de Castro Lopo
• 2011/12/14 Re: DDC Build (discus.linux-x86_64.head) success Erik de Castro Lopo
• 2011/12/14 DDC Build (discus.linux-x86_64.head) success DDC BuildBot
• 2011/12/14 patch ddc-head: Warning police Ben Lippmeier
• 2011/12/14 DDC Build (deluge.linux-x86.head) success DDC BuildBot
• 2011/12/14 DDC Build (discus.linux-x86_64.head) success DDC BuildBot
• 2011/12/14 Re: DDC Build (discus.linux-x86_64.head) success Ben Lippmeier
• 2011/12/14 Re: DDC Build (discus.linux-x86_64.head) success Ben Lippmeier
• 2011/12/14 Re: DDC Build (discus.linux-x86_64.head) success Dirk Ullrich
• 2011/12/14 DDC Build (discus.linux-x86_64.head) success DDC BuildBot
• 2011/12/14 patch ddc-head: ddc-core: start lift and substitute for expressions Ben Lippmeier
• 2011/12/14 patch ddc-head: ddc-core: factor out substBound logic into own function in SubstituteT Ben Lippmeier
• 2011/12/14 patch ddc-head: ddc-core: fix spread for Unit tycon and refactor substituteT to expose BindStack Ben Lippmeier
• 2011/12/14 patch ddc-head: ddc-core: pretty printer tweak Ben Lippmeier
• 2011/12/14 patch ddc-head: ddci-core: handle line continuations in batch mode Ben Lippmeier
• 2011/12/14 patch ddc-head: ddc-core: track free value vars in checker instead of closure Ben Lippmeier
• 2011/12/13 patch ddc-head: ddc-core: add parsing and checking for let expressions Ben Lippmeier
• 2011/12/13 patch ddc-head: ddci-core: allow commands to be split across multiple lines Ben Lippmeier
• 2011/12/13 patch ddc-head: ddc-core: add type for updateInt prim Ben Lippmeier
• 2011/12/13 patch ddc-head: ddc-core: rename add primops -> addInt Ben Lippmeier
• 2011/12/13 patch ddc-head: ddc-core: add evaluation for letregion / withregion Ben Lippmeier
• 2011/12/13 patch ddc-head: ddci-core: also print initial expression during evaluation Ben Lippmeier
• 2011/12/13 patch ddc-head: ddci-core: update gatherBound for letregion Ben Lippmeier
• 2011/12/13 patch ddc-head: ddc-core: mask effects from the body of a letregion Ben Lippmeier
• 2011/12/13 patch ddc-head: ddci-core: check for bound region being free in type of body of a letregion Ben Lippmeier
• 2011/12/13 patch ddc-head: ddci-core: change syntax "let region" => "letregion" Ben Lippmeier
• 2011/12/13 DDC Build (discus.linux-x86_64.head) success DDC BuildBot
• 2011/12/12 DDC Build (discus.linux-x86_64.head) success DDC BuildBot
• 2011/12/12 patch ddc-head: ddc-core: add parsing, printing and basic checking for letregion Ben Lippmeier
• 2011/12/11 DDC Build (discus.linux-x86_64.head) success DDC BuildBot
• 2011/12/11 patch ddc-head: ddc-core: docs and update test for closure trimmer Ben Lippmeier
• 2011/12/11 patch ddc-head: ddc-core: start on new closure trimmer Ben Lippmeier
• 2011/12/11 patch ddc-head: ddc-core: follow changes in tests Ben Lippmeier
• 2011/12/11 patch ddc-head: ddc-base: don't wrap when pretty printing Ben Lippmeier
• 2011/12/11 patch ddc-head: ddc-core: need DeepShare for types in closures, instead of Share Ben Lippmeier
• 2011/12/11 patch ddc-head: ddci-core: fix bug with dup effects not being packed in typesum Ben Lippmeier
• 2011/12/11 Re: HEAD doesn't compile with -Werror Erik de Castro Lopo
• 2011/12/11 Re: HEAD doesn't compile with -Werror Dirk Ullrich
• 2011/12/10 DDC Build (freebsd8-32.freebsd8-x86.head) success Erik's DDC BuildBot
• 2011/12/10 DDC Build (freebsd8-32.freebsd8-x86.head) success Erik's DDC BuildBot
• 2011/12/10 Re: DDC Build (freebsd8-32.freebsd8-x86.head) success Erik de Castro Lopo
• 2011/12/10 DDC Build (freebsd8-32.freebsd8-x86.head) success Erik's DDC BuildBot
• 2011/12/10 DDC Build (discus.linux-x86_64.head) success DDC BuildBot
• 2011/12/09 patch ddc-head: ddci-core: update tests Ben Lippmeier
• 2011/12/09 patch ddc-head: ddci-core: update war for ddci-core and add some simple tests Ben Lippmeier
• 2011/12/09 patch ddc-head: ddci-core: add eval for add primop Ben Lippmeier
• 2011/12/09 patch ddc-head: ddc-core: evaluation of applications Ben Lippmeier
• 2011/12/09 patch ddc-head: ddci-core: require region to be in store when allocating Ben Lippmeier
• 2011/12/09 patch ddc-head: ddc-core: pretty printing of stores Ben Lippmeier
• 2011/12/09 patch ddc-head: ddc-core: refactor interp exp parse cmd and fix warnings Ben Lippmeier
• 2011/12/09 patch ddc-head: ddci-core: lex () as the unit data constructor Ben Lippmeier
• 2011/12/09 patch ddc-head: ddc-core: add TransformX module Ben Lippmeier
• 2011/12/09 patch ddc-head: ddc-core: add fn to get types of primops to env Ben Lippmeier
• 2011/12/09 DDC Build (discus.linux-x86_64.head) success DDC BuildBot
• 2011/12/09 patch ddc-head: ddc-base: remove literal module from base, bad idea Ben Lippmeier
• 2011/12/09 patch ddc-head: ddc-core: refactor handling of primitives again Ben Lippmeier
• 2011/12/09 patch ddc-head: ddci-core: start subst region handles during eval start Ben Lippmeier
• 2011/12/08 Re: HEAD doesn't compile with -Werror Erik de Castro Lopo
• 2011/12/08 Re: HEAD doesn't compile with -Werror DirkU
• 2011/12/08 DDC Build (discus.linux-x86_64.head) success DDC BuildBot
• 2011/12/07 DDC Build (discus.linux-x86_64.head) success DDC BuildBot
• 2011/12/06 DDC Build (discus.linux-x86_64.head) success DDC BuildBot
• 2011/12/06 patch ddc-head: ddc-core: collect R# constructors that we'll treat at region handles Ben Lippmeier
• 2011/12/06 patch ddc-head: ddc-core: add gathering of bound variables Ben Lippmeier
• 2011/12/06 patch ddc-head: ddc-core: working on single step eval Ben Lippmeier
• 2011/12/06 Re: HEAD doesn't compile with -Werror Ben Lippmeier
• 2011/12/06 HEAD doesn't compile with -Werror Erik de Castro Lopo
• 2011/12/05 DDC Build (discus.linux-x86_64.head) success DDC BuildBot
• 2011/12/05 patch ddc-head: ddci-core: start on eval of primops Ben Lippmeier
• 2011/12/05 patch ddc-head: ddci-core: split primop parser and pretty printer to own module Ben Lippmeier
• 2011/12/04 DDC Build (discus.linux-x86_64.head) success DDC BuildBot
• 2011/12/04 patch ddc-head: ddc-core: refactoring primop stuff to be as intended Ben Lippmeier
• 2011/12/04 patch ddc-head: ddci-core: add skeleton for eval command Ben Lippmeier
• 2011/12/04 patch ddc-head: ddci-core: split code that makes the initial region environment into its own module Ben Lippmeier
• 2011/12/04 patch ddc-head: ddc-core: pass closures through during checking, add alloc effect to add Ben Lippmeier
• 2011/12/04 patch ddc-head: ddci-core: automatically add free region vars like r' to the initial environment Ben Lippmeier
• 2011/12/04 patch ddc-head: ddc-core: dump separate TBot constructor, just use TSum Ben Lippmeier
• 2011/12/03 patch ddc-head: ddc-core: add subst module for interpreter Ben Lippmeier
• 2011/12/03 patch ddc-head: ddc-core: adding literals Ben Lippmeier
• 2011/12/03 patch ddc-head: ddc-core: parsing multi-application of types and witnesses Ben Lippmeier
• 2011/12/03 patch ddc-head: ddc-core: prettier printing of nested binders in expressions Ben Lippmeier
• 2011/12/03 patch ddc-head: ddc-core: subst args into result of type binds Ben Lippmeier
• 2011/12/03 patch ddc-head: ddc-core: drop pretty constraint on SubstituteT Ben Lippmeier
• 2011/12/03 patch ddc-head: ddc-core: add type substitution and lifting Ben Lippmeier
• 2011/12/03 patch ddc-head: Rename Type.Env module Ben Lippmeier
• 2011/12/03 patch ddc-head: ddc-core: in anonymiser must also push existing anon binds on stack Ben Lippmeier
• 2011/12/03 patch ddc-head: ddc-core: tweaks to type pretty printer Ben Lippmeier
• 2011/12/03 DDC Build (discus.linux-x86_64.head) success DDC BuildBot
• 2011/12/02 DDC Build (discus.linux-x86_64.head) success DDC BuildBot
• 2011/12/02 patch ddc-head: ddc-core: add type anonymiser Ben Lippmeier
• 2011/12/02 patch ddc-head: Add ddci-core to makefile Ben Lippmeier
• 2011/12/02 patch ddc-head: wibble Ben Lippmeier
• 2011/12/02 patch ddc-head: Move existing tools into own dirs, and fix building of docs Ben Lippmeier
• 2011/12/02 patch ddc-head: Expunge old tools dir Ben Lippmeier
• 2011/12/02 patch ddc-head: Shift existing compiler source to packages dir Ben Lippmeier
• 2011/12/02 patch ddc-head: Comment wibble Ben Lippmeier
• 2011/12/01 DDC Build (discus.linux-x86_64.head) success DDC BuildBot
• 2011/12/01 patch ddc-head: ddc-core: add parsing of anonymous and vacat binders in foralls Ben Lippmeier
• 2011/12/01 patch ddc-head: ddci-core: add command to display free vars, and fix bug in parsing of annotated function types Ben Lippmeier
• 2011/12/01 patch ddc-head: ddci-core: merge :type :check :kind modules Ben Lippmeier
• 2011/12/01 patch ddc-head: ddci-core: cleanups Ben Lippmeier
• 2011/12/01 patch ddc-head: ddc-core: add free vars collector for types Ben Lippmeier
• 2011/12/01 patch ddc-head: ddc-core: rename Free and DeepFree constraints to Share and DeepShare Ben Lippmeier
• 2011/12/01 patch ddc-head: ddc-core: prettier printing of chains of foralls Ben Lippmeier
• 2011/11/30 DDC Build (discus.linux-x86_64.head) success DDC BuildBot
• 2011/11/30 patch ddc-head: ddc-core: add missing module Ben Lippmeier
• 2011/11/30 patch ddc-head: ddc-core: add parsing of type and witness applications, change order of tFun args Ben Lippmeier
• 2011/11/30 patch ddc-head: ddc-core: split check errors into a different module Ben Lippmeier
• 2011/11/30 patch ddc-head: ddc-core: check for shadowed level-1 binders Ben Lippmeier
• 2011/11/30 patch ddc-head: ddc-core: check for correct kind of body of abstractions Ben Lippmeier
• 2011/11/30 patch ddc-head: ddc-core: comp lambdas must bind types of comp kind Ben Lippmeier
• 2011/11/29 patch ddc-head: ddc-core: start on spreader for core language Ben Lippmeier
• 2011/11/29 patch ddc-head: ddci-core: add name module Ben Lippmeier
• 2011/11/29 patch ddc-head: ddc-core: refactor parser and lexer stuff again Ben Lippmeier
• 2011/11/29 patch ddc-head: ddc-core: add a non-binding binder so we don't need LStmt Ben Lippmeier
• 2011/11/29 patch ddc-head: ddc-core: rename core AST type params to put name var last Ben Lippmeier
• 2011/11/29 patch ddc-head: ddc-core: finish type spreader for types Ben Lippmeier
• 2011/11/29 patch ddc-head: ddc-core: cleanup haddocks Ben Lippmeier
• 2011/11/29 patch ddc-head: ddci-core: add missing module Ben Lippmeier
• 2011/11/29 patch ddc-head: ddc-core: in progress Ben Lippmeier
• 2011/11/29 DDC Build (discus.linux-x86_64.head) success DDC BuildBot
• 2011/11/29 patch ddc-head: ddc-core: fix pretty printing of pure and empty functions Ben Lippmeier
• 2011/11/29 patch ddc-head: ddc-core: add universe determinator Ben Lippmeier
• 2011/11/29 patch ddc-head: ddc-core: split tycons into witness and computation universes Ben Lippmeier
• 2011/11/28 DDC Build (discus.linux-x86_64.head) success DDC BuildBot
• 2011/11/28 patch ddc-head: ddci-core: allow showing of effect and closures from prompt Ben Lippmeier
• 2011/11/28 patch ddc-head: SimplePCFa: hacks Ben Lippmeier

• Earlier messages
• Later messages