Ticket #171: 171.dpatch

1 patch for repository http://code.haskell.org/ddc/ddc-head:

Sat Oct  2 23:36:21 EDT 2010  Max Bolingbroke <batterseapower@hotmail.com>
  * Implement and test let qualifiers in list comprehensions

New patches:

[Implement and test let qualifiers in list comprehensions
Max Bolingbroke <batterseapower@hotmail.com>**20101003033621
 Ignore-this: f108283451d4dc15355e43c5085660ca
] {
hunk ./src/Source/Desugar.hs 9
 --   
 module Source.Desugar
        ( rewriteTree
-       , rewrite)
+       , rewrite
+       , rewriteLetStmts )
 where
 import Util
 import Type.Util                       
hunk ./src/Source/Desugar.hs 307
        -- Let and where expressions are treated similarly.
        --      They're just sugar for do expressions, and don't support mutual recursion.
        S.XLet sp ss x
-        -> do  ss'             <- rewrite ss
-               x'              <- rewrite x
-               let ssX         = ss' ++ [D.SBind sp Nothing x']
-        
-               ssX_demon       <- rewriteDoSS ssX
-       
-               -- merge pattern bindings
-               let (ssX_merged, errs) = mergeBindings ssX_demon
-               mapM_ addError errs
-        
-               return  $ D.XDo sp ssX_merged
+        -> do  x'              <- rewrite x
+               rewriteLetStmts sp ss x'
 
        S.XWhere sp x ss
hunk ./src/Source/Desugar.hs 311
-        -> do  ss'             <- mapM rewrite ss
-               x'              <- rewrite x
-               let ssX         = ss' ++ [D.SBind sp Nothing x']
-       
-               ssX_demon       <- rewriteDoSS ssX
-       
-               -- merge pattern bindings
-               let (ssX_merged, errs) = mergeBindings ssX_demon
-               mapM_ addError errs
+        -> do  x'              <- rewrite x
+               rewriteLetStmts sp ss x'
 
hunk ./src/Source/Desugar.hs 314
-               return  $ D.XDo sp ssX_merged
-               
        S.XIfThenElse sp x1 x2 x3
         -> do  x1'     <- rewrite x1
                x2'     <- rewrite x2
hunk ./src/Source/Desugar.hs 476
                $ "rewrite[Exp]: can't rewrite " % xx % "\n\n"
                %  show xx      % "\n"
 
+-- | Used for rewriting let/where-like statements into a use of the do notation.
+-- Takes a body of the let that has already been rewritten.
+rewriteLetStmts :: SourcePos -> [S.Stmt SourcePos] -> D.Exp Annot -> RewriteM (D.Exp Annot)
+rewriteLetStmts sp ss x_body'
+  = do ss'             <- mapM rewrite ss      
+       let ssX         = ss' ++ [D.SBind sp Nothing x_body']
+
+       ssX_demon       <- rewriteDoSS ssX
+
+       -- merge pattern bindings
+       let (ssX_merged, errs) = mergeBindings ssX_demon
+       mapM_ addError errs
+
+       return  $ D.XDo sp ssX_merged
+
+
 
 -- Default literals to the machine type
 --     This should really look out type bindings like
hunk ./src/Source/Desugar/ListComp.hs 74
                return  $ D.XDo sp
                                [ D.SBind sp Nothing  (D.XApp sp (D.XApp sp (D.XVar sp catMapVar) patFunc) l') ]
 
+       -- [e | let s, Q]               => let s in [e | Q]
+       S.XListComp sp exp (S.LCLet ss : qs)
+        -> do  lc'     <- rewriteListComp $ S.XListComp sp exp qs
+               rewriteLetStmts sp ss lc'
 
        _ -> panic stage
                $ pprStrPlain $ "rewriteListComp failed for\n    " % x % "\n"
hunk ./src/Source/Desugar/MergeBindings.hs 14
 
 
 -- Merge -------------------------------------------------------------------------------------------
--- | Merge consecutive pattern bindings into a single binding.
+-- | Merge consecutive pattern bindings into a single binding, i.e:
+--
+--  f = \x y -> match \Delta_1
+--  f = \a b -> match \Delta_2
+--  
+-- Is rewritten to:
+--
+--  f = \x y -> match \Delta_1, \Delta_2[a/x, b/y]
+--
 --     TODO: throw an error if merged bindings aren't consecutive
 --     TODO: check for overlapping patterns            
 --
hunk ./src/Source/Exp.hs 317
 -- | Qualifiers for list comprehensions.
 data LCQual a
        = LCGen         Bool (Pat a) (Exp a)            -- ^ Generator.                 p <\@- e, p <- e
-       | LCLet         (Stmt a)                        -- ^ Local declaration.         Stmt can only be SBind.
+       | LCLet         [Stmt a]                        -- ^ Local declarations.        Stmts can only be SBind.
        | LCExp         (Exp a)                         -- ^ Guard.
        deriving (Show, Eq)
hunk ./src/Source/Parser/Exp.hs 341
 pLCQual
  =     -- LET VAR ...
        do      pTok K.Let
-               pTok K.CBra
-                lcq    <- pLCQualLet
-               pSemis
-               pTok K.CKet
-                return $ lcq
+                ss     <- pCParen (Parsec.sepEndBy1 pLCQualLet pSemis)
+                return $ LCLet ss
 
  <|>   -- PAT <- EXP
        -- overlaps with let and guard
hunk ./src/Source/Parser/Exp.hs 358
   <?>   "pLCQual"
 
 
-pLCQualLet :: Parser (LCQual SP)
+pLCQualLet :: Parser (Stmt SP)
 pLCQualLet
  =     do      var     <- pOfSpace NameValue pVar
                pats    <- Parsec.many pPat1
hunk ./src/Source/Parser/Exp.hs 363
                stmt    <- pStmt_bindVarPat var pats
-               return  $ LCLet stmt
+               return  stmt
 
  <|>   do      pat     <- pPat
                stmt    <- pStmt_bindPat2 pat
hunk ./src/Source/Parser/Exp.hs 367
-               return  $ LCLet stmt
+               return  stmt
 
 
 pLeftArrowIsLazy :: Parser Bool
hunk ./src/Source/Pretty.hs 407
        LCGen False p x -> p % " <- " % x
        LCGen True  p x -> p % " <@- " % x
        LCExp x         -> ppr x
-       LCLet ss        -> "let { " % ss % "}"
+       LCLet ss        -> "let {\n" 
+                               %> ";\n" %!% ss
+                               %  "\n}"
 
 
 -- Stmt --------------------------------------------------------------------------------------------
hunk ./src/Source/Rename.hs 497
                (qs', xx')      <- renameListComp qs xx
                return  (LCExp x' : qs', xx')
 
-       LCLet{} : _
-        -> panic stage "renameListComp: LCLet not finished"
+       LCLet ss : qs
+        -> withLocalScope
+        $ do   ss'             <- renameSs ss
+               (qs', xx')      <- renameListComp qs xx
+               return  (LCLet ss' : qs', xx')
 
                
 -- Projections -------------------------------------------------------------------------------------
adddir ./test/14-Desugar/ListComp/T171-LetInComp
}

Context:

[Haddock fixes
benl@ouroborus.net**20100927191453
 Ignore-this: 39d419d932b9e332816eaf508f905dfc
] 
[Store type defs from imported and class decls in squid env 
benl@ouroborus.net**20100926212754
 Ignore-this: 9f02046bf55c153cb2baab4040ff3fc5
] 
[Push problem generation into constraint slurper
benl@ouroborus.net**20100926191642
 Ignore-this: 228cf496b63a9be4dfc51c064acef041
] 
[Move problem construction closer to slurper
benl@ouroborus.net**20100926175820
 Ignore-this: f126995685faf6a8f61a464b33090745
] 
[Break out type Solution and InstanceInfo types into their own module
benl@ouroborus.net**20100926110949
 Ignore-this: d1c0fa9a1eb4f4191be428b9bac1c042
] 
[Move Problem module
benl@ouroborus.net**20100926105825
 Ignore-this: 3414d28960f99ca04c22293e06a3dcda
] 
[Comments only
benl@ouroborus.net**20100926105603
 Ignore-this: 1d8841566369e0a5a2a8a738e7622280
] 
[Push Problem type into solver
benl@ouroborus.net**20100926104909
 Ignore-this: 6892631fc10aeff340a53c84c1e551db
] 
[Start cleaning up interface to type inferencer
benl@ouroborus.net**20100925130038
 Ignore-this: 6e99d5c6d400c56f73ca12f16f8276a2
 We want to provide a map of type sigs to the inferencer so it
 can look them up and do the check every after every generalisation.
] 
[Remove unused CTopEffect and CTopClosure constructors from Constraint.Exp
benl@ouroborus.net**20100925122151
 Ignore-this: 95e179dd4a16e2091bc30d729dd52f00
] 
[Add SigMode for =: :> and <: type sigs. (exact, more-than, less-than)
benl@ouroborus.net**20100925121118
 Ignore-this: fbd8883584cd1fd4df3ddfde2d74baa2
] 
[Follow changes in Rover example
benl@ouroborus.net**20100921130956
 Ignore-this: f2a064ce9cbe4fbaba78a2069b9abbbe
] 
[Cleanup show instances
benl@ouroborus.net**20100921130359
 Ignore-this: 35a979afc6697e4dc9645ba6bf6384b1
] 
[Merge modules for boxed and unboxed versions of numeric types
benl@ouroborus.net**20100921095807
 Ignore-this: 614e0ef2b8f5a1252779d0ed0982f650
] 
[Add Word64 lib
benl@ouroborus.net**20100921094158
 Ignore-this: db68192a3be89976444a77b4b1f54d71
] 
[Fix Styrene example
benl@ouroborus.net**20100920031358
 Ignore-this: fbaaa0016150e34eb434d4e71983f147
 Some of this was working around compiler bugs, but we want the
 code in the regression test suite.
] 
[Remove more unused prim stuff from runtime
benl@ouroborus.net**20100919141525
 Ignore-this: 4775aaeccb742e7d91f7dd1e78a1e800
] 
[Remove unneeded Float.c from runtime
benl@ouroborus.net**20100919135909
 Ignore-this: ef94694631f2004c6b7a989934b0b91c
] 
[Implement the rest of the numeric boxing/unboxing directly in Disciple
benl@ouroborus.net**20100919135755
 Ignore-this: 42cc359b3d0ac9659d598fc173dd0d22
] 
[pokeOn wants a Mutable constraint
benl@ouroborus.net**20100919133723
 Ignore-this: 36093a96fc27abcdf4423dbea267a1db
] 
[Add nifty higher kinded peekOn and pokeOn fns
benl@ouroborus.net**20100919133337
 Ignore-this: f051866e3e8f00b6be4966ba16bb90bb
 
  pokeOn        :: forall (t :: % -> *) a
        .  t %r1 -> Ptr# a -> a -(!e1)> ()
        :- !e1 = !Write %r1
 
  peekOn        :: forall (t :: % -> *) a
        .  t %r1 -> Ptr# a -(!e1)> a
        :- !e1 = !Read %r1
 
 These are used to read and write to a pointer, while assigning
 the Read or Write effect to the primary region of some other type.
 
 The fancy part is that by using the higher kinded binding variable
 (t :: % -> *) we can ignore what constructor the type of interest
 is actually using.
 
] 
[Follow changes in Float64 test
benl@ouroborus.net**20100919121257
 Ignore-this: f97807226cdf14fe80ef6d7d12f0d651
] 
[Cleanup Float64 lib
benl@ouroborus.net**20100919114055
 Ignore-this: a3bb0e688726627d7155faf723f8d42b
] 
[Remove now unused code from runtime
benl@ouroborus.net**20100919084933
 Ignore-this: 4de5759bac9fcc97d1da56dd12a2cdab
] 
[Add missing quantifiers
benl@ouroborus.net**20100919083450
 Ignore-this: 96c8a063477d775753826c4634726ff1
] 
[During elaboration, don't attach eff vars to fns if there are no added effects
benl@ouroborus.net**20100919081942
 Ignore-this: 5594429b0d19a0597d5134cfddcff543
] 
[wibble
benl@ouroborus.net**20100919075045
 Ignore-this: ede8faaa50942b0acfdb6c4610116fd9
] 
[Add the actual Floating class
benl@ouroborus.net**20100919074948
 Ignore-this: 336dc835e7f292b4b576ec87f813caa8
] 
[Shift trig fns into Floating class
benl@ouroborus.net**20100919074927
 Ignore-this: 9beec45a9a8e0598ebbdae4e4e2e5d50
] 
[wibble
benl@ouroborus.net**20100919073149
 Ignore-this: 1d341347da0d3265e1fa7def0a7b5d90
] 
[Cleanup Float32 library
benl@ouroborus.net**20100919072150
 Ignore-this: bda5c87ce68b791b3a00a8f60c404435
] 
[Add missing files
benl@ouroborus.net**20100919065112
 Ignore-this: bc1539062e17fdb6ffcca1a849e9a1c2
] 
[More cleanup to numeric types library
benl@ouroborus.net**20100919064915
 Ignore-this: 2b007f9e57a476cf2c8c129529db0336
] 
[Remove boxed prims for Int32 from Core.Prim
benl@ouroborus.net**20100919053417
 Ignore-this: 71ef49e2f9122cf566f83dbfcc8f93ad
] 
[Use builtin Disciple prims to implement Int library
benl@ouroborus.net**20100919053225
 Ignore-this: d8d3107bf89eecb7b0f365af20b588de
] 
[Fix #82: ReadT only applies to the material parameters of a data type
benl@ouroborus.net**20100919050951
 Ignore-this: 4baee4ad7e9e574f6c02f0c51dcea548
] 
[Add missing boot file
benl@ouroborus.net**20100919043830
 Ignore-this: bfe80f3d44ed26d1b1a3b4c3b999a510
] 
[Attach DataDefs to TyCons
benl@ouroborus.net**20100919043743
 Ignore-this: 9c383f22e7aa190f51dcfe93cb2fa841
] 
[Cleanup test code
benl@ouroborus.net**20100919042316
 Ignore-this: 616837a09ef3eacdc9e8a72eff657445
] 
[Add arg to TyCon to hold its DataDef
benl@ouroborus.net**20100919042243
 Ignore-this: 36b05f27826cbcab62e60fda42968adb
] 
[Accept test wibbles
benl@ouroborus.net**20100919013356
 Ignore-this: e59a263977db528ae417bf5198ebf530
] 
[Only data type constructors have data defs, not the fn type constructor as well.
benl@ouroborus.net**20100919012829
 Ignore-this: 980b7f94337833725b87b69ab0fe2766
] 
[Accept test wibbles
Ben.Lippmeier@anu.edu.au**20100919012231
 Ignore-this: b1bb1f4010098027dc3f3b889565baaa
] 
[Fix #102: Use materiality of vars when crushing Shape constraints
benl@ouroborus.net**20100919011516
 Ignore-this: 86044be3c5ee67b7d0e734993ecdd38d
] 
[Add Word32 type
benl@ouroborus.net**20100917132947
 Ignore-this: b98057db81c1b4d3002049f28c300015
] 
[Follow lib changes in primes test
benl@ouroborus.net**20100917121103
 Ignore-this: e8f31342b2baada8cd7933e77fe7de0a
] 
[Follow changes to numeric library location
Ben.Lippmeier@anu.edu.au**20100917120534
 Ignore-this: afed7693a89e0a9368c7c24fa5bcda1
] 
[Cleanup numeric libraries
Ben.Lippmeier@anu.edu.au**20100917115559
 Ignore-this: 100866efbf05ef3b4bbd37c3ca332a75
] 
[Remove dodgy pow function from Data.List
Ben.Lippmeier@anu.edu.au**20100917111526
 Ignore-this: 13d1c70c5a555edcdd72f5e21ec30143
] 
[Cleanup Int library
Ben.Lippmeier@anu.edu.au**20100917105104
 Ignore-this: ea593dcbeb0fa37aa3d7f9a1d0a73423
] 
[Also annotate data type defs with sets of immaterial vars
benl@ouroborus.net**20100914130031
 Ignore-this: 337e2b9e33837dac9937633494dd1e8
] 
[Don't call back on Data.String when constructing exceptions in the RTS
benl@ouroborus.net**20100914071644
 Ignore-this: d351d12d40bb57c963926072fc2f2c6e
] 
[Let application of suspended partial apps through debug code
benl@ouroborus.net**20100914041751
 Ignore-this: f0d70389de24f707ab1331d6a279efbb
] 
[Fix #define for debug mode
benl@ouroborus.net**20100914041536
 Ignore-this: 2b4de2fc1629f8bf1ce7c4023215609c
] 
[Fix top level unboxed CAFs
benl@ouroborus.net**20100914040823
 Ignore-this: db58c73ae91358199793ada38735cbc8
] 
[Fix conflicts
benl@ouroborus.net**20100914034429
 Ignore-this: cf31a10eed3633d1f5428b319fce9e1d
] 
[Fix crash due to wrong XArg projections being used
benl@ouroborus.net**20100914034231
 Ignore-this: d5bd79cecc4a514a377317c3292a60d7
] 
[Fix debugging code in GC
benl@ouroborus.net**20100914024235
 Ignore-this: bc2ad6b6bc055b4215fd4e666a10ce9f
] 
[Add listMap smoke test
benl@ouroborus.net**20100914023608
 Ignore-this: 50746c9c1fb98b4f6a4a8eca06499f3d
] 
[Wibble on smoke tests notes
benl@ouroborus.net**20100914022840
 Ignore-this: cadbccc5d0ae5c22fe4bd3aec390c5d4
] 
[Add more prelude based smoke tests
benl@ouroborus.net**20100914022722
 Ignore-this: ffc3a891f8ee3fab40c108925e11766d
] 
[Add -no-implicit-handler to avoid using the Prelude's exception handler
benl@ouroborus.net**20100914020834
 Ignore-this: ff57b4d9f115ef3a5ad16354e61b9d86
 This is also implied with -no-implicit-prelude
] 
[Add smoke tests to run before sanity tests
benl@ouroborus.net**20100914014604
 Ignore-this: 726cc786020e3debf65b023630ef58bf
] 
[Follow sea literal changes in pretty printer
benl@ouroborus.net**20100913095924
 Ignore-this: bbfd9564dfcf764180fbbb18b5a0d993
] 
[Break literal handling out of Sea expressions
benl@ouroborus.net**20100913035549
 Ignore-this: d6a86cbf36037ef2b4aca34274692b3c
] 
[Ditch old ObjType type and annot super vars with their actual types
benl@ouroborus.net**20100912103711
 Ignore-this: e5033c8c70ed02a5cf427aabb55b4382
] 
[Add -dump-pretty-sea-types flag
benl@ouroborus.net**20100912083607
 Ignore-this: 796047ac16c98c40311d84f6090ea5b7
] 
[Fix Sea pretty printing of imported CAFs
benl@ouroborus.net**20100912081859
 Ignore-this: 7c056f41fc3cb396dfbf4958d4c64dce
] 
[Fix annot of CAF vars in Core.ToSea
benl@ouroborus.net**20100910064443
 Ignore-this: 40576161f4c2a9620db0f60c2859fd71
] 
[Remove unused XLabel construtor
benl@ouroborus.net**20100910051720
 Ignore-this: 9a527e0ad51e848103a7794d977439fc
] 
[Give supers NSuper names during Core.ToSea
benl@ouroborus.net**20100910051437
 Ignore-this: 429daf0bb4b83d00644cdfdfd5f3297e
] 
[Formatting only
benl@ouroborus.net**20100910045156
 Ignore-this: c430537480d823a55f899b7a1dbda811
] 
[Fix CAF initialisation
benl@ouroborus.net**20100910044955
 Ignore-this: 2fb37d75c4a6cff59d3a2ed30f3d199a
] 
[Break out different XVar versions into Name type
benl@ouroborus.net**20100910035846
 Ignore-this: c8514a9dceaf34f51b64eb8257a089bf
] 
[Purge unused XSlotCAF
benl@ouroborus.net**20100908105918
 Ignore-this: 48cde40b4fb69d5d3e5203aba0f5e53b
] 
[LLVM : Remove LMUnion from LlvmType. Its unsupported in llvm-2.8.
Erik de Castro Lopo <erikd@mega-nerd.com>**20100911042312
 Ignore-this: f5e4c1ca2caf47caaabe75ab0734d8b0
] 
[Runtime : Make sure pointer size is known in Object.h.
Erik de Castro Lopo <erikd@mega-nerd.com>**20100910123727
 Ignore-this: 5b1725b6435ec3e7e57905aa3f03952d
] 
[Runtime : Drop UInt and Tag types replacing them with C99 types.
Erik de Castro Lopo <erikd@mega-nerd.com>**20100910113659
 Ignore-this: e18b4e444a5496ee19dea737de841a74
] 
[Move Sea pretty printer to DDC tree and cleanup
benl@ouroborus.net**20100908103836
 Ignore-this: f64a3004860b6978a6f0120903542b83
] 
[wibble
benl@ouroborus.net**20100907144243
 Ignore-this: 9e658281e3a1c24ac5d3c300a6e7464a
] 
[Follow changes in array library
benl@ouroborus.net**20100907144140
 Ignore-this: 1663ed22918733964970118bf8fa7872
] 
[More cleanups to Array library
benl@ouroborus.net**20100907142604
 Ignore-this: 7d1b69a7fb89356a1433b176fc75f8ce
] 
[Start cleaning up array library
benl@ouroborus.net**20100907132703
 Ignore-this: e77da55ab43a12eb8fbcc33d93162881
] 
[Sea.Slot : Fix type of XVarCAF.
Erik de Castro Lopo <erikd@mega-nerd.com>**20100907130855
 Ignore-this: 1454ef34f9971cf024da97ea9354fda7
] 
[LLVM : Commit current (broken) state.
Erik de Castro Lopo <erikd@mega-nerd.com>**20100907090307
 Ignore-this: a8ce5edb2b81744e1998c8fba2ed7b4
] 
[LLVM : Add LMUnion type to David Terei's LLVM type defs.
Erik de Castro Lopo <erikd@mega-nerd.com>**20100907085136
 Ignore-this: 16753a1d7e016ae551774764eb3fbdad
] 
[XSuper wasn't being used
benl@ouroborus.net**20100907082031
 Ignore-this: d7185b8e8702216358b02f0432cb8729
] 
[LLVM : Pull type aliases into LlvmM monad.
Erik de Castro Lopo <erikd@mega-nerd.com>**20100907074517
 Ignore-this: af4d315044b351495dfa9e97fc87f3ad
] 
[Ditch unused XTagThunk constructor
benl@ouroborus.net**20100907072609
 Ignore-this: 64103a4ef328e67cec7628176d87252d
] 
[Dump unused XAtom and cleanup
benl@ouroborus.net**20100907072416
 Ignore-this: d881618c89777d913a5c06586e1326a3
] 
[Remove duplicated field projection stuff
benl@ouroborus.net**20100907071756
 Ignore-this: 1db52e8b3ed776704b240c6597c212e2
] 
[Make allocation fns primops
benl@ouroborus.net**20100907071539
 Ignore-this: 6a8f5c14a422812f9013f193618c7965
] 
[Ditch unused allocation constructors
benl@ouroborus.net**20100907065937
 Ignore-this: d63a1fa0199f377916b62604c7220b4c
] 
[Make XBox and XUnbox primitives
benl@ouroborus.net**20100907065029
 Ignore-this: 1763a24ca15a5e441c43283aa543f5b1
] 
[make XForce a primop
benl@ouroborus.net**20100907064059
 Ignore-this: c1a657f3e07e53fc30d31ec1bc0a5434
] 
[Remove code for suspensions, we're currently handling them as regular function calls
benl@ouroborus.net**20100907063447
 Ignore-this: 66f0bd3ea9e5269a3b99621461d02ca
] 
[Fix warnings
benl@ouroborus.net**20100907062820
 Ignore-this: f40597718d6a7c9b08a214e1dff72c99
] 
[Move function application primops to Exp.Prim
benl@ouroborus.net**20100907062604
 Ignore-this: f930ddcc09fdf685028366d4931cd63c
] 
[Break up primops type
benl@ouroborus.net**20100907051630
 Ignore-this: f51c930778ad097de68a851e2ead3a6a
] 
[Break prims and types from Sea.Exp module
benl@ouroborus.net**20100907045132
 Ignore-this: 1d92ff511cb0e8bd88cbffdfc745d58b
] 
[Move Sea.Exp to DDC tree and start cleaning up
benl@ouroborus.net**20100907044715
 Ignore-this: 75a78434f2ce4d8ce0706b319b0b7d6
] 
[Cleanups to Data.List
Ben.Lippmeier@anu.edu.au**20100907040019
 Ignore-this: fc43159181bf07001c2d6b8efc37ec74
] 
[Formatting 
benl@ouroborus.net**20100906124401
 Ignore-this: a156e4637eff8e907c85f7a35fd29993
] 
[Cleanup Base library module
benl@ouroborus.net**20100906123203
 Ignore-this: 1190fa69c90b0fa6fba539267b3d1e8b
] 
[Finish annot of data decls with material vars
benl@ouroborus.net**20100906120756
 Ignore-this: 1a6e83768e848c1348ad41e1369b6c8
] 
[Hook up material vars annotator to data type elaboration pass
benl@ouroborus.net**20100906112536
 Ignore-this: ad056291f337333928203748f99f482d
] 
[Give all the data defs to the elaborator in one go
benl@ouroborus.net**20100906111913
 Ignore-this: 898af50e4fc10d69dfb39f15a685f1d9
] 
[Use globs throughout Desugar.Elaborate
benl@ouroborus.net**20100906103729
 Ignore-this: cb570eedb717504f6e8f50981fa19a07
] 
[Use globs in Desugar.Elaborate
benl@ouroborus.net**20100906091756
 Ignore-this: 80dc8c2ca9722092e47055e684026f18
] 
[More on desugared globs
Ben.Lippmeier@anu.edu.au**20100905122147
 Ignore-this: 1c42402e3785220bdc39811ad66d33b3
] 
[Add glob insertion function
Ben.Lippmeier@anu.edu.au**20100905120608
 Ignore-this: 32ba1a2db057e04c4bcac6f9471b3f55
] 
[Start on desugared globs
Ben.Lippmeier@anu.edu.au**20100905113256
 Ignore-this: 99b91952e00b2d11ac0db917ed5c97c
] 
[Remove old dir
Ben.Lippmeier@anu.edu.au**20100905111247
 Ignore-this: 97584b403d950a8da08ec61d65fe1868
] 
[Spit-shine on the desugared boilerplate.. uh?
Ben.Lippmeier@anu.edu.au**20100905111035
 Ignore-this: d7b1dde7b8ca3d5a5a4b8c996cf48099
] 
[Start cleanup up transformer
Ben.Lippmeier@anu.edu.au**20100905100954
 Ignore-this: b50cf31ea835ae599812d9f37fa28ef6
] 
[Move desugared boilerplate to DDC tree and cleanup
Ben.Lippmeier@anu.edu.au**20100905095229
 Ignore-this: 77cd300d6e790eb23f2808f547eca380
] 
[Cleanup desugared pretty printer
Ben.Lippmeier@anu.edu.au**20100905093103
 Ignore-this: 1832773fce362be0e2bcb3d3386fad6d
] 
[Haddock fix
benl@ouroborus.net**20100905065457
 Ignore-this: 8254618ea573587c6d7bc5d441f88385
] 
[Fix warnings
benl@ouroborus.net**20100905065049
 Ignore-this: 2809da44e3fbf42027690983ba1ab93d
] 
[Ditch separate kind inferencer pass
benl@ouroborus.net**20100905064315
 Ignore-this: 1dd85eb8c062cee6f0f219f0679bce56
] 
[Start merging kind inferencer stub with elaborator
benl@ouroborus.net**20100905061339
 Ignore-this: 5f2d1fe997bbc919f9e1ccc6dff572ae
] 
[Split out kind constraints into own module
benl@ouroborus.net**20100905055006
 Ignore-this: 1931c7f8d607470b57415936c2bcf7a6
] 
[Break out elaboration of eff and clo into own module
benl@ouroborus.net**20100905054340
 Ignore-this: be537235d83d2b24992ea7e7b7bda41f
] 
[Break out elaborator state into own module
benl@ouroborus.net**20100905051759
 Ignore-this: 12f451a13d924896c07baaa70d752acf
] 
[Move Desugar.Elaborate to DDC tree and fix warnings
benl@ouroborus.net**20100905051502
 Ignore-this: d4693c2636dfa2403459822667b340f6
] 
[Move desugar utils to DDC tree and cleanup
benl@ouroborus.net**20100905050306
 Ignore-this: 69c25e568a3e8b3b1d13e1d57cf57072
] 
[Move Desugar.Bits to DDC tree and cleanup
benl@ouroborus.net**20100905045158
 Ignore-this: d5b43eb750f0948090735ad42386fb12
] 
[Use DataDefs for foreign data types.
benl@ouroborus.net**20100905035752
 Ignore-this: 68ae3e91f70c6fdb5bda53e47320561a
] 
[Fix warnings
benl@ouroborus.net**20100904105313
 Ignore-this: f83b50da37d5e9399cf8d61f7f0bd3b0
] 
[More on material vars
benl@ouroborus.net**20100904104325
 Ignore-this: 826dd9b9250d187d05a58cbb072118af
] 
[Remove remaining o-boot files.
Erik de Castro Lopo <erikd@mega-nerd.com>**20100904084003
 Ignore-this: 8fb5a873780d3bf5306cce5469918d21
] 
[Doc wibble
benl@ouroborus.net**20100904071736
 Ignore-this: c47ac8d48dbdfdb54ae093cf2907d88e
] 
[Explicitly export stuff from DDC.Type.Builtin so haddock shows it
benl@ouroborus.net**20100904071206
 Ignore-this: 98cd0ae0025db7f09d568b1d0d6ba392
] 
[Add field to data def to hold sets of material and immaterial vars
benl@ouroborus.net**20100904071140
 Ignore-this: cfa7e997b401e858c9079f41606a9a4f
] 
[More on material vars and annotate data type params with their kinds
benl@ouroborus.net**20100904064827
 Ignore-this: d33db0e6fcda7e6f0b640111c232f30c
] 
[LLVM : Add boxing of strings.
Erik de Castro Lopo <erikd@mega-nerd.com>**20100904042129
 Ignore-this: 181a53521209d672d0fc366fa5718026
] 
[Add missing module
benl@ouroborus.net**20100903121108
 Ignore-this: af1e0710948b3e1fd4c279819f6e6a78
] 
[Don't duplicate instantiateT in Core.Dictionary
benl@ouroborus.net**20100903120609
 Ignore-this: 838b3977a9eb2fff853b12706e69aa2c
] 
[Cleanup docs for type operators and given them consistent names
benl@ouroborus.net**20100903115218
 Ignore-this: 369d9a36e98b0b7e68cae4cb2f638da
] 
[remove old dir
benl@ouroborus.net**20100903105526
 Ignore-this: eef88009c037ce6c8855a5f0c59540b1
] 
[Move MaskLocal to DDC tree and fix warnings
benl@ouroborus.net**20100903105459
 Ignore-this: d6002b41d84dd67fa40b3adc0b32a4c6
] 
[Move fns that collect things from types to own dir
benl@ouroborus.net**20100903105053
 Ignore-this: 1d89072678b73df1a94b98021e45148c
] 
[Clean out some trash from the utils dir
benl@ouroborus.net**20100903011247
 Ignore-this: fbf79bb46545e39436072504a7ce6ea3
] 
[LLVM : Pull globals into LlvmM monad.
Erik de Castro Lopo <erikd@mega-nerd.com>**20100903113551
 Ignore-this: 895c3f489f2277020a0756a49b882706
] 
[Runtime : User saner definition and usage of FunPtr.
Erik de Castro Lopo <erikd@mega-nerd.com>**20100903094013
 Ignore-this: 97b2a5b3536eeb293e97897bb4205e86
] 
[LLVM : Fix passing of parameters to functions.
Erik de Castro Lopo <erikd@mega-nerd.com>**20100903084836
 Ignore-this: 67385f9b9c382a9b0bd41f36b0cfd9f6
] 
[LlvmM : Cleanup and refactoring.
Erik de Castro Lopo <erikd@mega-nerd.com>**20100903084723
 Ignore-this: f21dfc7e7cbacf0eafb4b64804056334
] 
[Fix warnings
benl@ouroborus.net**20100903004834
 Ignore-this: 4934ecf7f38ed241f2c8f40818a58959
] 
[Move type operators to their own dir
benl@ouroborus.net**20100903002305
 Ignore-this: fd72ded63c0a408270034d64b2f636ba
] 
[Clean o-boot files
benl@ouroborus.net**20100903001157
 Ignore-this: 3316b8f50ab8051bd33094f2b343fffe
] 
[LLVM : The LlvmM monad becomes smarter.
Erik de Castro Lopo <erikd@mega-nerd.com>**20100902120455
 Ignore-this: 63d04f00bec217b5b8042816c460bcd5
] 
[During data elaboration, link in effects of funs in constructors
benl@ouroborus.net**20100902115736
 Ignore-this: 4b6e6c2d188f65a2666546c01fbc53ab
 
 For a data type like
  data Foo a b
        = MkFoo (a -> b)
 
 This used to force the embedded function to be pure, but I think
 it's better if it just elaborates to:
 
  data Foo a b !e1 $c1
        = MkFoo (a -(!e1 $c1)> b)
 
 This way there should be less of a chance of having to worry about the 
 effect or closure annots. We could still require the contained function
 to be pure by adding a constraint directly to the alternative.
 
] 
[Accept test wibbles
benl@ouroborus.net**20100902115524
 Ignore-this: a54499da89bdec2d9f477a2b7515bc8
] 
[This time for sure
benl@ouroborus.net**20100902115106
 Ignore-this: 9c830660f752c2515d836fc223b1704a
] 
[Fix reporting of arity problems in pattern matching
benl@ouroborus.net**20100902114235
 Ignore-this: e19bdbec444fe5d8e030cddd910ffb0a
] 
[Fix elaboration of data types containing functions
benl@ouroborus.net**20100902113110
 Ignore-this: e5124f46015f4afde845d3595303c369
] 
[Accept test wibbles
benl@ouroborus.net**20100902105226
 Ignore-this: 2075a2960864bc221300ddf366a29c4d
] 
[Must reactivate effect classes after crushing
benl@ouroborus.net**20100902104416
 Ignore-this: 6baf2a01f0716927b3cf661639f390a7
] 
[Don't revisit effect classes that will never be crushable
benl@ouroborus.net**20100902102849
 Ignore-this: b3118893be58236dc621a98198a54c82
] 
[Refactor crushClass in grinder
benl@ouroborus.net**20100901131453
 Ignore-this: 6e494796dbeb255e80cb09f6f234e8e2
] 
[Field initialisers are broken
benl@ouroborus.net**20100901121935
 Ignore-this: 58e5885ed69a72d41bc91bbf91da81e8
] 
[Give up on field initialiser for now
benl@ouroborus.net**20100901121524
 Ignore-this: dde52306e51e2c21170abe3cbeee47e
 I would still like to support them in the long run, but as a source
 only feature that doesn't require special support in the Desugared IR.
] 
[Accept test wibbles
benl@ouroborus.net**20100901115941
 Ignore-this: 67de54e1c7cda7e1ee6883c22372b7e7
] 
[Haddock fixes
benl@ouroborus.net**20100901115331
 Ignore-this: ca1c29c09b72f11282ac1a1f31f1e9b
] 
[Fix handling of constructor types in solver
benl@ouroborus.net**20100901114917
 Ignore-this: bf662734dacc784dcdba6ec70f894e4b
] 
[Fixup the kinds on data constructors we get from the parser
benl@ouroborus.net**20100901104506
 Ignore-this: b80fe7f2e5f8de2c90974cf013b7cf54
] 
[Print top level type in kindOfType panic messages
benl@ouroborus.net**20100831142809
 Ignore-this: d0bbcb6a767c4eb85121882c45b0ff69
] 
[Fix elaboration of data type defs, and add source pretty printer
benl@ouroborus.net**20100831140750
 Ignore-this: d2c32627d0760e1dfff7a621637d7fca
] 
[Redo constraint slurping for patterns
benl@ouroborus.net**20100830120734
 Ignore-this: 1244efc292a16ce05d9dbe2896034516
] 
[Fix elaboration of data type definitions
benl@ouroborus.net**20100830085231
 Ignore-this: a9601e5a04d188e213a823b67a63579f
] 
[In progress fixing elaboration of data type decls
benl@ouroborus.net**20100830072322
 Ignore-this: aa10591bf680b63e31b37cd5895f744d
] 
[Fix renaming of data definitions
benl@ouroborus.net**20100829050235
 Ignore-this: 3e65ed34a44cae0516a6fca738c71ff3
] 
[Working on getting Desugared IR to use common DataDef type
benl@ouroborus.net**20100828115743
 Ignore-this: 32d530d1f5a6d45d105e852aec20fa21
] 
[In progress moving making Desugar.Exp use common DataDefs
benl@ouroborus.net**20100828065833
 Ignore-this: c048912074494dd229d66447bcb574fd
] 
[LLVM : Refactoring.
Erik de Castro Lopo <erikd@mega-nerd.com>**20100902085041
 Ignore-this: a19986f735111bf6d2235d552beeb919
] 
[LLVM : Lift initialisation and usage of LlvmM into outLlvm function.
Erik de Castro Lopo <erikd@mega-nerd.com>**20100901111644
 Ignore-this: 5af2df5aace1a43166fc397068b7866c
] 
[LLVM : Refactor. Pull unewUnique* into LlvmM monad.
Erik de Castro Lopo <erikd@mega-nerd.com>**20100830120515
 Ignore-this: dc1bdd21f04aa6809e5cabaeedfb4024
] 
[Temp commit.
Erik de Castro Lopo <erikd@mega-nerd.com>**20100830113639
 Ignore-this: c305156cd3fb5517c88809e7afb5d45c
] 
[LLVM: Start handling of SSwitch.
Erik de Castro Lopo <erikd@mega-nerd.com>**20100830095334
 Ignore-this: f6116ffeefe8de0065d58d28ed611fe2
] 
[Split ACaseSusp into ACaseSusp and ACaseIndir for easier LLVM code gen.
Erik de Castro Lopo <erikd@mega-nerd.com>**20100830051212
 Ignore-this: 45985004289942c5f63d9f3381bf794b
] 
[LLVM : Rename objectTag to getObjTag.
Erik de Castro Lopo <erikd@mega-nerd.com>**20100829123256
 Ignore-this: 8bc5c13258eeeea3bd51af295d97853e
] 
[LLVM : Add code to box Bool# variables.
Erik de Castro Lopo <erikd@mega-nerd.com>**20100829122710
 Ignore-this: beee40bc983d428cc85e37703d4faa64
] 
[Runtime : Replace remaining uses of _TAG with _getObjTag.
Erik de Castro Lopo <erikd@mega-nerd.com>**20100829112909
 Ignore-this: f783b34834b577f87372a153cfa6b95b
] 
[Runtime : _Tag and _getObjTag did the same thing. Drop _TAG.
Erik de Castro Lopo <erikd@mega-nerd.com>**20100829103645
 Ignore-this: 37cfa550c7aa51871b6f091b44b95fd3
] 
[LLVM : Add function for retrieving tag from an Obj.
Erik de Castro Lopo <erikd@mega-nerd.com>**20100829100223
 Ignore-this: e088636eca7cab2ca18c35b1fe0feac0
] 
[Runtime : Fix typo in comment.
Erik de Castro Lopo <erikd@mega-nerd.com>**20100829075808
 Ignore-this: fd4ebfc391c3e979da7f776fdbceca83
] 
[Start on handling of material/immaterial vars
benl@ouroborus.net**20100828060705
 Ignore-this: 1e2c1ebe5cb47591f8bf85b380ddc788
] 
[Make forall construction utils take Binds instead of Vars
benl@ouroborus.net**20100828045615
 Ignore-this: c0611f15e36468eb929f138840238bc6
] 
[Comments only
benl@ouroborus.net**20100828044423
 Ignore-this: 429f1daa87501b1e1275275c5deaca9c
] 
[Use common data decl in core expressions
benl@ouroborus.net**20100828044137
 Ignore-this: 18d2bd4cac90a6c523e07e69973d8591
] 
[Remove dead comment
benl@ouroborus.net**20100828041900
 Ignore-this: 355f247e98f6556856f23a7728fe9070
] 
[Start splitting data type code into its own module
benl@ouroborus.net**20100828041539
 Ignore-this: bfe5c70c04ea395f11842df9276b263b
] 
[Move inferencer error and location stuff to DDC tree and fix warnings
benl@ouroborus.net**20100828035459
 Ignore-this: 9861b0a656f73062d8a2865f4b783f92
] 
[Fix warnings
benl@ouroborus.net**20100828032715
 Ignore-this: e8aa0ad1190d0ba7464bbe20bfed55a3
] 
[Comments and cleanup to projection crusher
benl@ouroborus.net**20100828031659
 Ignore-this: 996028ac3e5e7d280f3643768a6a704d
] 
[Comments and cleanup to shape crusher
benl@ouroborus.net**20100828030546
 Ignore-this: cd054c522b146ff56b241d0cba07def0
] 
[Runtime : Rearrange object layout to ensure optimal alignment on 64 bit.
Erik de Castro Lopo <erikd@mega-nerd.com>**20100827100623
 Ignore-this: d351067ec1433c55f4aaa23d991f3cc8
] 
[Accept test wibbles
benl@ouroborus.net**20100827085758
 Ignore-this: a674866b06e1af4b6768c1213c29ef
] 
[Partial fix for T102: CopyIntFun
benl@ouroborus.net**20100827051856
 Ignore-this: ec35a4e836dc55760c6b4442573b2354
] 
[Runtime : Add Obj32 typedef variant of Obj for Int32/Float32/Enum.
Erik de Castro Lopo <erikd@mega-nerd.com>**20100827082214
 Ignore-this: 68e2c2d3dbe95a567b449d674ccba92a
] 
[Makefile : Make war depend on runtime libs.
Erik de Castro Lopo <erikd@mega-nerd.com>**20100827075602
 Ignore-this: ca3ab9feb1658e2f6fdde94cd017d265
] 
[Accept test wibbles
benl@ouroborus.net**20100827022449
 Ignore-this: f070425eb1ee622da5fff80f889658f
] 
[These are fixed
benl@ouroborus.net**20100826120311
 Ignore-this: bc26b07141d1b74c49330c2753903e0d
] 
[Fix purification of WriteT error message
benl@ouroborus.net**20100826115247
 Ignore-this: 9d40f2feeb7a6e0fa99530eb31b910e1
] 
[Fix error detection for non purifiable top level effects
benl@ouroborus.net**20100826114554
 Ignore-this: 39c85e8b05aca4d843e9caab979891cf
] 
[Fix purification. Prelude compiles again now.
benl@ouroborus.net**20100826113639
 Ignore-this: 139762d7ab7a1e03eecf2db0fadc0427
] 
[fix bug in tracer
benl@ouroborus.net**20100826082608
 Ignore-this: 2f1c40626e7d6b972ad6dc6b04056f2c
] 
[Fix crushing of Pure fetters
benl@ouroborus.net**20100826074452
 Ignore-this: 4cc6e443a6ca13a0a376a3374819140a
] 
[Name wibbles
benl@ouroborus.net**20100826072332
 Ignore-this: e05a428cde657b590f33813dee94e3ca
] 
[Fix crushing of deep writes
benl@ouroborus.net**20100826072101
 Ignore-this: e94e88028621e08ac554059601c1998c
] 
[Fix crushing of deep reads
benl@ouroborus.net**20100826071436
 Ignore-this: 6ba5b30b6b854b093670c67f8b753de7
] 
[Fix crushing of ReadH effects
benl@ouroborus.net**20100826070256
 Ignore-this: 46f531449d074178026dd92dd67aaed2
] 
[Cleanup shape crusher
benl@ouroborus.net**20100826050504
 Ignore-this: 4cc7fadcda3b7f25aa13df5ddcb9a75d
] 
[Cleanup unifier
benl@ouroborus.net**20100826042728
 Ignore-this: 50e9b231529ef9c901fb379e1e3163e5
] 
[Break module dependency cycle and remove boot fie
benl@ouroborus.net**20100826035339
 Ignore-this: 2ec09a0723a3844ef8e2da3fd41f360f
] 
[Shift SinkIO module into Graph tree
benl@ouroborus.net**20100826034918
 Ignore-this: 2325497297e53f81d9ea3d898901ffe1
] 
[Move newVar fns back into Base module
benl@ouroborus.net**20100826034307
 Ignore-this: f36a4ce6a20f8aeb83816bc75e5d997b
] 
[Shift naming fns into graph module
benl@ouroborus.net**20100826033228
 Ignore-this: 7fc7b20cacf6cded954a35b7afc428b7
] 
[Standardise order of args in graphops
benl@ouroborus.net**20100826032538
 Ignore-this: 3415f3b447466b48285882899d21e966
] 
[Hold graph cid counter in an IORef
benl@ouroborus.net**20100826031052
 Ignore-this: 92d71dbd8e6a1a9386c008246ee8b94f
] 
[Cleanup rest of graph ops
benl@ouroborus.net**20100826030340
 Ignore-this: e9d92d17df58daef604cb15f1533177f
] 
[Cleanp more graph ops
benl@ouroborus.net**20100825142335
 Ignore-this: 61cf82c894862a5b4b4b0676113494ec
] 
[Cleanup graph ops
benl@ouroborus.net**20100825135239
 Ignore-this: b60adbc7cc2ab15e6482326a8a8efd23
] 
[Shift some graph ops to graph module
benl@ouroborus.net**20100825123939
 Ignore-this: c305af124a1aed431354ecb2effe5df4
] 
[add missing boot file
benl@ouroborus.net**20100825121951
 Ignore-this: b2d60e3cdd6c94f68311dc58e956e911
] 
[in progress
benl@ouroborus.net**20100825121243
 Ignore-this: da9c58754112b1dd4e3b4162992234fa
] 
[fix warnings
benl@ouroborus.net**20100825093414
 Ignore-this: 23cb75fa87749c52dcab84253135ca2a
] 
[Split up solve state code
benl@ouroborus.net**20100825093018
 Ignore-this: 311282f2d2e07812119b7bd87dcc6bf3
] 
[Cleanup merger
benl@ouroborus.net**20100825081237
 Ignore-this: f44292dc14031b66edf28486ff1b618e
] 
[Cleanup class aliasing code
benl@ouroborus.net**20100825075341
 Ignore-this: 5b437c156dc66b0676416a25fe11d964
] 
[Split naming fns from Type.Class into own modules
benl@ouroborus.net**20100825073107
 Ignore-this: be740d257fd2a9444bc2a88ce666994e
] 
[Start redoing effect merging thing
benl@ouroborus.net**20100825054845
 Ignore-this: 50f4a03dc7abb37ae37c85168bca964d
] 
[Runtime : Fix more compiler warnings.
Erik de Castro Lopo <erikd@mega-nerd.com>**20100826112414
 Ignore-this: 1a95a67f4d317a2282b2f96207ed3b32
] 
[Runtime: Fix primArrayU_Int_fill. Fix compiler warnings.
Erik de Castro Lopo <erikd@mega-nerd.com>**20100826104407
 Ignore-this: 108bfdf6bfc558844f9433f91ea01050
] 
[Split out type graph modules into DDC tree
benl@ouroborus.net**20100825045352
 Ignore-this: f8ff565a6675ef70f6568cacf0f1f74b
] 
[Start threading environment through Desugar.ToCore
benl@ouroborus.net**20100822081715
 Ignore-this: 8a86528ae069e5b457f62c0786506692
] 
[Lexer.hs : Fix warnings on big endian CPUs.
Erik de Castro Lopo <erikd@mega-nerd.com>**20100824110510
 Ignore-this: 94b01b24a991e115386507181de0f8ca
 
 Lexer.hs is generated from Lexer.x, but alex-2.3.3 and earlier generate
 Haskell code that gets warning messages under ghc-6.12.1 and later on
 big endian machines.
 
 A patch for alex has been submitted:
     http://trac.haskell.org/haskell-platform/ticket/141
] 
[LLVM : Add handling for XApply.
Erik de Castro Lopo <erikd@mega-nerd.com>**20100824085630
 Ignore-this: fa77424bf2006324c5866682985e20ec
] 
[Add test/Broken-skip/T186-BadErrorMsg.
Erik de Castro Lopo <erikd@mega-nerd.com>**20100824083825
 Ignore-this: ebd7d4873b848f7356371ba707db650e
] 
[Split up Desugar.ToCore into more modules
benl@ouroborus.net**20100821070130
 Ignore-this: 60a026f4d89e2695d5f43db7017f3ae0
] 
[Move Desugar.ToCore to DDC tree
benl@ouroborus.net**20100821063441
 Ignore-this: 936a6c71632fdab20fda2c90161732aa
] 
[Comments and formatting
benl@ouroborus.net**20100821053030
 Ignore-this: 3823a9a7e798213e53cef410932cef4
] 
[LLVM: Fix unboxing of Int32 CAFs.
Erik de Castro Lopo <erikd@mega-nerd.com>**20100820234925
 Ignore-this: ec703aae92e0ed434f3bb517bf3c548
] 
[Sea.Slot : Fix type when converting from XVar to XVarCAF.
Erik de Castro Lopo <erikd@mega-nerd.com>**20100820143233
 Ignore-this: ae8d0483cceff0c987dc9c83d554d406
] 
[LLVM : Add module init code for CAFs.
Erik de Castro Lopo <erikd@mega-nerd.com>**20100820122451
 Ignore-this: 32070c2941574bb877430c6e20163b9e
] 
[Unbreak Desugar.ToCore
benl@ouroborus.net**20100820113754
 Ignore-this: 83aa524bd5efd00e367a2fd89e33950b
] 
[Fix warnings in Desugar.ToCore
benl@ouroborus.net**20100820110936
 Ignore-this: eaf8d51614c979435c8e3efb42898de1
] 
[Move Desugar.Exp to DDC tree
benl@ouroborus.net**20100820105213
 Ignore-this: 49a5cd38ad9046c2f53f9ed5293caadd
] 
[Fix warnings
benl@ouroborus.net**20100820103045
 Ignore-this: 6e3ef1efaa0bbb2df89a0a371a61be84
] 
[LlvmM : Do the right thing with multiline strings.
Erik de Castro Lopo <erikd@mega-nerd.com>**20100820112624
 Ignore-this: 53ffb653bf6b09b60790a101db3970aa
] 
[Enable warnings with all build flavours
benl@ouroborus.net**20100820100314
 Ignore-this: ebb785c6b0157a0b043473e3ef2319fa
] 
[Fix warnings
benl@ouroborus.net**20100820100152
 Ignore-this: 492f4a76ce167cdc262396a3671608b0
] 
[Sea.Init : Fix types in makeInitCaf.
Erik de Castro Lopo <erikd@mega-nerd.com>**20100818120031
 Ignore-this: c07e1f1d69a089c5e84e8b60b162bb29
] 
[LLVM : Add functions boxAny and unboxAny.
Erik de Castro Lopo <erikd@mega-nerd.com>**20100818081811
 Ignore-this: 2a6b1e10db245b4fe5ccbdb50ccde668
] 
[Haddock fixes
benl@ouroborus.net**20100818043818
 Ignore-this: d96307c0ab46a77db577df1ee42d65a3
] 
[Cleanup export of type constraint solution stuff
benl@ouroborus.net**20100818031148
 Ignore-this: 7397ffe4f4b5c1578eff467cde9472cb
] 
[Comments and formatting
benl@ouroborus.net**20100814115536
 Ignore-this: cef946a96138ce46951c4996576ba5af
] 
[LLVM: Addition of boxed Int now working.
Erik de Castro Lopo <erikd@mega-nerd.com>**20100817123501
 Ignore-this: 263de11d5eb9e239c4582392191e476d
 
 Big change here was the addition of the LlvmM monad which drastically
 eases code generation and allows code to be generated by a sequence of
 calls to combinator-like functions.
] 
[Accept test wibbles
benl@ouroborus.net**20100814115003
 Ignore-this: 5549c61b3cf5507c5f0437acc41f2e01
] 
[Don't show module ids on locally bound vars when pretty printing types
benl@ouroborus.net**20100814113328
 Ignore-this: c53102eaf3543c0615094ca17ce60122
] 
[LLVM: Commit current state.
Erik de Castro Lopo <erikd@mega-nerd.com>**20100813102544
 Ignore-this: dd8d29cc30231e2e9b2124874594ca50
] 
[accept test output
benl@ouroborus.net**20100813080542
 Ignore-this: 5888d86005eb0dc500fedb892a6c7eec
] 
[Add broken test case
benl@ouroborus.net**20100813080028
 Ignore-this: f35ba7cf623ce422a306aee9948b4724
] 
[Test cleanup
benl@ouroborus.net**20100813075451
 Ignore-this: 5733f144c6ddf4b3cb8aa095a00fcd7c
] 
[Test cleanup
benl@ouroborus.net**20100813075049
 Ignore-this: ef4d031e1d4cc2444038a022faa32ad4
] 
[Drop _constrainForm prefixes now that's the only version
benl@ouroborus.net**20100813073802
 Ignore-this: 772daf28646e4fbcd23b8f3677785360
] 
[Comments only
benl@ouroborus.net**20100813072626
 Ignore-this: 484542d9fc1c94d06a99775afcdfe63b
] 
[New constraints from type class defs go under existing foralls
benl@ouroborus.net**20100813072023
 Ignore-this: e254226623c5cae2fcc008e55aacffca
] 
[Clean out TFetter code
benl@ouroborus.net**20100813070826
 Ignore-this: 3438d8d740531756814432c36d4728e5
] 
[Rewrite feedType with TConstrain form
benl@ouroborus.net**20100813064953
 Ignore-this: 76a1f36082ce394b66a3621613726281
] 
[Use TConstrain form in type graph linker
benl@ouroborus.net**20100809122719
 Ignore-this: aad81cb39d347285ce2e500dae5249b2
] 
[Use TConstrain form in parser
benl@ouroborus.net**20100809121557
 Ignore-this: e9fa7ebd2e1e9dc911d6bf3ba2ddff2b
] 
[Use TConstrain form in fillLambdas
benl@ouroborus.net**20100809113551
 Ignore-this: 26e63e4d74593e5445c1872e6f62339
] 
[Comments only
benl@ouroborus.net**20100809112836
 Ignore-this: 2147afcc95ceafd8182a8e15e678312a
] 
[Rewrite Desugar.Project with TConstrain form
benl@ouroborus.net**20100809112228
 Ignore-this: 2c5fcd9f0ea298d08375894bde988e9e
] 
[Comments and formatting
benl@ouroborus.net**20100809110830
 Ignore-this: 681738fb5d080c0b3a55dd5f5f787e6e
] 
[Cases in superOpTypePart
benl@ouroborus.net**20100809105015
 Ignore-this: 376192b8f7414f06ec23399032509ff8
] 
[Remove unused cases in dropXTau
benl@ouroborus.net**20100809104626
 Ignore-this: e3aea2c19e133251f74586102bae602e
] 
[Fix annot of vars with more-than bounds in Type.ToCore.conversion
benl@ouroborus.net**20100808123313
 Ignore-this: 5fa18a5f02d029d737c8ef018f3fbff4
] 
[Push TConstrain form into Type.ToCore conversion
benl@ouroborus.net**20100808120821
 Ignore-this: f40dc2ffe63b72e143f17cb45340cb41
] 
[Delete old stripping module
benl@ouroborus.net**20100808113718
 Ignore-this: afe4de51730b6979c28e41e7533b2f6b
] 
[Shift stripping fn
benl@ouroborus.net**20100808113607
 Ignore-this: f105faee4c74b2cca1036ca2a748508d
] 
[Pare down on stripping fns
benl@ouroborus.net**20100808113004
 Ignore-this: f6fc7a33e652632a62df67f318df8fa2
] 
[Ditch dodgy type stripping function
benl@ouroborus.net**20100808111704
 Ignore-this: 8e16c8b631ce9c649f22f2f0f7ae17df
] 
[Cleanups in Desugar.ToCore
benl@ouroborus.net**20100808105101
 Ignore-this: 922ca39de86e593c3611d3ea8ea4ac2a
] 
[Move type bits to DDC tree
benl@ouroborus.net**20100808103138
 Ignore-this: bedd16130ec422ccf5877ae654decf6d
] 
[Commenting of core type checker
benl@ouroborus.net**20100808100531
 Ignore-this: 91bbd251d7424dcde70280aa3165f889
] 
[Comments only
benl@ouroborus.net**20100808094503
 Ignore-this: 2eb7ce3367b976c977dd4c3aab4286cc
] 
[Fix warnings
benl@ouroborus.net**20100808094432
 Ignore-this: b41c473df3666008abc12b02cc522186
] 
[Use new type substitutor in core checker
benl@ouroborus.net**20100808093146
 Ignore-this: 6803327801693f313125fb22825a9c4b
] 
[Delete old core renamer
benl@ouroborus.net**20100808085854
 Ignore-this: 83a05b005ef766720afff454b41811bd
] 
[Delete old core beta reducer
benl@ouroborus.net**20100808085718
 Ignore-this: c0a7395140f56206fc5f721e7a0d4a6c
] 
[Delete old core subsumption checker
benl@ouroborus.net**20100808085449
 Ignore-this: 1620ec6c76e520ffac81f5092dcace75
] 
[Delete old core type packer
benl@ouroborus.net**20100808085205
 Ignore-this: e9f20ee2f42fab9c40a62c33dfcec005
] 
[Test cleanup
benl@ouroborus.net**20100808053619
 Ignore-this: cd7758dbf8da42cbac7f7c7b26e1f82
] 
[Use new packer in Desugar.ToCore
benl@ouroborus.net**20100808053047
 Ignore-this: 59a6ec7845749fdcd409a4eadfa6b7fb
] 
[Test cleanup
benl@ouroborus.net**20100808053011
 Ignore-this: 9271f6b3424f957272f83737c978d8a5
] 
[Rewrite some uses of old type packer
benl@ouroborus.net**20100808050639
 Ignore-this: 3d6d29ba2ce00165316193d2f7c757a2
] 
[wibbles
benl@ouroborus.net**20100807141114
 Ignore-this: 7fd6d0d18c2d25d3249866f975ee18fc
] 
[wibbles
benl@ouroborus.net**20100807135806
 Ignore-this: 38f86abbfdadf69cf1ab01ac10fd238c
] 
[Make Danger have kind Danger :: [] -> $, and fix hacks in raytracer
benl@ouroborus.net**20100807134158
 Ignore-this: e08bac0eb66d0f17ed30a32b458d87ed
] 
[Fixed test
benl@ouroborus.net**20100807130509
 Ignore-this: f5a0b2d22d57356cabca35c1be12612b
] 
[Delete old bug-ridden core type checker, happy days.
benl@ouroborus.net**20100807124912
 Ignore-this: 234de014cf41a1aa0b0c8428e070310e
] 
[Use new linter in core binding floater
benl@ouroborus.net**20100807124355
 Ignore-this: d700f700439171229166714d3af603e8
] 
[Comments and Haddock fixes
benl@ouroborus.net**20100807123336
 Ignore-this: 19666e0143383b74c6596a3505163747
] 
[Refactor core type checker to use EffectStore
benl@ouroborus.net**20100807122836
 Ignore-this: 60f96b3d65adc2280a64fec0f4fa54ad
] 
[More ops in EffectStore
benl@ouroborus.net**20100807115953
 Ignore-this: 307bf8c87ac07eb4bf75b54d695c785b
] 
[Start on EffectStore
benl@ouroborus.net**20100807114601
 Ignore-this: 2422ab5076c1e09ff92fe3f7386f8933
] 
[Rename DDC.Core.Lint -> DDC.Core.Check
benl@ouroborus.net**20100807110855
 Ignore-this: dccb278cbe2363c082ad3640ab9d5f18
] 
[Linter: comments and formatting
benl@ouroborus.net**20100807103320
 Ignore-this: b993e9a3b944c88ee3b1825ede4f4418
] 
[Linter: start doing proper scope checking
benl@ouroborus.net**20100807100532
 Ignore-this: 75ae67f53558346cc78c1854f8032985
] 
[Comments only
benl@ouroborus.net**20100806133311
 Ignore-this: 769b4dd45ecac9e5a7b225ebd5aa935c
] 
[Thread through original witness vars in lambda lifter
benl@ouroborus.net**20100806132252
 Ignore-this: 2e9d2a4fe87f1e96c32bdea66c022d3e
] 
[Also bind vars in other namespaces in lambda lifter
benl@ouroborus.net**20100806131533
 Ignore-this: cf8c455cd37eede05f089388cf68d0b7
] 
[Fix more bugs in Desugar.ToCore types from solver don't account for discharged contexts
benl@ouroborus.net**20100806124745
 Ignore-this: a1882685a386c8d5ffd1a6dbb486be6a
] 
[Fix bugs in Desugar.ToCore
benl@ouroborus.net**20100806123442
 Ignore-this: c3b321989e4f15aded61d0090c734040
] 
[Run linter after lambda lifter
benl@ouroborus.net**20100806110653
 Ignore-this: e551d674974bfec222551650ac862399
] 
[Use new linter in lambda lifter
benl@ouroborus.net**20100806103020
 Ignore-this: f4f23bc7d49c03653d3ed13661744dda
] 
[Cleanup lambda lifter and make it use the types/kinds attached directly to vars
benl@ouroborus.net**20100805134941
 Ignore-this: 918509305813f26d266a50d986052894
] 
[Start cleaning up lambda lifter
benl@ouroborus.net**20100805055421
 Ignore-this: 82dd5bfee8d244671a5bd9811a5b307f
] 
[Remove Junk BindTypes modules
benl@ouroborus.net**20100805051102
 Ignore-this: d6d4baf477c4a4b2cbd030fc1de9ab13
] 
[Add FreeVarsXT which returns the whole Exp/Type node
benl@ouroborus.net**20100805130713
 Ignore-this: f51c07b8f8e092e14bb05cb00e815a6b
] 
[Make freeTVars behave as advertised
benl@ouroborus.net**20100805125425
 Ignore-this: d067cba00d290d2d3e2d1c62e78d446
] 
[Cover some missing cases in Type.FreeVars
benl@ouroborus.net**20100805123538
 Ignore-this: 2a63ff0b6d94836b28da459d2b0cbd27
] 
[Don't return data constructors in freevars sets
benl@ouroborus.net**20100805122600
 Ignore-this: 270ddb7ffae3d8d88ebe8944273c4cc1
] 
[Shift some predicates to Core.Util.Bits
benl@ouroborus.net**20100805052930
 Ignore-this: 5a8c0cb1ca7cbc6550466a961a68cdcd
] 
[Print caller in linter panic messages
benl@ouroborus.net**20100805051141
 Ignore-this: 4434377bf39a6e73c805ed2b73b6152
] 
[Unlose TForalls from XLAMs
benl@ouroborus.net**20100804063840
 Ignore-this: f1dc473a30d5c40cc6cef89e23dea09a
] 
[Moar!
benl@ouroborus.net**20100804062023
 Ignore-this: b0897f600921350d894d3afc97a10d79
] 
[Moar new linter
benl@ouroborus.net**20100804061849
 Ignore-this: fd8ae1be6feb211b3004ccb7cf1198ff
] 
[Use new linter in Core.Bind
benl@ouroborus.net**20100804061612
 Ignore-this: a35190f90a6fab7bf7585fdf19302877
] 
[Use new linter in Core.Glob
benl@ouroborus.net**20100804061302
 Ignore-this: e8c833f64fa6696571a1ee393e7527c
] 
[Use new linter in Core.OpType
benl@ouroborus.net**20100804060920
 Ignore-this: b9172fb3c5e224ae87b8ac3e12976198
] 
[Linter: also trim closures in type of fn during application
benl@ouroborus.net**20100804055826
 Ignore-this: 82fdd58ba0e441d266d17efba493b33c
] 
[Use new linter when converting to sea, and handle higher ranked types
benl@ouroborus.net**20100804055009
 Ignore-this: 47407768ec6d02f89cc32ac7ebd6068f
] 
[Fix pretty printing for higher ranked types
benl@ouroborus.net**20100804053623
 Ignore-this: a94046093191fa06b8a7db06554c87e4
] 
[Use boxed/unboxed type conversions from new linter
benl@ouroborus.net**20100804045252
 Ignore-this: a2a0dac5ce006fc93aeb6d9cced7a94
] 
[Enable new linter as default
benl@ouroborus.net**20100804042846
 Ignore-this: cbb6d9432a8286db72247539e133c321
] 
[Linter: fix checking for CAF effects
benl@ouroborus.net**20100804042518
 Ignore-this: d07c94e01cc73c52474654b185b3b289
] 
[Linter: Change order of subs to fix { x1 : %r1 ; x2 : $c1 } <: ($c1 :> (x : %r1))
benl@ouroborus.net**20100804030541
 Ignore-this: 9161babf6140983c1c3743da4d6a6a55
] 
[Linter: add subsumption rule to accept (x : $c1) <: $c1
benl@ouroborus.net**20100804024608
 Ignore-this: 2828ca3670959668c51b42fe9e9159b9
] 
[Linter: Annotate vars with their types if they haven't already got them
benl@ouroborus.net**20100804023049
 Ignore-this: f7f708d1d58bbcce63f27403e918c78f
] 
[Unbreak T5
benl@ouroborus.net**20100803113656
 Ignore-this: 74402b40e4fcaf10de337831181429e3
] 
[wibbles
benl@ouroborus.net**20100803113051
 Ignore-this: df27dda3ee9f8362b4ee2e5fa29bcb42
] 
[Haddock fixes
benl@ouroborus.net**20100803111922
 Ignore-this: eab6cc04675136b4d7436328d830c486
] 
[Linter: Refactor to rebuild the linted AST
benl@ouroborus.net**20100803111606
 Ignore-this: 90ecc640e9dfaac779558647b9e126e7
] 
[Linter: redo checkKind and checkType to return checked versions as well as their super/kinds
benl@ouroborus.net**20100803095249
 Ignore-this: 9812c1cfe784c25fc492ba0adfa02864
] 
[Linter: reflatten effects after crushing
benl@ouroborus.net**20100802114422
 Ignore-this: cb5431036b7a6fc86dbed8eae828c8c1
] 
[Linter: Use subsumption when checking effects against annots
benl@ouroborus.net**20100802113540
 Ignore-this: e5a91f619594cf692cd599f06bd6c60b
] 
[Clear out some trash
benl@ouroborus.net**20100802112956
 Ignore-this: 736c14117ac777a2ceb0e8dbe75b6f2f
] 
[Fix warnings
benl@ouroborus.net**20100802110756
 Ignore-this: 3ed104b440fc34669960b5d89a9ffa04
] 
[Handle more-than constraints in new linter
benl@ouroborus.net**20100802105439
 Ignore-this: 4f75b14677e62ff704f522a2307ae01a
] 
[Turn new linter off as default again
benl@ouroborus.net**20100801120456
 Ignore-this: 9c5290d51046d0f9ee886e1312703c47
] 
[Add makeTFreeBot to handle trimmed types containing effect vars
benl@ouroborus.net**20100731024154
 Ignore-this: 3650ab175fe34b3ad9b768d701fd1030
] 
[Use ClosureStore during linting
benl@ouroborus.net**20100731013645
 Ignore-this: 3b4118af2f94b60eea4832c28770fc68
] 
[Start on closure store
benl@ouroborus.net**20100727035241
 Ignore-this: de55727d1abaf0acbf7af97936036802
] 
[LLVM: Progress on implementing infrastructure for backend.
Erik de Castro Lopo <erikd@mega-nerd.com>**20100722091838
 Ignore-this: 4457776c93e40f41c7c2f0a214a56031
] 
[LLVM: Progress towards boxing Int32.
Erik de Castro Lopo <erikd@mega-nerd.com>**20100719120132
 Ignore-this: 4123625972803ba7fc6c14857bf12018
] 
[LLVM : First, most simple function actually working.
Erik de Castro Lopo <erikd@mega-nerd.com>**20100718121833
 Ignore-this: b779a4d158ee7add44cb574fc691f54e
] 
[Linter: must compare closures to annots in their original form
benl@ouroborus.net**20100718070247
 Ignore-this: 2d8185b2b3a8a55910065bf4bb1b77b1
] 
[Linter: don't lose value type vars from TDanger terms in closures
benl@ouroborus.net**20100718062857
 Ignore-this: 15c3b846dd14ddda9a4fb97e9e97f6f0
] 
[LLVM: Assigning from XVar to XSlot now works.
Erik de Castro Lopo <erikd@mega-nerd.com>**20100718070355
 Ignore-this: a55babe49701dd8965227f501b3d0eda
] 
[LLVM: Redo runtimeEnter/runtimeLeave.
Erik de Castro Lopo <erikd@mega-nerd.com>**20100718065356
 Ignore-this: 292fc9f3d91d7911a40f36da82f18e15
] 
[Add new subsumption checker
benl@ouroborus.net**20100718055107
 Ignore-this: a1f1325f3a37bb5fbefcec42e6a0414d
] 
[Linter: trim closure terms in function types before comparing closures
benl@ouroborus.net**20100718043045
 Ignore-this: 2052f3e436e0478c02c8908cc0fe842b
] 
[Linter: Handle witness sums
benl@ouroborus.net**20100718014919
 Ignore-this: ea689e664b6e1a623cb7266626a5da32
] 
[Runtime : Cleanup/simplify _ENTER, _LEAVE and _S macros.
Erik de Castro Lopo <erikd@mega-nerd.com>**20100718045234
 Ignore-this: de285b30c744e8a97deacd0b8a9eedbc
] 
[Linter: Add crushing for HeadLazy and fix kind of MkPurify
benl@ouroborus.net**20100718012915
 Ignore-this: 84189b1c8364087e56115c7ad1e8e418
] 
[Linter: pack closures from free vars, and allow kinds in supers to be non atomic (eg for MkFunctor)
benl@ouroborus.net**20100718005335
 Ignore-this: 639fa2b7fd2058afdf4bf452ba6da286
] 
[Linter: Do effect masking and handle deep read/write/const/mutable in crusher.
benl@ouroborus.net**20100717123906
 Ignore-this: 932990bd047645a106a1c4e97503fa95
] 
[Fix typo in comment of generated LLVM code.
Erik de Castro Lopo <erikd@mega-nerd.com>**20100717074834
 Ignore-this: fb6b72fe9a408a7c8d1328cf7408add8
] 
[Remember to flatten types for recursive fns when converting to core.
benl@ouroborus.net**20100717061655
 Ignore-this: 592b98a0782690045cb3d8d6392f8017
] 
[Linter: Handle unboxed string literals
benl@ouroborus.net**20100717061637
 Ignore-this: 436377f6dd652e39cf22dfbcc68d4147
] 
[Linter: Allow type var to be rebound with the same kind.
benl@ouroborus.net**20100717040924
 Ignore-this: 4d1c67c2cdb83e6bd949051113e496ab
] 
[Handle closure sums in core linter.
benl@ouroborus.net**20100717034402
 Ignore-this: e824c5b929530414f49b7bddc103e488
] 
[Fix #184: When compiling (-c) generate main() if needed.
Erik de Castro Lopo <erikd@mega-nerd.com>**20100717042030
 Ignore-this: 20ec465add4a791f47c2df99c70c2b42
] 
[Add test/10-Driver/T184-MissingMain.
Erik de Castro Lopo <erikd@mega-nerd.com>**20100717041156
 Ignore-this: d5541cdacded5bc69461fe1146f15e3c
] 
[Handle primops in new core linter
benl@ouroborus.net**20100717032559
 Ignore-this: b34805611f73a97d166218e3e9e6b58a
] 
[Haddoc fix
benl@ouroborus.net**20100717025429
 Ignore-this: 2904eae88d2de4fcf8e4515f02dd0e6c
] 
[Trim elaborated closures
benl@ouroborus.net**20100717023749
 Ignore-this: 80d569d303514a61bc73396389282ae1
] 
[Llvm: Sync to GHC upstream.
Erik de Castro Lopo <erikd@mega-nerd.com>**20100717022934
 Ignore-this: 917d126ced5a41be4078ad62959ee0f2
] 
[Fix warnings
benl@ouroborus.net**20100717023021
 Ignore-this: 2f1146f86224a2810857e3a31aaf618b
] 
[Remove more PHackery.
Erik de Castro Lopo <erikd@mega-nerd.com>**20100717021853
 Ignore-this: d229f80dee832c784e8faea118fcfef0
] 
[Llvm: Fix warnings. Minor progress.
Erik de Castro Lopo <erikd@mega-nerd.com>**20100717015408
 Ignore-this: e2c9764c60973f110302f0c09bb998fe
] 
[More TObj consistency fixes.
Erik de Castro Lopo <erikd@mega-nerd.com>**20100716071055
 Ignore-this: a3d8f48540df7d2edff7b03943e60c05
] 
[Convert PHarckery to PBlank or PComment wherever possible.
Erik de Castro Lopo <erikd@mega-nerd.com>**20100714083841
 Ignore-this: 62244cab1a72508bd7549a16be542dfb
] 
[Use TObj consistently.
Erik de Castro Lopo <erikd@mega-nerd.com>**20100713101237
 Ignore-this: 3e77c743b957b62268b1bfc25a0e54
 
 Previous usage of TObj was inconsistent. When converted to C code,
 sometimes TObj meant an Obj* and sometimes an Obj**.
] 
[Main.Llvm : Fix unused imports.
Erik de Castro Lopo <erikd@mega-nerd.com>**20100713085329
 Ignore-this: 446e17356acab12fd3975af13d2d2b01
] 
[Purge SHackery. Unused and incompatible with LLVM.
Erik de Castro Lopo <erikd@mega-nerd.com>**20100713082129
 Ignore-this: 6bdeaece8806c718e73aa566c42e41ac
] 
[Main.Llvm : Commit current state before fixing TObj.
Erik de Castro Lopo <erikd@mega-nerd.com>**20100713075155
 Ignore-this: 66b8d290bb1eabd9e16f174bca12092c
] 
[Split code from Main.Llvm into Llvm.Runtime and Llvm.Util.
Erik de Castro Lopo <erikd@mega-nerd.com>**20100713010554
 Ignore-this: 79c2a528de4c4e1d5c14bcd632180083
] 
[src/Llvm* : Sync to GHC upstream and fix compile.
Erik de Castro Lopo <erikd@mega-nerd.com>**20100712232220
 Ignore-this: f66a93dc99812d8733b176e744881cae
] 
[Start converting SAssign to LLVM.
Erik de Castro Lopo <erikd@mega-nerd.com>**20100712125335
 Ignore-this: d43f954d40a0993ef4875f5263cce81b
] 
[Sea.Init : Type fixes.
Erik de Castro Lopo <erikd@mega-nerd.com>**20100712125050
 Ignore-this: 268bb6725f22ed6a6b7b5615d86b700c
] 
[Unique : Make sure symbol name has a dot to prevent clashes.
Erik de Castro Lopo <erikd@mega-nerd.com>**20100712124937
 Ignore-this: 32e61e1ddf6ee23ea639483710df4f9
] 
[Main.Llvm : Progress and cleanup.
Erik de Castro Lopo <erikd@mega-nerd.com>**20100712081949
 Ignore-this: a09723ac45f4082e6f9d2df93324813e
] 
[Add ISeaGlobal to VarInfo to aid LLVM backend.
Erik de Castro Lopo <erikd@mega-nerd.com>**20100712075234
 Ignore-this: 1d60ea3094d6a4958a2f9b08e29a6d5f
] 
[Sea.Init : Fix Sea types of CAF objects.
Erik de Castro Lopo <erikd@mega-nerd.com>**20100712070612
 Ignore-this: ba3a959bb764d163dda653337f13b541
] 
[LLVM: Generate LLVM code to replace _ENTER and _LEAVE macros used in Sea backend.
Erik de Castro Lopo <erikd@mega-nerd.com>**20100712033526
 Ignore-this: 95c7558e4f8c27b3183c2875cf6d22a
] 
[Llvm: Merge in changes pending for upstream.
Erik de Castro Lopo <erikd@mega-nerd.com>**20100712030758
 Ignore-this: 6d3440312f3c31471418daf5c0fe4a74
] 
[Hack Llvm.GhcReplace.Unique to accept Sea labels.
Erik de Castro Lopo <erikd@mega-nerd.com>**20100710140911
 Ignore-this: e03e27886aa270aac8e97609682f012b
] 
[Redo makeInitCaf in terms of 'Stmt a'.
Erik de Castro Lopo <erikd@mega-nerd.com>**20100710134524
 Ignore-this: 509eb83db3c5c0461d834ddf04702112
] 
[Make Sea module init function return void.
Erik de Castro Lopo <erikd@mega-nerd.com>**20100710115347
 Ignore-this: 9f759021ed00d3390ac42b3ba04e5cff
] 
[Progrss on LLVM backend.
Erik de Castro Lopo <erikd@mega-nerd.com>**20100708095412
 Ignore-this: 16c5b59f8cab5cd87af840fc91f6c9a9
] 
[Add pointerBits and pointerBytes to Config module.
Erik de Castro Lopo <erikd@mega-nerd.com>**20100708094636
 Ignore-this: c3123aebf93e5476e8f1378cf615d374
] 
[src/Llvm*: Sync to GHC version.
Erik de Castro Lopo <erikd@mega-nerd.com>**20100707205725
 Ignore-this: 1442d8e4dfa205ceeaebe878b1a58500
] 
[src/Llvm : Add LMStructDef to LlvmVar.
Erik de Castro Lopo <erikd@mega-nerd.com>**20100706131543
 Ignore-this: 2f6da5e739a35eb0ae3325f667559785
] 
[Start generating some real LLVM code.
Erik de Castro Lopo <erikd@mega-nerd.com>**20100705205644
 Ignore-this: aa1a9720436ce0efd4e7b74bce207a48
] 
[src/Llvm/Types.hs : Sync from upstream.
Erik de Castro Lopo <erikd@mega-nerd.com>**20100705203417
 Ignore-this: 5c89c07a67736094214f637bd3a3f6ab
] 
[src/Llvm/ : Sync to GHC version.
Erik de Castro Lopo <erikd@mega-nerd.com>**20100703140439
 Ignore-this: 14b24cb12b673cf45232fca02bb78996
] 
[Generate C header when compiling via LLVM.
Erik de Castro Lopo <erikd@mega-nerd.com>**20100703122824
 Ignore-this: 667446298512abe80864af271219a3ed
] 
[Cleanup and simplify LLVM backend tool invocation.
Erik de Castro Lopo <erikd@mega-nerd.com>**20100703110454
 Ignore-this: 713f824acf047b0ad9239d784ba36e0c
] 
[Export makeSeaHeader from Main.Sea.
Erik de Castro Lopo <erikd@mega-nerd.com>**20100703093233
 Ignore-this: 16c4c98c8949a169d0a61950a4ccc24f
 
 In order to have full interoperability between object code from the C and
 LLVN backends, we need to generate the same C header file from the LLVM
 backend as we get from the C backend.
] 
[Generate (incomplete) LLVM IR, compile and assemble.
Erik de Castro Lopo <erikd@mega-nerd.com>**20100702115444
 Ignore-this: 7dd848c5f6dcf096792bf4a763cf4354
] 
[Sea.Invoke : Fix stage name.
Erik de Castro Lopo <erikd@mega-nerd.com>**20100702105822
 Ignore-this: 25ac65ce40c07138b89aa033a9057f3
] 
[Add David Terei's LLVM AST code from GHC.
Erik de Castro Lopo <erikd@mega-nerd.com>**20100702082436
 Ignore-this: 24baf3c099a42a02fe12dd855536da9a
] 
[Main.Compile : Add a comment.
Erik de Castro Lopo <erikd@mega-nerd.com>**20100702080650
 Ignore-this: c48ae1c585b1d2855929e7596f12e105
] 
[Add support code needed for the LLVM AST from the GHC sources.
Erik de Castro Lopo <erikd@mega-nerd.com>**20100702075504
 Ignore-this: 3c00d63acb834456f1348fa87d785a13
] 
[Remove a Parsec.try from the Module parser.
Erik de Castro Lopo <erikd@mega-nerd.com>**20100630091550
 Ignore-this: 24cba728a2a2a188c56f88bad990a511
 
 Do this by creating a combinator in Base.hs that wraps a Parsec.try
 around a parser that accepts a Var from a given NameSpace followed by
 a HasType token. If this parser fails it consumes no input.
] 
[Move Main.Invoke to Sea.Invoke.
Erik de Castro Lopo <erikd@mega-nerd.com>**20100620203625
 Ignore-this: 2e6ea4eaca4eac8920b03c5e68719b9a
] 
[Add file src/Main/LLVM.hs and hook it in.
Erik de Castro Lopo <erikd@mega-nerd.com>**20100620125418
 Ignore-this: d692f3f3639fa1ea00c875d3055acaad
] 
[Refactor viaSea code from Main.Compile to Main.Sea.
Erik de Castro Lopo <erikd@mega-nerd.com>**20100620121242
 Ignore-this: 7b7bddb5eb44a1543d042013411219c7
] 
[Add a -via-llvm command line option.
Erik de Castro Lopo <erikd@mega-nerd.com>**20100620080505
 Ignore-this: d2756d4462c1eddb0c8b25844a346b68
] 
[Add broken higher order fn vector multiplication example
benl@ouroborus.net**20100618072853
 Ignore-this: efab513fd3af0817609f95b7eb5b1b5f
] 
[Follow changes in Data.Array
benl@ouroborus.net**20100618072057
 Ignore-this: fa6d63aed498025f87343bf98e6dd25f
] 
[wibble to BackPatch example
benl@ouroborus.net**20100618070250
 Ignore-this: d6d6b0b2fc97b602a1d694d7ff4944d6
] 
[Cleanup Data.Array
benl@ouroborus.net**20100618070205
 Ignore-this: 9e23ec256f495f478aa740c29a0f4eba
] 
[Add broken backpatching factorial test
benl@ouroborus.net**20100618052345
 Ignore-this: 51470b87ed04c7f5ac7945cdf381e27
] 
[Makefile wibbles
benl@ouroborus.net**20100616105215
 Ignore-this: 2f4b6b2487c9f738d834c78452dae609
] 
[Add version lists to nightly build makefile
benl@ouroborus.net**20100616103049
 Ignore-this: 4cbe997c1f425beaa56a0a8a0f3520a
] 
[Update makefile for new nightly build setup
benl@ouroborus.net**20100616082302
 Ignore-this: 35ccff29a0ccf9b35cdd2af5b1a7db34
] 
[Trim closures before testing against annotations
benl@ouroborus.net**20100615033410
 Ignore-this: d1e2357dffdb94767042f24fcc921676
] 
[Don't require callers to pass initial sets to trimClosureT
benl@ouroborus.net**20100614083725
 Ignore-this: 3f208a6637eeef1e8805948ffbe6fe70
] 
[More work on type crusher
benl@ouroborus.net**20100614083353
 Ignore-this: bb09c572432397695cd25efd15b032ec
] 
[Check types of guards and alternatives in core linter
benl@ouroborus.net**20100614061924
 Ignore-this: 9129a884dc3f22e0fc4e9cfb9c89e679
] 
[Start on new crusher for core types
benl@ouroborus.net**20100614035136
 Ignore-this: 3f90f94f0ce1fefa2af3d4c0c12adca9
] 
[Handle literals in core linter
benl@ouroborus.net**20100613122836
 Ignore-this: 288b3ad04217e9ed5514b26dcae729ab
] 
[add missing boot file
benl@ouroborus.net**20100613110732
 Ignore-this: eb04d9337da8c7f99da4f08eceea421c
] 
[Use applyKT to handle kind/type application
benl@ouroborus.net**20100613110637
 Ignore-this: d1cc8371a9627c2198df5b90644f694c
] 
[Split core linter into more modules
benl@ouroborus.net**20100613095838
 Ignore-this: f739bc020d2f4cd76ce70d3d149a0c9f
] 
[Split core lint for main fn into different module
benl@ouroborus.net**20100613074909
 Ignore-this: 7f96c3e57017b552d95612a966581ca7
] 
[Start checking of pattern guards
benl@ouroborus.net**20100613074651
 Ignore-this: bb4a46b6599b1f3f216833af459fe55
] 
[Better panic messages in linter
benl@ouroborus.net**20100613071138
 Ignore-this: 9fb7dc0f8250450077379d38639d3fd1
] 
[Enable more warnings in new modules
benl@ouroborus.net**20100613062636
 Ignore-this: 1805e95d4555abcd4135b2701830d59e
] 
[Don't create bogus (x : !e1) closure terms when converting to core.
benl@ouroborus.net**20100613060516
 Ignore-this: 60ff26dd11237dc9dcb49d5298da6457
] 
[Fix pretty printing of TConstrain types
benl@ouroborus.net**20100613054512
 Ignore-this: cac971bed71ba495008da79283e37df3
] 
[Freakout on wrong kind in makeTFree
benl@ouroborus.net**20100613052945
 Ignore-this: 543a152a28a533ac42139dd51a0bc181
] 
[Add missing boot file
benl@ouroborus.net**20100612131952
 Ignore-this: 18d729d061cf545020ebba0560e633d7
] 
[Add properly kinded TFreeType and TFreeRegion closure constructors
benl@ouroborus.net**20100612131750
 Ignore-this: 67aa627649f3c054dc3bdcab693b1d9a
] 
[Carry sequences of effects and maps of closures up tree in core linter
benl@ouroborus.net**20100612120321
 Ignore-this: 5b79e016be45f935e1c1544c14ca62b8
] 
[Trim closures in linter
benl@ouroborus.net**20100612092554
 Ignore-this: 689dc40a2aab8f22115346e3ef67e536
] 
[Split new linter into several modules.
benl@ouroborus.net**20100612083009
 Ignore-this: e45036eb4e57f12e0fc582120039633a
] 
[Remove old core application graphing module
benl@ouroborus.net**20100612081556
 Ignore-this: 7eeba57e6947d5f5ddab3f2b0426eb8
] 
[Don't explicitly annotate applications with their effects
benl@ouroborus.net**20100612081410
 Ignore-this: 9999daa2506d8e83625186042b53e794
] 
[Remove unused MSuspend prim and more work on new core lint
benl@ouroborus.net**20100612073454
 Ignore-this: 3fc52672d653af792c053a4735a4f1da
] 
[Start fixing the core lint checker
benl@ouroborus.net**20100611113029
 Ignore-this: 4872201d4aa7914ef40ee564e0a42766
] 
[Remove old tracing code.
benl@ouroborus.net**20100611111802
 Ignore-this: b7414d4a229a57eef44ba4ec80fb5256
] 
[tc008 works
benl@ouroborus.net**20100611070927
 Ignore-this: d60dfc97348544eab8fc8d0788200bf5
] 
[We're not using DataFields in core
benl@ouroborus.net**20100611064527
 Ignore-this: 7ad1b17a58cfead5c2facdb244a15bdc
] 
[Refactor XAppF and friends to get them out of Core.Exp
benl@ouroborus.net**20100611064137
 Ignore-this: f3bd4675468f94a3290dc0238b0bfb1b
] 
[Ditch unused XLifted
benl@ouroborus.net**20100611060302
 Ignore-this: c2ea468995a20f2a2d1089f186f10ea1
] 
[Ditch unused XAt constructor (weeds!)
benl@ouroborus.net**20100611055821
 Ignore-this: fefd59fd7122895ea4265dd06f6a7696
] 
[Ditch unused XProject stuff in core
benl@ouroborus.net**20100611055152
 Ignore-this: ffbf352b62ef19ed553c9245a0715710
] 
[Shift Core.Exp and Core.Glob to DDC.*
benl@ouroborus.net**20100611053946
 Ignore-this: 4f8762f0482874d9f2c54d52b25634a5
] 
[Cleanup docs
benl@ouroborus.net**20100611011827
 Ignore-this: 8b5186a4efb2d7157eed29cee6a35cbc
] 
[Ditch unused ClassContext type
benl@ouroborus.net**20100611010343
 Ignore-this: 94ef7c8fece08ff4daa0b813fa1828cc
] 
[Split out core primitve fns into their own module
benl@ouroborus.net**20100611010243
 Ignore-this: e960b4220e1101181e451d734e1cfb21
] 
[Store globs directly in environments during type reconstruction
benl@ouroborus.net**20100610130311
 Ignore-this: e3b615bc3cd0cd97b8ada4a3949071bf
] 
[Splitout type application stuff from Core.Reconstruct and cleanup
benl@ouroborus.net**20100610113751
 Ignore-this: 36b68f1c1e1f7112b2ca101a81eb030a
] 
[Dump inlineTWheresT in favour of common type flattener
benl@ouroborus.net**20100607120743
 Ignore-this: df168dc8a2292d2209756c5355241b7c
] 
[Dump separate core version of type flattener
benl@ouroborus.net**20100607114919
 Ignore-this: 2039ba4877254129a2b3e86853463aa4
] 
[Cleanup type packer
benl@ouroborus.net**20100607112421
 Ignore-this: 1b8cbdfd312efb6b522becd2ffcde5c8
] 
[Cleanup type pretty printer
benl@ouroborus.net**20100607111230
 Ignore-this: a7ecef9522be5fe7ddcc860947555441
] 
[Fix conflicts
benl@ouroborus.net**20100607102846
 Ignore-this: 4cc6ae91eae451fa0365fc2f29b92f33
] 
[Merge code for freeCids / freeTClasses / freeTVars
benl@ouroborus.net**20100607102615
 Ignore-this: a5587781082b2658cdcc4d9fdbdd7292
] 
[Dump old collectTClasses
benl@ouroborus.net**20100607083929
 Ignore-this: d6fd782ee044f29419d58b341c26c69a
] 
[Cleanup docs
benl@ouroborus.net**20100607082616
 Ignore-this: 6cdb53777291d281aed1340a4514240c
] 
[Cleanup closure trimmer
benl@ouroborus.net**20100607075741
 Ignore-this: 23f8e0171d528c15fcb45df9baec6c4f
] 
[Ditch separate core version of closure trimmer
benl@ouroborus.net**20100607055757
 Ignore-this: f16986acdda51bf5a6a74ec35c600f79
] 
[Accept test wibbles
benl@ouroborus.net**20100607020125
 Ignore-this: 74a4aa263f1d321710abddf2ed870ab3
] 
[Cleanup type elaborator and convert to constrain form
benl@ouroborus.net**20100607015421
 Ignore-this: 59ec629d54b1693debc558e45d4f7155
] 
[Import wibbles
benl@ouroborus.net**20100606120748
 Ignore-this: eb227181918ce6d2be3f4d97889ae4e5
] 
[Cleanup StripFetters and convert to constrain form
benl@ouroborus.net**20100606120343
 Ignore-this: 291af5162f86829edba06ab8606e6098
] 
[Cleanup docs
benl@ouroborus.net**20100606113203
 Ignore-this: 78caf35f1797b20fe4afae5436fab48b
] 
[Cleanup Type.Environment and JoinSum
benl@ouroborus.net**20100606111950
 Ignore-this: 21388ff55fa7b6b680d0f71469a8a5cf
] 
[Cleanup unifier and convert to Data.Seq
benl@ouroborus.net**20100606102519
 Ignore-this: ea252dde4de30c9aa9b3df85923ff993
] 
[Cleanup cutLoops
benl@ouroborus.net**20100606100015
 Ignore-this: f6e103f299e225a58d1a6bad087eaa89
] 
[Fix warnings
benl@ouroborus.net**20100601142404
 Ignore-this: d1920ee6459f5b7f20295c77e9b1d054
] 
[Require types to be flattened to be in constrain form
benl@ouroborus.net**20100606071847
 Ignore-this: cf262d7cc69101dddc77447292999ede
] 
[Push constrain form into finaliser
benl@ouroborus.net**20100606065901
 Ignore-this: 21e30be8e52953ccafc762c67296fe49
] 
[Use constrain form in quantifyVars
benl@ouroborus.net**20100606065433
 Ignore-this: 98733850b4f3f5cf35e3b3e648517d56
] 
[Cleanup the finaliser and avoid calling the packer on finalised types
benl@ouroborus.net**20100606062411
 Ignore-this: 7b84e9ef84fcbe7d9760d639f5baadac
] 
[Cleanup variable quantification utils
benl@ouroborus.net**20100601134512
 Ignore-this: b0facc7b99e414d63efcad59a5c27075
] 
[Rename inventWitnessOfClass -> inventWitnessOfKind
benl@ouroborus.net**20100601114526
 Ignore-this: 2035c62a401c3b5a4652a004113df1e1
] 
[Cleanup type substitution utils
benl@ouroborus.net**20100601114231
 Ignore-this: d108535d5d9a539d462d027b77c4d5f
] 
[doc wibbles
benl@ouroborus.net**20100601103816
 Ignore-this: 27aa682f91f59422fd91fbaf3b21f8fc
] 
[Cleanup kind utils
benl@ouroborus.net**20100601103506
 Ignore-this: 435229114f4cec638aea312ac849e91f
] 
[Cleanup kind and witness utils
benl@ouroborus.net**20100601094910
 Ignore-this: 71bd78b87e3b7a3ab43c9493c1bea2d8
] 
[Cleanup docs
benl@ouroborus.net**20100601032019
 Ignore-this: 8684f230788514d1e541066d8c63ef65
] 
[Pay attention to export lists when making haddock docs
benl@ouroborus.net**20100601031636
 Ignore-this: c536074bcc216250445d2a98e6717d75
] 
[Shift type Flattener to DDC.Type.Flatten
benl@ouroborus.net**20100601031238
 Ignore-this: e105518d6dda6ca724ba16a31f227e60
] 
[Use set filter in checkGraphicalDataT
benl@ouroborus.net**20100601025211
 Ignore-this: 91d0c3c12fbb97c75abcb6bf0cc7c9b4
] 
[Purge old collectClassIds function
benl@ouroborus.net**20100601024818
 Ignore-this: 172178412e7820c3097bdbb5bf1d5a90
] 
[Add direct implementation of freeCids instead of using generic transforms
benl@ouroborus.net**20100601023803
 Ignore-this: cb12d7dfc89e66ca44706aef6a8e7cb5
] 
[Avoid spamming trace logs when extracting region vars
benl@ouroborus.net**20100531122743
 Ignore-this: be214bea605063860fef814eb33c3dfe
] 
[Shortcut extraction for plain vars
benl@ouroborus.net**20100531121233
 Ignore-this: cf87457b13519d48efcf54ea0c0ca71a
] 
[Rest of IORefs in solver state
benl@ouroborus.net**20100531115943
 Ignore-this: c02158d356c663d5e40acc0a64b47488
] 
[Moar!
benl@ouroborus.net**20100531115332
 Ignore-this: 87e754c886ace9f3335e2d79ca93b01a
] 
[Moar IORef
benl@ouroborus.net**20100531114310
 Ignore-this: b380a8e806b7d070dc85220d0bb370db
] 
[More fields as IORefs
benl@ouroborus.net**20100531111608
 Ignore-this: 963f1ba8b33fc2994f94c4bfbef7a202
] 
[wibbles
benl@ouroborus.net**20100531110600
 Ignore-this: 9de78a42e7c4691b788b985ae0c1df86
] 
[Wrap an IORef around the graph
benl@ouroborus.net**20100531105353
 Ignore-this: be3d7c682084874f653b4ff340c55cc6
] 
[Cleanup Transform and Freevars modules
benl@ouroborus.net**20100530111201
 Ignore-this: e03c8a71598c587acb7891bdabdfe2ef
] 
[Accept test wibbles
benl@ouroborus.net**20100530102704
 Ignore-this: 5d6d04682b41f25b27abe81342f36ca
] 
[Shift more stuff to DDC.Type.Compounds
benl@ouroborus.net**20100530100730
 Ignore-this: a7b2bfb445caa901e6245c91bcedb671
] 
[Don't be messin' with TFree during flattenTSum
benl@ouroborus.net**20100529131403
 Ignore-this: 260303aab99b79381ab316caa5cf683b
] 
[Move more stuff into DDC.Type.Compounds
benl@ouroborus.net**20100529130813
 Ignore-this: 5acb0478988f0f8132bb58d6b7dae044
] 
[Wibbles
benl@ouroborus.net**20100529122856
 Ignore-this: fe38001dfd68455ec6e2df7d524e8226
] 
[Enable more warning for DDC.* modules
benl@ouroborus.net**20100529122603
 Ignore-this: ea3b6c0a168700ed71e9df9918850245
] 
[Start splitting smart destructors and constructors into their own module
benl@ouroborus.net**20100529120648
 Ignore-this: 6d5a912af0a2b516a3409e079834b96b
] 
[Split out predicates on types into their own module
benl@ouroborus.net**20100529114728
 Ignore-this: d61b4759d6215275792c8aea32af4960
] 
[Docs to DDC.Type.Exp
benl@ouroborus.net**20100529113409
 Ignore-this: 692c87f96298bfb79146f9001d00b055
] 
[This got broken in the last refactoring.
Ben.Lippmeier@anu.edu.au**20100529110510
 Ignore-this: 939dba19b9b6f5153181c5665a49944f
 It's something in the inferencer, but I'm not sure if it's an entierly
 new breakage or I've just exposed some other problem. Need more test
 programs using higher order fns.
] 
[Add missing case in trimmer
benl@ouroborus.net**20100529103040
 Ignore-this: 39ec5aea888779dd0ffa20a386441c9b
] 
[Add missing files
benl@ouroborus.net**20100529101101
 Ignore-this: c90b650ff330c74d969a71da1a3d1c09
] 
[Refactor TVar TVarMore TIndex and TClass into a single TVar constructor
benl@ouroborus.net**20100529100743
 Ignore-this: 8f577865709e73d8b72ed83d954d988e
] 
[Comments
benl@ouroborus.net**20100529061506
 Ignore-this: a146fe6447af6afa7abe26eb701d248a
] 
[Dump class constraints when trimming closures.
benl@ouroborus.net**20100527120548
 Ignore-this: 84b94222c3a94745cffe9b5cdb1482f5
] 
[Represent TFree and TDanger by special TyCons.
benl@ouroborus.net**20100527105939
 Ignore-this: 5dd18107e3d4726203970678ff34fe2b
] 
[Simplify and comment type boilerplate
benl@ouroborus.net**20100527074845
 Ignore-this: b2a92f95ce6902bbcda553f77c94fed8
] 
[Represent TElaborate by a special TyCon, to get it out of Type.Exp
benl@ouroborus.net**20100526102213
 Ignore-this: 697127d6e7c81e2bb61d201c6755147a
] 
[Flatten argument types when converting to core
benl@ouroborus.net**20100524125817
 Ignore-this: 16ee314818d5617803c9568104654369
] 
[getArgs, getEnv and getProgName now have the !Environment effect.
Erik de Castro Lopo <erikd@mega-nerd.com>**20100524124116
 Ignore-this: 9247a841e929b6fc8ca59608fc5b790b
] 
[Accept test output
benl@ouroborus.net**20100524122308
 Ignore-this: 83eaa93b07fb62e3f4093f75feed0a5f
] 
[T74 is now a kind error
benl@ouroborus.net**20100524122140
 Ignore-this: 62d8105d682de27711bdfe84a3034c6d
] 
[Also export getArgValue from System.Environment.
Erik de Castro Lopo <erikd@mega-nerd.com>**20100524121258
 Ignore-this: 29027cfe8aa9571660195b932a54f4f
] 
[Export argCount from System.Environment.
Erik de Castro Lopo <erikd@mega-nerd.com>**20100524120642
 Ignore-this: 80e77a3bac2cfa021e3b6ac3aa701a99
] 
[Accept test wibbles
Ben.Lippmeier@anu.edu.au**20100524115857
 Ignore-this: 80d69596771a57ede0ab326138fcdd
] 
[T149 is fixed
benl@ouroborus.net**20100524114743
 Ignore-this: 7b96a92b5c1538ef236e5f1714dd86e6
] 
[Reenable Data.List stuff
benl@ouroborus.net**20100524113412
 Ignore-this: e3a68cfc574e7923f95f2df3d1dee60
] 
[Fix reporting of kind errors
benl@ouroborus.net**20100524112256
 Ignore-this: a588596bb5635bf204bb8328e221debe
] 
[Accept test wibbles
benl@ouroborus.net**20100524085424
 Ignore-this: b3395183c8b9fd9bea70797cd341c638
] 
[Fix detection of purity errors when the effect is just a ctor like !Console
benl@ouroborus.net**20100524085010
 Ignore-this: ded44bbc8d2ee6f33ed33c17bb96e117
] 
[Fix reporting of unification errors
benl@ouroborus.net**20100524083836
 Ignore-this: f51cfd9f81f49d9839c632ace44a6ba4
] 
[Handle effects in core closure trimmer
benl@ouroborus.net**20100524081757
 Ignore-this: 93f1188fac7c0da8553f40029fb8cb99
] 
[Reenable some stuff in Data.List
benl@ouroborus.net**20100524081435
 Ignore-this: 11840f4b7970c92064d46e00a5d9a606
] 
[Fix crushing of projections. All libraries build now.
benl@ouroborus.net**20100524081046
 Ignore-this: 5a39a4d975d010afe919ac0de7e795d
] 
[Unloose existing SPTC fetters when adding new ones to the graph
benl@ouroborus.net**20100524072720
 Ignore-this: e44f399c9292b6bd6478e571f95641ed
] 
[Fix crushing of deep reads and writes on types with abstract constructors
benl@ouroborus.net**20100523104655
 Ignore-this: 545fff2df6b593f85ddf4efdfb4b5834
] 
[Fix crushing of DeepConst and DeepMutable
benl@ouroborus.net**20100523094202
 Ignore-this: f7e6c07b44e41747ba4c4945dc73a536
] 
[Cleanups
benl@ouroborus.net**20100523092859
 Ignore-this: 5ad5a0b568c8ab0476aa93ed7e9f1c09
] 
[Refactor Type.Class to store single parameter constraints in a Map
benl@ouroborus.net**20100523082836
 Ignore-this: cb6db055bc8e660c558bbcbc05e2bcd4
] 
[Fix unification for single effect and closure terms
benl@ouroborus.net**20100521072826
 Ignore-this: 6e2ce6f262fa9c06d2336e5b2c509a41
] 
[Fix crushing of purity fetters
benl@ouroborus.net**20100521070301
 Ignore-this: eb155ed0fa6fa3943736efafabe58506
] 
[Fix crushing of HeadLazy fetters
benl@ouroborus.net**20100521020715
 Ignore-this: 4d166b2901f42343825782a1f35de18f
] 
[Strictify node types
benl@ouroborus.net**20100517123036
 Ignore-this: 512d30ba579420e94ebfd980fc9e7181
] 
[Fix unification for effects and closures
benl@ouroborus.net**20100517121209
 Ignore-this: fae82d07d2b1c9907e2b832eba4f7d76
] 
[Don't use intermediate node queues in graph classes
benl@ouroborus.net**20100517114357
 Ignore-this: aea0fb91cafafb1e0ecb9c2c72fdd6b8
] 
[Fix crushing of projections
benl@ouroborus.net**20100517112653
 Ignore-this: 4a5d3ca9e2f02c0960fa55e0cdc4ba60
] 
[Split outer constraints off TFrees when tracing
benl@ouroborus.net**20100516115631
 Ignore-this: be24edbf0d8a503285c4f819199adb1c
] 
[Fix crushing for deep reead and write effects
benl@ouroborus.net**20100516113703
 Ignore-this: 799398e5a85fa249024cb85780bf58f2
] 
[More refactoring of effect crusher
benl@ouroborus.net**20100515130442
 Ignore-this: d48b018e9db4e98e8bf8b6a1784036dd
] 
[Fix crushing of HeadRead effects
benl@ouroborus.net**20100515103642
 Ignore-this: 32dcf3409fbb116684978b0d34a461
] 
[Start cleaning up fetter crushing code
benl@ouroborus.net**20100514114754
 Ignore-this: 4ccc61b696cb7f9791f480b3731ccb2f
] 
[Sink classids in fetters when tracing
benl@ouroborus.net**20100514110840
 Ignore-this: 7d69a850b0334d07ef802569286029ae
] 
[Start rewriting the tracer
benl@ouroborus.net**20100513113307
 Ignore-this: adeab7c49844fa15e1aab2f91de81744
] 
[Builds again, but is hell broken
benl@ouroborus.net**20100510120221
 Ignore-this: 58cd123bf7a8fb6a42eb8ae45b259ce2
] 
[in progress
benl@ouroborus.net**20100509092550
 Ignore-this: 34b9cabc85974bb1f6fdf8b3f209ab9
] 
[Add functions getProgName, getArgs and getEnv to System.Environment.
Erik de Castro Lopo <erikd@mega-nerd.com>**20100524095319
 Ignore-this: 45a0f4f65813308893217ccb7ba0174d
] 
[Refactor TContext into TForall/BNil
benl@ouroborus.net**20100508140528
 Ignore-this: 180423f1184de309405209477d2fb43f
] 
[Use new !{} syntax in test
benl@ouroborus.net**20100508130116
 Ignore-this: 59a942d76a69eb9d008ec116bcc29b0c
] 
[Handle refactored TSums properly in joinTT
benl@ouroborus.net**20100508125515
 Ignore-this: 470bcf5566527c1d6796ead1f811ce14
] 
[Refactor (TBot k) into (TSum k []) and ditch unused TTop
benl@ouroborus.net**20100508124628
 Ignore-this: 2d0dff4e057b8467a4dd0988f2b4dc48
] 
[Nub elements of KSum when making one
benl@ouroborus.net**20100508120702
 Ignore-this: 7c3e9ee62b58da74c2e9932f3c3920b7
] 
[Refactor TWitJoin into TSum
benl@ouroborus.net**20100508115918
 Ignore-this: 9858651f9d975da59a8bfd0318adbf83
] 
[Ditch Type.Exp.Index type synonym, we weren't using it consistently
benl@ouroborus.net**20100508110257
 Ignore-this: efe3b8e1bae66fef0d817dd8e039d11e
] 
[Refactor KApps into KApp, better to have general kind application.
benl@ouroborus.net**20100503123410
 Ignore-this: 3b1e94f26eb3d59b51dec951360d7b2a
] 
[Factor KPi and KForall into KFun.. they're all equivalent
benl@ouroborus.net**20100502073835
 Ignore-this: a5a703a3047c8c642b9e97edead5d630
] 
[Haddock fixes
benl@ouroborus.net**20100503040839
 Ignore-this: 2180375ff16e25d521267c4bb592f9dd
] 
[Move test to test/20-Sea/T179-CurryStatement.
Erik de Castro Lopo <erikd@mega-nerd.com>**20100502115021
 Ignore-this: a2a91fbe634884bd79dca82c3ff94b9a
] 
[Fix #179 : Bad code for statement containing nothing but a curried function.
Erik de Castro Lopo <erikd@mega-nerd.com>**20100502114724
 Ignore-this: 28c8c73ed16d3e3694dd2c832b1e932e
] 
[Comments.
Erik de Castro Lopo <erikd@mega-nerd.com>**20100428081939
 Ignore-this: 4b45aad328fa2a00c06fd39d8139965a
] 
[Parser example is broken for now
benl@ouroborus.net**20100501121003
 Ignore-this: abdb7e6e4f96fad8809959e598711f45
 Closure trimming isn't working, which is confusing Core.Dictionary.
] 
[Handle TVarMore in Core.Flatten
benl@ouroborus.net**20100501120921
 Ignore-this: f80fd28a8d34734e70ff44e54233ad7
] 
[Make ordering work on TVarMore as well as TVar
benl@ouroborus.net**20100501115530
 Ignore-this: 95bdcadf843e87c0dc00ed45aebe0714
] 
[Fix bug in Core.ToSea introduced by refactoring
benl@ouroborus.net**20100501115502
 Ignore-this: a5f8682def302c0fda24f748e073e198
] 
[Refactor Core.Thread and fix stupid loop
benl@ouroborus.net**20100501113803
 Ignore-this: e8dd9c973ec3bcf315e4bc846d38077f
] 
[Refactor TyCons to match the APLAS paper
benl@ouroborus.net**20100501073939
 Ignore-this: aedd60819004553116fd0a7908642281
 We've got proper kinds for MkMutable and friends now.
 Had to rewrite Core.Dictionary.
 The base libraries build, but some of the tests are still failing.
] 
[Start on new Core.Lint
benl@ouroborus.net**20100416002244
 Ignore-this: 5153bb5f5b8f850d2f54ff535b5538e3
] 
[Push globs into Core.Prim
benl@ouroborus.net**20100414125449
 Ignore-this: 91b8c8ca7a043745bbf7dc6e7d0f8308
] 
[Rename some stages that work on globs
benl@ouroborus.net**20100414124739
 Ignore-this: b72156232bf896bd5ee7af5867f263eb
] 
[Add test for #80 to passing tests.
Erik de Castro Lopo <erikd@mega-nerd.com>**20100428103141
 Ignore-this: fe341669fc3ffeb7f1d99d8e229e1281
] 
[Only attempt to delete files in war's testClean function.
Erik de Castro Lopo <erikd@mega-nerd.com>**20100428075111
 Ignore-this: a3a9736d71df67f5968e90b7cba4d4c3
] 
[Makefile : Add 'make tarball' target.
Erik de Castro Lopo <erikd@mega-nerd.com>**20100425061511
 Ignore-this: 7a59619d313076679a9e912486dc4a79
] 
[Move test to test/30-Runtime/T180-UpdateRefSegfault.
Erik de Castro Lopo <erikd@mega-nerd.com>**20100418054615
 Ignore-this: 460b3f4d492d3cddeb8c335f8ec0ea01
] 
[Fix #180 : Segmentation fault Ref update.
Michael Maloney <maloneymr@gmail.com>**20100418054007
 Ignore-this: 12b539883526df590476a5f42a15c6de
] 
[Update test/Broken-skip/T168-ModuleExporter/ test.
Erik de Castro Lopo <erikd@mega-nerd.com>**20100418020701
 Ignore-this: 58bc4a1149b36397ba037b439ef5cc7e
] 
[Add test/Broken-skip/T179-BadCurry/Main.ds.
Erik de Castro Lopo <erikd@mega-nerd.com>**20100418003704
 Ignore-this: 8ebca7f583667170a119b2f36970d833
] 
[Compile fixes for FreeBSD.
Erik de Castro Lopo <erikd@mega-nerd.com>**20100417110421
 Ignore-this: 6ab5cfb60a130c9de46cff9fa615d5e4
] 
[Add test/Broken-skip/T180-UpdateRefSegfault/Main.ds.
Erik de Castro Lopo <erikd@mega-nerd.com>**20100417022504
 Ignore-this: 3789db61d5934c75d065163cfaf84974
] 
[Enable Ord instance for Int32#.
Erik de Castro Lopo <erikd@mega-nerd.com>**20100417021750
 Ignore-this: 2ccf7972b66b40a9b4ed0f0091409c24
] 
[Unbreak Core.Thread
benl@ouroborus.net**20100414123210
 Ignore-this: 33f77eefdad5a258e73654db8ee7c3b
] 
[Push globs into Core.Dict
benl@ouroborus.net**20100412122525
 Ignore-this: 7230e5d4df0f462b97e0701f54c41082
] 
[Refactor handling of global region vars
benl@ouroborus.net**20100412114151
 Ignore-this: 80a3343934dea72980b5593a41fabde9
] 
[Push globs into Core.Bind
benl@ouroborus.net**20100411105709
 Ignore-this: d3a07f4a7e84e512e6947f14b1734d8b
] 
[Refactor Core.Exp.PClassInst to only have vars on the right
benl@ouroborus.net**20100411102213
 Ignore-this: e9ccab14b9829fcf253cca94234bb1ae
] 
[Push globs into Core.normaliseDo
benl@ouroborus.net**20100411101242
 Ignore-this: e4cc5f4675368b8b0f1270f3581d17a9
] 
[Rename Simplifier module
benl@ouroborus.net**20100411094939
 Ignore-this: ced5dcb593bac5ee7e92591e5e7e3675
] 
[Cleanup Core.Block
benl@ouroborus.net**20100409122357
 Ignore-this: 9bcfc315caec109cd6d95ffcec84978c
] 
[Formatting only
benl@ouroborus.net**20100409121457
 Ignore-this: 5610a886e8d22a6b39c8f6047bcaa3fa
] 
[Push globs into witness threader
benl@ouroborus.net**20100409121040
 Ignore-this: 8463c7575435319e3c55ba69608dbe50
] 
[Push globs into snipper and simplifier
benl@ouroborus.net**20100409115402
 Ignore-this: 5628443256dcf34829c708d7654667fe
] 
[Add test/Broken-skip/T178-PanicCoreReconstruct/Test.ds.
Erik de Castro Lopo <erikd@mega-nerd.com>**20100412112745
 Ignore-this: 1588f72e04e86c829bdbec8adb36dbca
] 
[In Core.Reconstruct we have to do the PRegions first to get their witnesses
benl@ouroborus.net**20100408110143
 Ignore-this: eb30318c2ee4800eb72a9109453c9a93
] 
[Push globs into Core.Reconstruct
benl@ouroborus.net**20100408104837
 Ignore-this: f467a731fe60d717eb35d946149f191a
] 
[Renames and comments
benl@ouroborus.net**20100407112208
 Ignore-this: efcf43da616726f24578e9cfa53d4ec8
] 
[More cleanup to Core.Lift
benl@ouroborus.net**20100406123028
 Ignore-this: 3e42b6eca7b88dc084ad635230bbabac
] 
[Cleanup Core.Lift somewhat
benl@ouroborus.net**20100406122611
 Ignore-this: 875ac1426d145d3b3295ba2c77c7e367
] 
[Push globs into Core.Lift
benl@ouroborus.net**20100406113740
 Ignore-this: 9f5932075c96bb32f11eb4815f4d5061
] 
[wibble on Core.Curry
benl@ouroborus.net**20100406110829
 Ignore-this: de3cbdbc356e69fa137c5764015fb7ad
] 
[Thread globs through Core.LabelIndex
benl@ouroborus.net**20100406105152
 Ignore-this: f58effb477a6a269602a34a199ba81c0
] 
[Refactor driver to take globs for Core.Curry
benl@ouroborus.net**20100406102812
 Ignore-this: adb292a111acb5d98791d739d47bfc09
] 
[Accept test wibble
Ben.Lippmeier@anu.edu.au**20100406040408
 Ignore-this: 98d263513a465fe8ff63a7db78ef7a9
] 
[Rename TyConClass -> TyConWitness. Yay for knowing what this is for.
benl@ouroborus.net**20100405122002
 Ignore-this: 13ee61e317003d12edb27ea2ef1e2321
] 
[Haddock fixes
benl@ouroborus.net**20100405114141
 Ignore-this: e82985efccb3d66cad3c6f7b65fdf919
] 
[Split out KiCon into its own module
benl@ouroborus.net**20100405113608
 Ignore-this: cbc318d42887d5519d2ccaac157a4fdb
] 
[Move stuff around
benl@ouroborus.net**20100405112427
 Ignore-this: a9ea9a5ee29bde12b1a2bc3f4ea4a4b4
] 
[Split out InstanceInfo into its own module
benl@ouroborus.net**20100405110958
 Ignore-this: f003a6f6c1cb33be1b8fa938752158ad
] 
[Split out ClassId into its own module
benl@ouroborus.net**20100405104523
 Ignore-this: debe183d4ad767c06d0642fee5f24488
] 
[Export infix declarations in new interface files
benl@ouroborus.net**20100405101311
 Ignore-this: 248e2e23dc33eef888b11d793045d886
] 
[Cleanup source expression type
benl@ouroborus.net**20100405095204
 Ignore-this: daeac5561b82410c43bb8d55a5f04c87
] 
[Fix export of multiple data class instances in same interface file
benl@ouroborus.net**20100405081136
 Ignore-this: a19532147d6db5deec3bce0eee4331f
] 
[Prettier printing of interface files
benl@ouroborus.net**20100405075533
 Ignore-this: ea60e564b048fd33e6780c832e60beab
] 
[Rename new interface export module
benl@ouroborus.net**20100405074828
 Ignore-this: b6551500400b706daf395a97ca549824
] 
[Test wibble
benl@ouroborus.net**20100405073000
 Ignore-this: ee6fe1abdddef15416cde46e1c373a2a
] 
[Accept test wibbles
Ben.Lippmeier@anu.edu.au**20100405072636
 Ignore-this: 8a413fe1b0bdd43935c7f0394e2227a5
] 
[Move some test dirs around
benl@ouroborus.net**20100405071004
 Ignore-this: 440235c20244895bde83ae9d733520e3
] 
[Export projection dicts in new interface files
benl@ouroborus.net**20100405050242
 Ignore-this: 8fe378581d979b0a97f908b93098046f
] 
[Rename PClassDict -> PClassDecl
benl@ouroborus.net**20100404104158
 Ignore-this: 96e84b98ba6389f7cb51197444a288e2
] 
[Formatting and comments in Desugar.Exp
benl@ouroborus.net**20100404103157
 Ignore-this: 7c0ea7917847c52b9308b3f6d5938d4
] 
[Rename PSig and PClass to PTypeSig and PSuperSig
benl@ouroborus.net**20100404095746
 Ignore-this: a9fd10cda97b7439dc694cacad10e983
] 
[Remove unused PNil from Desugared lang
benl@ouroborus.net**20100404095009
 Ignore-this: ca3704ac8a27c52f560eeb3bed828f83
] 
[Remove unused context param from desugared type class decls
benl@ouroborus.net**20100404094620
 Ignore-this: 7306b5a6b52dc1754c56ccfebf062bc7
] 
[Also use kind sigs for effects in desugared IR
benl@ouroborus.net**20100403113525
 Ignore-this: 4cb6046f6699107d5d0f877defb13c0
] 
[Use KindSigs for to defined effect constructors
benl@ouroborus.net**20100403111841
 Ignore-this: 4961a4ea33aa89efd6b7da02575ba580
] 
[Allow   data Ctor :: % -> *   syntax for abstract data constructors.
benl@ouroborus.net**20100403105158
 Ignore-this: d9de35a11d8defaaea281737a2985473
 In the source and desugared languages these are just
 represented as kind signatures.
] 
[Start on export of projection dicts
benl@ouroborus.net**20100403094155
 Ignore-this: 53365cf230f4956b4b8d2f9e097e4efd
] 
[Export type class instances in new interface files
benl@ouroborus.net**20100403090203
 Ignore-this: 235af24d15c9093ade67317a6dfa644c
] 
[Export class dicts in new interface files
benl@ouroborus.net**20100403082042
 Ignore-this: b61d2aca46bbb7de71d55065f9030777
] 
[Refector rep of class dicts in core.
benl@ouroborus.net**20100403063033
 Ignore-this: 8e3a4f78a34cde39ff4430bfd1668ce4
] 
[Remove unused class context params from PClassDicts in core
benl@ouroborus.net**20100403061828
 Ignore-this: b7f74e8edc2298905e2b6dac080d4102
] 
[Don't try to export types of binds created during lambda lifting
benl@ouroborus.net**20100403060742
 Ignore-this: 66424324e48db295551825f7d9dbb12
] 
[Export more stuff in new inferface files
benl@ouroborus.net**20100329112908
 Ignore-this: 879961c61dcf09c126eb5c8b6bda1a19
] 
[Nicer pretty printing of blank Docs
benl@ouroborus.net**20100329104101
 Ignore-this: fba90f4f3a0f64d712571194078cbe2e
] 
[Refactor interface pretty printer using abstract container interface
benl@ouroborus.net**20100329102802
 Ignore-this: 27265662ae7abca6817baaaf3cbfc941
] 
[Haddock fixes
benl@ouroborus.net**20100329093107
 Ignore-this: edca27ea783ea60dcd01e6835068f3aa
] 
[Start on new interface file format
benl@ouroborus.net**20100329092609
 Ignore-this: 42648d357076e6d20d0fc9b3b34035d4
 
 Use -dump-new-interfaces to enable it.
] 
[Move Shared.Var to DDC.Var and cleanup
benl@ouroborus.net**20100324021334
 Ignore-this: 7f717f5b3ae75d6efd073872579a8a08
] 
[Comment wibble
benl@ouroborus.net**20100323014726
 Ignore-this: 214a70e30f7d9e0264cfda5cb9389658
] 
[Accept test wibble
benl@ouroborus.net**20100322234813
 Ignore-this: 54e00bed13be39e7dc229fe7ded98fca
] 
[wibble
benl@ouroborus.net**20100322110551
 Ignore-this: e8c839d6f0fe6c92488212f81dc0fb56
] 
[Cleanup Shared.Literal and move to DDC.*
benl@ouroborus.net**20100322110414
 Ignore-this: d6ad05407a47c48ec11a6c842652f925
] 
[Move warning fn to DDC.Main.Error
benl@ouroborus.net**20100322103134
 Ignore-this: 1524b9cd6af4b928275700a8c370b85c
] 
[Fixup docs
benl@ouroborus.net**20100322102512
 Ignore-this: a3bfe48e03f34c5015de058ef39c33d8
] 
[Move Shared.Error -> DDC.Main.Error
benl@ouroborus.net**20100322101144
 Ignore-this: 9936cf22d5d95a29d60e9e6014332a0b
] 
[Add missing file
benl@ouroborus.net**20100322070236
 Ignore-this: bfbd07c1ab108ea072fa5d5a5c28115
] 
[Fix #176: Build all library files before running tests
benl@ouroborus.net**20100322070056
 Ignore-this: 2aa24422e9e0a439fef6766933222561
 This makes the tests go through a bit slower because we now have 
 to parse more interface files each time DDC starts up. This
 should be fixed in the new interface work though.
] 
[Tweak makefile
benl@ouroborus.net**20100322063702
 Ignore-this: 2f0122f4dd65af59c1cc800f26e88147
 I've made it so it doesn't show every ghc invocation. We compile every module
 with the same flags, and those flags are shown when it builds the boilerplate
 generator. Also, when compiling with THREADS=8, the "* Compiling Src.hs" tag
 line and the ghc invocation stuff don't tend to be sequential anyway, they
 just get interleaved with others..
] 
[Add vcat combinators
benl@ouroborus.net**20100322062517
 Ignore-this: 93975a7ea94ad986ec7bd0b89bc5ac2f
] 
[Comments and cleanup
benl@ouroborus.net**20100322060820
 Ignore-this: 1f45dea9bd403b79b069b5c990dbbd38
] 
[comments only
benl@ouroborus.net**20100322050630
 Ignore-this: 350788ad872862a78d096553461b8dca
] 
[Comments only
benl@ouroborus.net**20100322050409
 Ignore-this: 30d29e914a5a3870f61a95d77d90ec8e
] 
[Clean up DDC Args
benl@ouroborus.net**20100322045150
 Ignore-this: 1be0ccdabd9f8b32dc60d3da74094021
] 
[Rename ModuleIdAbsolute -> ModuleId
benl@ouroborus.net**20100322040440
 Ignore-this: 975d90cfb50610327dd578f9a9ada500
] 
[Split ModuleId into its own file
benl@ouroborus.net**20100322035634
 Ignore-this: 14a773eb38dc3b8e6baebce4cd6385b1
] 
[Move Main.Version to DDC.*
benl@ouroborus.net**20100322034929
 Ignore-this: d255da5821669d9396d84a3a10145fc9
] 
[Shift stuff around
benl@ouroborus.net**20100322034316
 Ignore-this: f25d6e28545fcd38e74be49b60c64a44
] 
[Remove unused Shared.Vanilla
benl@ouroborus.net**20100322034305
 Ignore-this: 623a93f5ce9c5c36af949ec707ac0cc
] 
[Rename VarBind -> VarId and push into DDC.* hierarchy
benl@ouroborus.net**20100322030834
 Ignore-this: ad1349a4ce2015d556709127ef3fa6be
] 
[Move DataFormat, SourcePos -> DDC.* heirarchy
benl@ouroborus.net**20100321102259
 Ignore-this: 4e25ab988421e1ca1a1b167261551d72
] 
[Rename Module -> ModuleId. Planning to use 'Module' to hold actual code..
benl@ouroborus.net**20100321092317
 Ignore-this: 6c9b63be99f53c913fe465e3202a15e0
] 
[Remove unused ctors from VarInfo
benl@ouroborus.net**20100321081531
 Ignore-this: 1a8c7826060185eef1df20595b7d429b
] 
[Arg, darcs doesn't record execute permissions.
Erik de Castro Lopo <erikd@mega-nerd.com>**20100321115001
 Ignore-this: e4b13c47948e581ddde23b819e214d44
] 
[Add missing file make/bits.hs.
Erik de Castro Lopo <erikd@mega-nerd.com>**20100321114559
 Ignore-this: 9fc75d059fa9b2075b9fdb81af675904
] 
[Fix #177 : Fix configure with 32 bit user space on 64 bit kernel.
Erik de Castro Lopo <erikd@mega-nerd.com>**20100321113121
 Ignore-this: 1465afda13bc534e37723001b6d3366c
 
 This fixes things like building in a 32 bit chroot or a 32 bit
 user space on a 64 bit kernel.  
] 
[Haddock fixes
benl@ouroborus.net**20100321074810
 Ignore-this: 34b6792cb2414756434dd99847187ee0
] 
[Enable -fwarn-unused-imports and cleanup
benl@ouroborus.net**20100321073159
 Ignore-this: 50171d8172b7e6b39bdbe68523519e21
] 
[Cleanup and remove unused MFun ctor
benl@ouroborus.net**20100319231748
 Ignore-this: 76d588a250b0757b495708d9d6e2fa3d
] 
[Eradicate the rest of the XAnnot, it was just a giant weed farm.
benl@ouroborus.net**20100319111338
 Ignore-this: 703fb4052f604092d16f1d97eae92425
] 
[Kill the massive weed that war Core.Exp.XTet
benl@ouroborus.net**20100319105013
 Ignore-this: 49eb1bb137c5be3cba72ef8c638381aa
 This was originally going to be a type level let expression, 
 but I ended up not using it because it was too hard to manage.
] 
[Kill some weeds in Core.Exp
benl@ouroborus.net**20100319102113
 Ignore-this: 5910f2b98e2ff7a25ecc050017947141
] 
[whitespace
benl@ouroborus.net**20100319101544
 Ignore-this: 71d448d98367c2bd9815caf0b4c24506
] 
[Remove unused atom stuff from Core.Exp
benl@ouroborus.net**20100319101411
 Ignore-this: 78afdbbb4dfbf4a3a23339e2ad98ca88
] 
[Erase old code Sea based atom code
benl@ouroborus.net**20100319100951
 Ignore-this: c11e103e093a6f183c4021ec73e98e84
] 
[Make Core.Atomise take Globs
Ben.Lippmeier@anu.edu.au**20100319095617
 Ignore-this: 593ce94e78cff105f970f382d7cec2fd
] 
[Refactor Core.Sequence and Core.ToSea to use globs and Data.Seq instead of flat lists
benl@ouroborus.net**20100319020804
 Ignore-this: 196938888842526803ffc0c1ef390396
] 
[Haddock fixes
benl@ouroborus.net**20100318065830
 Ignore-this: eefb6068f7646c50c02a6a59574ba3d4
] 
[Comments and cleanup of top level compile fn
Ben.Lippmeier@anu.edu.au**20100317104711
 Ignore-this: fc6cef5b95467e13e4021a72760f80ff
] 
[Start on new interface file format
benl@ouroborus.net**20100317080520
 Ignore-this: e28620648dfca2641f3982104aa765b8
 A big part of this patch is to add Core.Glob and refactor handling of 
 data constructors. A core glob provides a convenient way to organise
 top level declarations. It's got a Data.Map for each sort of 
 Core.Top, and provides methods for slurping types and arities of 
 top level bindings.
] 
[Add T175-PatternMatchFailure to broken tests.
Erik de Castro Lopo <erikd@mega-nerd.com>**20100313014514
 Ignore-this: ee9e367eeee69bfe3390a5f2e66df1cc
] 
[Update Lexer.hs.
Erik de Castro Lopo <erikd@mega-nerd.com>**20100312094829
 Ignore-this: a5c5efc21174f6eb67b63e06e2f5167e
 
 The previous lexer version was generated with alex-2.2 and gave warning
 messages when compiled with ghc-6.12.1. This version was generated with
 alex-2.3.2 and doesn't give warnings.
] 
[Move T174-ParseTypeMismatch to main test suite.
Erik de Castro Lopo <erikd@mega-nerd.com>**20100308112152
 Ignore-this: a8fb42b51abf9c4b48d84577c9613fd5
] 
[Fix #147 : Require that negative literals are enclosed in parentheses.
Erik de Castro Lopo <erikd@mega-nerd.com>**20100308104637
 Ignore-this: ed3950aeb94a3b338acda47d4235c5be
 
 Also update tests.
] 
[Add broken test T174-ParseTypeMismatch.
Erik de Castro Lopo <erikd@mega-nerd.com>**20100307201625
 Ignore-this: 1e438dd60177f38c5445a011cb1c8167
] 
[Add broken test T173-ParseAnnot.
Erik de Castro Lopo <erikd@mega-nerd.com>**20100306053823
 Ignore-this: eba726f0b4da511ec6429aa79286ffb7
] 
[Update test/Broken-skip/T171-ListComp/Main.ds.
Erik de Castro Lopo <erikd@mega-nerd.com>**20100306025932
 Ignore-this: eb61ead08874543eb90bceb2be009c97
] 
[Add parsing of let statements within list comprehensions.
Erik de Castro Lopo <erikd@mega-nerd.com>**20100306010832
 Ignore-this: ed1dadc872c3808bb1b9eca813a93623
] 
[Add broken test T172-LexerBracketSeq.
Erik de Castro Lopo <erikd@mega-nerd.com>**20100305103049
 Ignore-this: 656f98c30a415d75480c41f06de990df
] 
[Make sure pShowNext parser combinator does not consume input.
Erik de Castro Lopo <erikd@mega-nerd.com>**20100305042545
 Ignore-this: 2a0893f3b18c1861e39b8e4fd6d38c2b
] 
[Move test/Broken-skip/T147-ParseLet to passing tests.
Erik de Castro Lopo <erikd@mega-nerd.com>**20100304104131
 Ignore-this: 4c434aa3611b2589b123265ad56fbba1
] 
[Fix #147 : Parse error on let.
Erik de Castro Lopo <erikd@mega-nerd.com>**20100304101813
 Ignore-this: a5b55f8eda8d16e6b7263b89c5c8ad06
] 
[Add 3 new Parsec debugging and tracing combinators.
Erik de Castro Lopo <erikd@mega-nerd.com>**20100303081529
 Ignore-this: 4318b03a10bf8e740e6d9242a8104ef2
] 
[Add test/Broken-skip/T171-ListComp/Main.ds.
Erik de Castro Lopo <erikd@mega-nerd.com>**20100302110650
 Ignore-this: c20dbd8b37513e3c5fb3db1fe499ae5b
] 
[Move test/Broken-skip/T162-ListCompPatterns to
Erik de Castro Lopo <erikd@mega-nerd.com>**20100302101213
 Ignore-this: db36b593f70eac3bec09aa36b9e21623
     test/14-Desugar/ListComp/T162-ListCompPatterns.
] 
[Fix #162 : Handle patterns in left of list comprehension generators.
Erik de Castro Lopo <erikd@mega-nerd.com>**20100302093249
 Ignore-this: f60dfedd2a7e844b041a4ccd46413c0b
] 
[Add a couple more Show instances to Class.Show.
Erik de Castro Lopo <erikd@mega-nerd.com>**20100301120433
 Ignore-this: 66d6632fa1450093cfddcf2a95a85dd7
] 
[Add config for linux-ppc.
Erik de Castro Lopo <erikd@mega-nerd.com>**20100301203256
 Ignore-this: f8cde4f7ab27510de7746f2919d1ff20
] 
[Increase formatPathWidth in war output.
Erik de Castro Lopo <erikd@mega-nerd.com>**20100228075214
 Ignore-this: caad078bdbc4036b295c8dc64c3effad
] 
[Update war driver so it handles *.warn.check as a TestDiff.
Erik de Castro Lopo <erikd@mega-nerd.com>**20100228073337
 Ignore-this: 131cd4d5ffe08710ff7cf9668235c28f
] 
[Add test/15-Defix/T151-DollarDo/Test.warn.check.
Erik de Castro Lopo <erikd@mega-nerd.com>**20100228070116
 Ignore-this: 52e3ad26d23e9174fb8680595acdcdd4
] 
[Set different war heap limits on 32 and 64 bit systems.
Erik de Castro Lopo <erikd@mega-nerd.com>**20100228011514
 Ignore-this: f1e3084a29fd441228e40de294ef952b
 
 Building test/90-Programs/Rover after 'make cleanWar' is currently taking 24M
 on 32 bit systems and 48M on 64 bit systems.
 Therefore set the limits to 30M and 64M respectively.
] 
[external/TinyPTC-X11 config tweak.
Erik de Castro Lopo <erikd@mega-nerd.com>**20100228002628
 Ignore-this: 94dd84878a47b950b2ad0a779f9da775
] 
[Switch all imports of Control.Monad.State to Control.Monad.State.Strict.
Erik de Castro Lopo <erikd@mega-nerd.com>**20100227101302
 Ignore-this: a88a149426beb6080504e098f326b3bb
] 
[Centralise and unify reporting of warnings.
Erik de Castro Lopo <erikd@mega-nerd.com>**20100227064755
 Ignore-this: 573a882d7e25696e3500305c8f2fca64
] 
[Move test/Broken-skip/T151-DefixAppsPanic to test/15-Defix/T151-DollarDo.
Erik de Castro Lopo <erikd@mega-nerd.com>**20100227024518
 Ignore-this: 427e3a267c13ade80d0126ea5ce1fdf7
] 
[Fix #151 : Warn on redundant '$' operator instead of panicing.
Erik de Castro Lopo <erikd@mega-nerd.com>**20100227022927
 Ignore-this: 7907420bb612231b8645c752a3c4b30f
] 
[Tweak test T168-ModuleExporter.
Erik de Castro Lopo <erikd@mega-nerd.com>**20100226105831
 Ignore-this: 8ba677d4df082448f3d3889cc3f7b479
] 
[Add test/Broken-skip/T168-ModuleExporter.
Erik de Castro Lopo <erikd@mega-nerd.com>**20100226102705
 Ignore-this: 8fd0b86b4a25f428b15598fcbddd5da3
] 
[#5 is fixed but breaks some tests, so moved those to Broken-skip.
Ben Sinclair <ben.d.sinclair@gmail.com>**20100225060144
 Ignore-this: 8e7b5b22a6a0e5ca5405e06acd580a8
] 
[Fix #5: Check that top level CAFs don't have side effects.
Ben Sinclair <ben.d.sinclair@gmail.com>**20100225042022
 Ignore-this: db7b72930b8c6f9739dfc94c0f859dd7
] 
[Type.Exp comment fixes.
Ben Sinclair <ben.d.sinclair@gmail.com>**20100225025054
 Ignore-this: e2f9068540084543d3f8b3d4557ce8ab
] 
[Clear out some trash
Ben.Lippmeier@anu.edu.au**20100224035516
 Ignore-this: e43b07b56e4917e36043d1ae9b85e4b9
] 
[More Makefile tweaks
Ben.Lippmeier@anu.edu.au**20100224023756
 Ignore-this: d1b6f04ecc58263665b6473aa7c2065
 Rename WARTHREADS -> THREADS and pass this to make as well.
 
 New targets:
  "make total", builds compiler, libs, docs, runs all the tests in all ways.
  I'll change the buildbot to use this target.
 
  "make cleantotal" cleans the source tree, then does above.
] 
[Add "make totalwar" and "make totallogwar" targets
Ben.Lippmeier@anu.edu.au**20100224005927
 Ignore-this: 972154a2ee08e845fdcdaabaaccc7f9d
 
 Regular "make war" is the minimal testing required before pushing patches, 
 whereas "make totalwar" runs all tests in all ways".
] 
[Accept wibbles from moved tests
Ben.Lippmeier@anu.edu.au**20100224005333
 Ignore-this: 9581038636951703e64d6c8d0a82dc4b
] 
[Add "make war" and "make logwar" targets
Ben.Lippmeier@anu.edu.au**20100224003837
 Ignore-this: 1534b9c6409dcb807b394547b38fb259
 Not sure why we didn't have this before.
 
 I've also added a WARTHREADS option to make/config.mk, which controls
 the default number of threads to use (currently 2). You can change
 this in config-override.deps
] 
[mv 70-Driver -> 10-Driver. If the driver is broken then everything is
Ben.Lippmeier@anu.edu.au**20100224001508
 Ignore-this: d8b02ffffdb960027eb14616e6894cbf
] 
[Move test/01-Staged -> 01-Sanity and add notes saying what's supposed to be here.
Ben.Lippmeier@anu.edu.au**20100224001158
 Ignore-this: 3b4de6d963559970693c5a53451e442f
] 
[Merge the tests under test/02-Error with the rest of the tree
Ben.Lippmeier@anu.edu.au**20100224000933
 Ignore-this: 5d1c9d8f06316458176d7d727fb81a92
 We weren't consistently keeping "expect error" tests in this dir
 anyway, which is probably reason enough to move them.
 
 We can identify "expect error" tests by their .error.check files 
 anyway, so don't need to keep them in a separate directrory
 hierarchy to maintain this metadata
] 
[Use Haskell version of code how that #159 is fixed
Ben.Lippmeier@anu.edu.au**20100223233344
 Ignore-this: 824c828266b6deb44bf57a1d9ca12551
] 
[Fix #165 : A single 'make' command should build the whole thing.
Erik de Castro Lopo <erikd@mega-nerd.com>**20100223214440
 Ignore-this: 9e5d8efe4a6f18c0eb7e062a97a70779
] 
[Move T159-InfixQuotePrecedence to test/20-Library.
Erik de Castro Lopo <erikd@mega-nerd.com>**20100223125845
 Ignore-this: 4512bb6b5be9361b72bcbdbc99c609a9
] 
[Fix #159 : Infix quotes have wrong precedence.
Erik de Castro Lopo <erikd@mega-nerd.com>**20100223123732
 Ignore-this: fecf29634e7f3ba3c82dbea181f83459
 
 Fix was three fold; first fix the parser to accept `opname` in an infix
 expression, then fix the exporting of `opname` to the interface file and
 finally adding an appropriate infixl statement for `div` to the Data.Int
 library module.
] 
[Add backtick quoting of infix function names when generating an interface file.
Erik de Castro Lopo <erikd@mega-nerd.com>**20100223122041
 Ignore-this: f595dee8baa4159859bff2d0337b39d9
] 
[Add test test/12-Parser/Infix/T166-ParseInfixNamedOps.
Erik de Castro Lopo <erikd@mega-nerd.com>**20100223113847
 Ignore-this: 3e1d76406c7e4194b5edf9e8091ce9cf
] 
[Fix #166 : Fix parser to accept backtick quotes vars in infix expressions.
Erik de Castro Lopo <erikd@mega-nerd.com>**20100223113632
 Ignore-this: 21f60853e915c30e858a35a7871b924d
] 
[Fix #164 : Handle renaming of some X11 Ext headers in TinyPTC-X11.
Erik de Castro Lopo <erikd@mega-nerd.com>**20100223101456
 Ignore-this: c859b29a48f1f908127964b3c60f8c4f
] 
[Add test for #163: Elaboration of class constructors isn't respecting their kinds
Ben.Lippmeier@anu.edu.au**20100222114745
 Ignore-this: 66779000c9e01da9abdae997546bb537
] 
[Test wibbles
Ben.Lippmeier@anu.edu.au**20100222110339
 Ignore-this: dbe13507dcbcd0069a2faf59ea26b87d
] 
[Add a stack of fns to Data.List
Ben.Lippmeier@anu.edu.au**20100222071503
 Ignore-this: 6c2c3b1193a5664ac36d2ed6508638b7
] 
[Tweaks to T159-InfixQuotePrecedence.
Erik de Castro Lopo <erikd@mega-nerd.com>**20100222083030
 Ignore-this: 38058b952946e199cbd33ba9e5d0a970
] 
[Core.Reconstruct: also mask effects at top level.
Ben Sinclair <ben.d.sinclair@gmail.com>**20100222013356
 Ignore-this: 3f02f459f30b44f9b09b5c95172cbc54
] 
[Comments only
Ben Sinclair <ben.d.sinclair@gmail.com>**20100222000031
 Ignore-this: d1cc83932c95ecdeff8ee430ea645e25
] 
[Accept test wibble
Ben.Lippmeier@anu.edu.au**20100221120622
 Ignore-this: 7972e467e44c1d54f00b6106c052fa9e
] 
[Add test for #162
Ben.Lippmeier@anu.edu.au**20100221115833
 Ignore-this: e8d604204874b72db19deb2a440ac8aa
] 
[Fix renamer for list comprehensions with patterns on left of generators
Ben.Lippmeier@anu.edu.au**20100221115748
 Ignore-this: dbbc3d3917f770056d0ffdfe17ffbc5d
 The desugaring doesn't work yet though
] 
[Add more Prelude fns to Data.List
Ben.Lippmeier@anu.edu.au**20100221115558
 Ignore-this: e573824b157bbd886b2fdebbff98bf27
] 
[Add solution for 4th Euler problem
Ben.Lippmeier@anu.edu.au**20100221110654
 Ignore-this: fc85647d4e16868223ab08a7f50d6ba4
] 
[Add check for previous
Ben.Lippmeier@anu.edu.au**20100221105300
 Ignore-this: 73fdea4691064d50dd1d93b04279cf02
] 
[Add solution for 2nd Euler problem
Ben.Lippmeier@anu.edu.au**20100221104914
 Ignore-this: 9f86be67a35f8c21409823d0320364cd
] 
[Add test for #160
Ben.Lippmeier@anu.edu.au**20100221095004
 Ignore-this: 1b7d99c499741ba072502a0cb72ced76
] 
[Add more version of Euler SumNats test
Ben.Lippmeier@anu.edu.au**20100221011218
 Ignore-this: d2bf63bec5d76c7967b257c90b57aa8a
] 
[Fix bugs in Data.List intrange code
Ben.Lippmeier@anu.edu.au**20100221011201
 Ignore-this: 6426163c6eeed2715e512ec08dbb28e3
] 
[Add Data.Int.div
Ben.Lippmeier@anu.edu.au**20100221005958
 Ignore-this: 5b5fb8e40365193be1810c410b698834
] 
[Test for #159
Ben.Lippmeier@anu.edu.au**20100221005930
 Ignore-this: ae03ca6de33ee56aa745cbd462cb03ad
] 
[Start Project Euler test dir
Ben.Lippmeier@anu.edu.au**20100221001144
 Ignore-this: 56d42ddaf379d37263e88deda1f92677
 We need more test cases, and solutions for project euler problems
 seem like a good source for them. We can either solve them manually
 or crib Haskell solutions, either is good, we just want the code.
] 
[Handle forgotten TError case
Ben.Lippmeier@anu.edu.au**20100220221536
 Ignore-this: 179e3dcc6431768a033d873f21270c75
] 
[Cleanup stripFWheres
Ben.Lippmeier@anu.edu.au**20100220220934
 Ignore-this: a5757c81ec0317166c90a915a80284d7
] 
[wibble
Ben.Lippmeier@anu.edu.au**20100220104048
 Ignore-this: eb529c59c78fd89e6ed7ddfcf058be38
] 
[wibble
Ben.Lippmeier@anu.edu.au**20100220101444
 Ignore-this: 5388529acbfc82f6785d4fe6898ccd38
] 
[Repair the performance regression from before
Ben.Lippmeier@anu.edu.au**20100220100922
 Ignore-this: daf3f2800aa26186936ad312b40590d1
] 
[Also handle TConstrain form directly in the finaliser
Ben.Lippmeier@anu.edu.au**20100220095926
 Ignore-this: 6cedaa24903fbe72286c44db02e0ffa7
] 
[Follow previous changes in finaliser
Ben.Lippmeier@anu.edu.au**20100220093624
 Ignore-this: 6162df59458899ff32abfc3242847c10
 NOTE: This is a 30% performance regression for Data.List,
       due to constrainting the set of quantified vars over
       and over again in Type.Export. To be fixed in a
       subsequent patch.
] 
[Remove leftover debugging stuff from finaliser
Ben.Lippmeier@anu.edu.au**20100220090322
 Ignore-this: 13b3e2e298f4461ec02eb5595a1418ec
] 
[Remove the old test/Simple-skip dir
Ben.Lippmeier@anu.edu.au**20100220044902
 Ignore-this: 9eaa85478e6e2e2d0d3aad804615674f
 These were little tests I was using before anything else worked.
 They're all covered by the real testsuite now.
] 
[Use TConstrain form in the plugger
Ben.Lippmeier@anu.edu.au**20100220043403
 Ignore-this: 6eb24b40add525063e39b30c815afa8
] 
[Use TConstrain form in the loop cutter
Ben.Lippmeier@anu.edu.au**20100219235049
 Ignore-this: 7d36ab56e45f2e5ead03461e131499fd
] 
[Comments only
Ben.Lippmeier@anu.edu.au**20100219110142
 Ignore-this: 9b9c1489855da358d8d519599b56acb5
] 
[Comments and formatting only
Ben.Lippmeier@anu.edu.au**20100219104745
 Ignore-this: a5f0e872584d8b032d3c3560637e325
] 
[#104 was already fixed
Ben.Lippmeier@anu.edu.au**20100218113046
 Ignore-this: 9373022acb68973b533f5b107144360
] 
[Remove dead code
Ben.Lippmeier@anu.edu.au**20100218110912
 Ignore-this: b9afeec5ac69f27300d61cf5a7d3ea21
] 
[Accept test wibbles
Ben.Lippmeier@anu.edu.au**20100218110633
 Ignore-this: 94323206be2578def2a980b2993d6f4f
] 
[#158 is fixed, so long as you add an explicit module id to the source file
Ben.Lippmeier@anu.edu.au**20100218110124
 Ignore-this: d4fafcd7c81ec249034c291e99273af8
 The "index" var is magical, because its got its own syntactic 
 sugar but is implemented as a library function. You'll still get a 
 panic if you omit the module id, but this is part of the base library
 so should never be triggered by users.
] 
[Remove some long dead code
Ben.Lippmeier@anu.edu.au**20100218104812
 Ignore-this: ebae332f6fe0453dacb215d1c7550634
] 
[Use module ids given in source files
Ben.Lippmeier@anu.edu.au**20100218104615
 Ignore-this: 401c357f1538bd7e64fa75819d010497
] 
[Remove old test
Ben.Lippmeier@anu.edu.au**20100218092744
 Ignore-this: 88be955dcfe46e703fe28a43379feb05
] 
[Move error test to error dir
Ben.Lippmeier@anu.edu.au**20100218092308
 Ignore-this: 4e9dc9b31aaf4180fe9baae762002962
] 
[Allow module ids at the start of modules
Ben.Lippmeier@anu.edu.au**20100218050852
 Ignore-this: 7d031f59044fd602e8ac6f4266203177
 
 I decided to use:
 
   module Graphics.Raster.Triangle
   import Data.List
   thing1 = ...
   thing2 = ...
   
 instead of the Haskell standard:
 
   module Graphics.Raster.Triangle where
   import Data.List
   thing1 = ...
   thing2 = ...
   
 That 'where' is funny because the bindings do not start to the right
 of 'module', which makes it unlike any other 'where' in the program. 
   
 If we were going to be consistent we'd have
 
   module Graphics.Raster.Triangle where
       import Data.List
       thing1 = ...
       thing2 = ...
   
 With the bindings indented, but we don't want the whole program
 indented.
   
 If we want to support nested modules in the same source file at
 a later date then this last version would be easy to add.
   
 I hacked around for a while trying to get the Haskell standard 
 version to work, but I'd have to handle it as a specicial case
 and rewrite other code. Taking that as an omen I gave up on it.
   
 We don't actually do anything with the module ids yet, 
 besides parse them. Patch pending.
] 
[Add test/Broken-skip/T158-TypeSolveFloatBranch.
Erik de Castro Lopo <erikd@mega-nerd.com>**20100218015923
 Ignore-this: 9973e047ed754e2d3c73c94873540170
] 
[Add missing binding
Ben.Lippmeier@anu.edu.au**20100218013724
 Ignore-this: efcaba9536f1a1dc9fe644a25668d818
] 
[Fix bug in Source.Lint
Ben.Lippmeier@anu.edu.au**20100218013214
 Ignore-this: 2f5552002acf8e13ee191ced9d1c7594
] 
[Fix #143: check for signatures without bindings
Ben.Lippmeier@anu.edu.au**20100218012346
 Ignore-this: a57a0ee81f51d8170e53ccdfaf07c073
] 
[Extend coverage of source linter
Ben.Lippmeier@anu.edu.au**20100218004737
 Ignore-this: b94bf4a516793af2e187ffaa0daf2b26
] 
[Resurrect Source.Lint
Ben.Lippmeier@anu.edu.au**20100217120508
 Ignore-this: 3a21e9dfa9eaea394dfbf6f1030403f6
] 
[Remove leftover war.order fiels. War doesn't use them anymore
Ben.Lippmeier@anu.edu.au**20100217104129
 Ignore-this: a1d5eb8bcaa3cc989fc07443d9d51fa7
] 
[This renamer test works now
Ben.Lippmeier@anu.edu.au**20100217103929
 Ignore-this: 76a558041f590691e147a6444720f156
] 
[Accept test wibbles
Ben.Lippmeier@anu.edu.au**20100217080425
 Ignore-this: e98164f640973c574dc98aab920d9b5c
] 
[Cleanup renamer and fix resolution for lbindZ_bound things
Ben.Lippmeier@anu.edu.au**20100217074239
 Ignore-this: 15fd27b60a5c4e15ff75e9e3d7274307
] 
[Fix renaming of list comprehensions
Ben.Lippmeier@anu.edu.au**20100217063702
 Ignore-this: c2869a0b58b9695933d5674ea50a0391
] 
[Allow disambguation of names using explicit module ids
Ben.Lippmeier@anu.edu.au**20100217061226
 Ignore-this: 52705eb3a4a4ca89a5d2fd5cad5746fa
] 
[Add missing Data.BoolU module
Ben.Lippmeier@anu.edu.au**20100217052330
 Ignore-this: ac88515ee27ce8c2de081546848789e8
] 
[Redo handling of top-level vars, add Scope data type
Ben.Lippmeier@anu.edu.au**20100217051819
 Ignore-this: b450bc825558a69d7e1954dd42f6f940
] 
[Rewrite the renamer
Ben.Lippmeier@anu.edu.au**20100216101614
 Ignore-this: ad26c4657b70cf68beae70be7b845fd1
 Making the renamer to allow different instances of the same name
 at top level, but in different modules, required a substantial rewrite.
] 
[Refactor local var binding code to look like top level binding code
Ben.Lippmeier@anu.edu.au**20100212114317
 Ignore-this: 9f67083cb75f070b83a0e367ee110314
] 
[Follow changes in type parser
Ben.Lippmeier@anu.edu.au**20100212114218
 Ignore-this: a796a5b843098adf913ce854d80f8605
] 
[Split renamer code into its own module and rename lookup -> bind
Ben.Lippmeier@anu.edu.au**20100212112857
 Ignore-this: 3179561079b3b9552ce83f456f7b0ca8
] 
[Split out variable binding code into its own module
Ben.Lippmeier@anu.edu.au**20100211111055
 Ignore-this: 1bc00dba0341887f6be082ad2553a8ac
] 
[Split out object renamer stuff into its own module
Ben.Lippmeier@anu.edu.au**20100211110016
 Ignore-this: d0875734ccc1adc49dbdb81c47a2438d
] 
[Respect Module ids when comparing variables
Ben.Lippmeier@anu.edu.au**20100211102108
 Ignore-this: 24439952765c5efc0d1c75b303932bdf
 Beore, we had Module ids associated with each variable but we weren't
 actually using them. We need to respect them now because we might use
 the same region variable in a top level decl. Eg:
 
 module Math.Consts where
   region %r1
   pi :: Float %r1.
 
 module Data.Bool where
   region %r1
   otherwise :: Bool %r1
 
 The variable %r1 is generated by the type inferencer, and it's not 
 practical to try and keep region vars in constants unique across
 all modules.
] 
[Handle TBot in Type.Check.Danger
Ben.Lippmeier@anu.edu.au**20100131064807
 Ignore-this: f56f23d77745d108803603c8451c993b
] 
[Use TConstrain form in dangerous vars check and core trimmer
Ben.Lippmeier@anu.edu.au**20100131064124
 Ignore-this: 410c5fde9626b1c012a3c43f2f67cf13
] 
[Use TConstrain form in the trimmer
Ben.Lippmeier@anu.edu.au**20100131062625
 Ignore-this: 5f22df171a1c142fb8dfbed931e716f6
] 
[Comments and formatting only
Ben.Lippmeier@anu.edu.au**20100116014857
 Ignore-this: f91d205456c27a9282e32e4ef21a1c6b
] 
[Core.Reconstruct wibble
Ben Sinclair <ben.d.sinclair@gmail.com>**20100215224045
 Ignore-this: 4eaad63bb20d9daf39e9d7edb81dbeee
] 
[Convert Core.Reconstruct to use a State monad.
Ben Sinclair <ben.d.sinclair@gmail.com>**20100215145009
 Ignore-this: 7d89e39aeb144c300786c9b42246681
] 
[Comment tweaks to Core.Reconstruct.
Ben Sinclair <ben.d.sinclair@gmail.com>**20100215041737
 Ignore-this: 8bd5400b96946b340e8116aa0b1cbe27
] 
[Clean up error message for ErrorRedefined.
Erik de Castro Lopo <erikd@mega-nerd.com>**20100214051304
 Ignore-this: 504fb87dc151421ea962712fb6ba41de
] 
[Move test for #146 to test/02-Error/20-Desugar.
Erik de Castro Lopo <erikd@mega-nerd.com>**20100213113001
 Ignore-this: 9015232aad633baf0917a1d7da7c882e
] 
[Fix #146: Raise error on a redefined class instance.
Erik de Castro Lopo <erikd@mega-nerd.com>**20100213112523
 Ignore-this: 77ac58f4438b98fc18296787754ef6ca
] 
[Fix irrefutable pattern failure in projections desugarer.
Erik de Castro Lopo <erikd@mega-nerd.com>**20100213065122
 Ignore-this: 2d3f53392ff2cd50fabeb6c95af2d9f0
] 
[Minor refactoring of Type parser.
Erik de Castro Lopo <erikd@mega-nerd.com>**20100210200658
 Ignore-this: ca83ef3fa27258e5bab46a5ae4015f9f
] 
[Refactor the projection combinator removing another Parsec.try.
Erik de Castro Lopo <erikd@mega-nerd.com>**20100210095725
 Ignore-this: bb506280ee52910183dc870087d5f346
] 
[Minor refactoring of expression parser.
Erik de Castro Lopo <erikd@mega-nerd.com>**20100208071154
 Ignore-this: bdec5f99b225b11819ed7c8028a6c8ec
] 
[Hlint clean ups in src/Source/Parser/ direcory.
Erik de Castro Lopo <erikd@mega-nerd.com>**20100207082936
 Ignore-this: ce95bd176c25684d3c3c1e5fd9d40f97
] 
[Limit DDC run time heap to 50M.
Erik de Castro Lopo <erikd@mega-nerd.com>**20100206212318
 Ignore-this: 649ad40824488f0287edcefecb2380d2
 
 It would be nice to have a tool to do a more comprehensive check for excessive
 heap usage regressions but for now this should do.
 
 Tested with the full test suite on 32 and 64 bit Linux.
] 
[Add --auto-all to profiling version of GHC_FLAGS.
Erik de Castro Lopo <erikd@mega-nerd.com>**20100206204153
 Ignore-this: 1472d60af28b921afabe359f487f7eb3
] 
[Add unit test for propagateNeedsRebuild.
Erik de Castro Lopo <erikd@mega-nerd.com>**20100206204141
 Ignore-this: 1e225059314e8bb0cfe917270dd68c6d
] 
[Fix #99 : Finding which modules need to be rebuilt is inefficient.
Erik de Castro Lopo <erikd@mega-nerd.com>**20100206120335
 Ignore-this: a2a62f5d5a439569b12904dcc83228e9
 
 Profing of the build of the Rover program in the test suite show that as much
 as 90% of the run time and 90% of the memory usage was used just to figure
 out which modules needed to be rebuilt.
 
 The problem turned out to be an O(n^2) (and possibly worse) algorithm which
 tried to build the ScrapeGraph and figure out which modules needed to be
 rebuild in a single pass. Separating this into two passed, one to build the
 ScrapeGraph and one to propagate the NeedsRebuild flag fixed the problem.
 Building the ScrapeGraph now takes less than 1% of the compile run time.
] 
[Fix #156 : Move Quickcheck tests from a ddc runtime option to test suite.
Erik de Castro Lopo <erikd@mega-nerd.com>**20100206110437
 Ignore-this: ed3c7de23fecc4737d54e99c59b9ba3e
] 
[Fix #109 : Quickcheck tests pass with quickcheck1, fail with quickcheck2.
Erik de Castro Lopo <erikd@mega-nerd.com>**20100206095847
 Ignore-this: abb4ddffea08a8e182627354c5fc396d
 
 The second part of the fix for this bug required redoing the Quickcheck
 Arbitrary instance for BackGraph to force it to generate sensible sized
 graphs that are guaranteed to be acyclic.
] 
[Rename two files in test tree named Main.hs.
Erik de Castro Lopo <erikd@mega-nerd.com>**20100206074107
 Ignore-this: e22924df1811338b94c81e3968a2e52a
] 
[Make target cleanWar now only clean tests, not library.
Erik de Castro Lopo <erikd@mega-nerd.com>**20100206073125
 Ignore-this: a5a179a1e6a5db58e4312e84b2d7dca1
] 
[Rearrange test directory.
Erik de Castro Lopo <erikd@mega-nerd.com>**20100206071047
 Ignore-this: 2f32acf09f60e54fe16a14bf40c74729
 
 Rename test/00-Staged -> test/01-Staged and test/01-Error -> ./test/02-Error
 to make way for unit and Quickcheck tests in test/00-Unit.
] 
[Extend war driver to build and run Haskell tests.
Erik de Castro Lopo <erikd@mega-nerd.com>**20100206065914
 Ignore-this: fdd321ebdcee2aec23bd791f3199921
] 
[Move packages needed to build DDC to a make var in make/build.mk.
Erik de Castro Lopo <erikd@mega-nerd.com>**20100206044511
 Ignore-this: c8892c1104d7203207c49dd1914f5f69
] 
[Fixes for Quickcheck2 (partial fix for #109).
Erik de Castro Lopo <erikd@mega-nerd.com>**20100204101303
 Ignore-this: fa511ddcffcbefa4b12ba873b0c0633f
  
 These tests would pass with Quickcheck 1.X and fail for 2.X which seemed
 to give up when it fails to generate enough data that satisfies the
 pre-requisites. The solution is to recast the test so that any list can
 be used in the test.
] 
[Makefile wibble in TinyPTC
Ben.Lippmeier@anu.edu.au**20100204054423
 Ignore-this: 5c5e7ae406ad4dc2f0b691e1ebda9df1
] 
[Add a test for bug #155.
Erik de Castro Lopo <erikd@mega-nerd.com>**20100201212014
 Ignore-this: ec638a01bc5e7b774aa84c73e773036
] 
[Haddock tweaks.
Ben Sinclair <ben.d.sinclair@gmail.com>**20100201085032
 Ignore-this: 76f758f940ddd100203eda6ec3f3d844
] 
[Reduce time DDC takes to compile disciple code.
Erik de Castro Lopo <erikd@mega-nerd.com>**20100201071933
 Ignore-this: 31760d7f943fab967c4f6c3dce8fcd42
 
 Replace Control.Monad.State with Control.Monad.State.Strict to force
 strict evaluation of the State monad. Tested this on my machines showed
 a 30% compile time speedup on x86/linux and a 40% speedup on x86_64/
 linux.
] 
[Remove 3 more Parsec.try.
Erik de Castro Lopo <erikd@mega-nerd.com>**20100131062251
 Ignore-this: 6041407ba3c4b0013bcbf833c9533b3e
] 
[Remove one of a pair of nested Parsec.trys.
Erik de Castro Lopo <erikd@mega-nerd.com>**20100131052103
 Ignore-this: 18434a8e9d2157f4173c360281c1f109
] 
[Fixes for ghc-6.12.1
Ben Sinclair <ben.d.sinclair@gmail.com>**20100118044025
 Ignore-this: fce75c6ee86ad6a7cb9ba9677b3651c0
 ghc-6.12.1 parses implicit arguments as part of function context so I've
 adjusted affected functions to be in that form, and some type defaulting was
 causing warnings so added explicit types for those values.
] 
[Rename Type.Port to Type.Strengthen
Ben.Lippmeier@anu.edu.au**20100116013017
 Ignore-this: de383459c9d9b2e9b4d02bf74aea40a8
 Horray for understanding what this was trying to do...
] 
[Use TConstrain form in Data.Port
Ben.Lippmeier@anu.edu.au**20100115063649
 Ignore-this: c19d57d079f25d88fa37059937f78daa
] 
[Make the trimmer handle TConstrain as well as TFetters
Ben.Lippmeier@anu.edu.au**20100114105438
 Ignore-this: de7b85fbe7997ba233e4e57ad222d7f5
] 
[Comments only
Ben.Lippmeier@anu.edu.au**20100114100855
 Ignore-this: 12630e43b9a946d5ac507fbd294db087
] 
[Produce TConstrain form directly in the tracer
Ben.Lippmeier@anu.edu.au**20100114100258
 Ignore-this: a7b4a5cebb1b9412d1f93cd3785c8e91
] 
[Test wibble
Ben.Lippmeier@anu.edu.au**20100114092950
 Ignore-this: cd72c5e6afe11e20bf2c400730a81b94
] 
[Refactor the tracer to use an accumulating list
Ben.Lippmeier@anu.edu.au**20100114092334
 Ignore-this: f77cf9f68fc817fdde94f7adf33881a3
] 
[Reused TFree terms during tracing
Ben.Lippmeier@anu.edu.au**20100114082921
 Ignore-this: 8788c52ea8ec0aa317c5bc6809e33244
] 
[Cleanup and add comments to the tracer
Ben.Lippmeier@anu.edu.au**20100114072559
 Ignore-this: 8a2cc8060048df1c6688dfc91431e21
] 
[Trim closure terms as we load them from the graph
Ben.Lippmeier@anu.edu.au**20100114015559
 Ignore-this: b4990e7c362d7b5b47cb8ee2a3ce562a
 The volume of closure information is huge, try and cut it down
 as soon as possible and avoid processing it in later stages
 during extraction.
] 
[Comments and cleanup
Ben.Lippmeier@anu.edu.au**20100114014200
 Ignore-this: 613112af57b7dc7ed556d4ff43965458
] 
[Comments and formatting only
Ben.Lippmeier@anu.edu.au**20100113110533
 Ignore-this: 7e1ba537e86f7c032923e264fa374c06
] 
[Remove dead code
Ben.Lippmeier@anu.edu.au**20100113110125
 Ignore-this: 20c8de9292a173c11afec147327de281
] 
[We're not doing a separate aliasing pass anymore
Ben.Lippmeier@anu.edu.au**20100113105601
 Ignore-this: f2bf710053e3b34d7359a0b6066dbb5d
] 
[Follow changes in source locations
Ben.Lippmeier@anu.edu.au**20100113103836
 Ignore-this: 7b3f3894e191552eb0fd69cddd87e374
] 
[Crush WriteT like ReadT
Ben.Lippmeier@anu.edu.au**20100113103114
 Ignore-this: 8e0bff5ad86f461a4d69fdb750b08b82
] 
[We don't need Type.Diagnose anymore
Ben.Lippmeier@anu.edu.au**20100113101959
 Ignore-this: 8db94d4d022c2845dbe4f66eccd994c9
] 
[We don't need the fetter source tracing code anymore
Ben.Lippmeier@anu.edu.au**20100113100947
 Ignore-this: b07212880e3cb1b636fb58dfe9c84c12
 Justifications are propagated through by the crusher, so we
 don't have to go tracing through the graph anymore.
] 
[Remove old ErrorPurifiedRead code
Ben.Lippmeier@anu.edu.au**20100113094741
 Ignore-this: a903bc7e6719f0b5c199d21377110dc5
 This sort of error is now handled by the regular constraint conflict code.
] 
[Remove old code, we don't need the purity error diag code anymore
Ben.Lippmeier@anu.edu.au**20100113092014
 Ignore-this: c1d03fde9cceb0083dcc6c85b2b73abf
 Justifications are stored directly in each node, so we don't
 need to go tracing through if we hit an error.
] 
[Remove unused debug code
Ben.Lippmeier@anu.edu.au**20100113091843
 Ignore-this: 533c75d3f58032d5da5a37577aa009d2
] 
[Remove dead code
Ben.Lippmeier@anu.edu.au**20100113091039
 Ignore-this: 553ca8961a044eb8fb03b4d04709db83
] 
[Remove dead code
Ben.Lippmeier@anu.edu.au**20100113090431
 Ignore-this: acd17d6a56466904670e46dab5d4891e
] 
[Comments and cleanup
Ben.Lippmeier@anu.edu.au**20100113085750
 Ignore-this: 933256c910a5b7043ae444be103d56df
] 
[Refactor: ditch sDataFields and friends, we weren't using them consistently.
Ben.Lippmeier@anu.edu.au**20100113082352
 Ignore-this: 97924fe000ead9cbc0df7a60db2dc561
] 
[Comments and cleanup for the solver
Ben.Lippmeier@anu.edu.au**20100112233132
 Ignore-this: b8b127f763ecb8287b34865634b49c0f
] 
[Split the finaliser into its owm module
Ben.Lippmeier@anu.edu.au**20100112222219
 Ignore-this: 4ee53cb7444b87e8da66523648add65
] 
[Split the generaliser into its own module
Ben.Lippmeier@anu.edu.au**20100112220731
 Ignore-this: cb0b4a005ba52230f8a4c7bc475c34a9
] 
[Split the binding group determinator into its own module
Ben.Lippmeier@anu.edu.au**20100112214051
 Ignore-this: f6a8b61de96824aa1e2daa6985e0273b
] 
[Split the grinder into its own module
Ben.Lippmeier@anu.edu.au**20100112213345
 Ignore-this: d223a8901bc764166714ef44302d7a3
] 
[Fix failing test ProjOfExp.
Ben.Lippmeier@anu.edu.au**20100112081254
 Ignore-this: 850d326c8fc3430aa8afefa507236fd6
 Another problem with instance types being different from
 the type in the class definition.
] 
[#75 is supposed to fail
Ben.Lippmeier@anu.edu.au**20100112074933
 Ignore-this: 398bac9091033a767c68a73bcba00310
] 
[#76 is fixed: Compilation time exponential in depth of constructor matching
Ben.Lippmeier@anu.edu.au**20100112073549
 Ignore-this: 93660588802384548cedc4c5d92ba01e
 Not sure what the original problem was, but it seems ok now.
 Maybe it was fixed in the type inferencer refactoring.
] 
[#150 was fixed by the inferencer refactoring
Ben.Lippmeier@anu.edu.au**20100112071259
 Ignore-this: 2267e39138465cccde7555f7a2ad7fb2
] 
[#75 is fixed
Ben.Lippmeier@anu.edu.au**20100112070723
 Ignore-this: 5b8e809c73e126b1c59eabadff502f70
] 
[The complexity tests work now
Ben.Lippmeier@anu.edu.au**20100112062715
 Ignore-this: 27c96de693faa2cbc9ceb4d8e7a997e0
] 
[Test dir wibble
Ben.Lippmeier@anu.edu.au**20100112061931
 Ignore-this: a5ace10078ffb4dc60222708a7dfa433
] 
[Repair more error reporting for purity conflicts
Ben.Lippmeier@anu.edu.au**20100112061337
 Ignore-this: ec5c00e4f604fc06607b749c35617f53
] 
[Fix displaying of some purity errors
Ben.Lippmeier@anu.edu.au**20100112054729
 Ignore-this: 360d74db7b0a41d5b25f03feb3da4577
] 
[Refactor crushing of single param type classes
Ben.Lippmeier@anu.edu.au**20100112044715
 Ignore-this: de3380702fbbe949a30bf770fa077238
] 
[Fix threading of witnesses in core, that wasn't decending into existing TWitJoins
Ben.Lippmeier@anu.edu.au**20100112025130
 Ignore-this: 325e1a7f773bc42af98e5a3e2b39585a
] 
[Repair crushing of MutableT and ConstT constraints
Ben.Lippmeier@anu.edu.au**20100112023307
 Ignore-this: 5cf66d21c1625b225408849e3dc516a3
] 
[Accept test wibbles
Ben.Lippmeier@anu.edu.au**20100112014412
 Ignore-this: 97701368c02f06e76d4ca2defddbf42b
] 
[Repair handling of kind mismatch errors
Ben.Lippmeier@anu.edu.au**20100112004415
 Ignore-this: 2475080c863f23281275f36916025aa0
] 
[Accept test wibbles
Ben.Lippmeier@anu.edu.au**20100111115604
 Ignore-this: 3277399be6ad2506b8ca7f305b830e9a
] 
[Fix error reporting for infinite type errors
Ben.Lippmeier@anu.edu.au**20100111115103
 Ignore-this: 2e1e3787677ada9c4eb9f76758a2a163
] 
[Refactor more collect fns to use sets
Ben.Lippmeier@anu.edu.au**20100111104008
 Ignore-this: 661c3518bbb1ab7d60ec41315a1fef78
] 
[Refactor collection fns to use sets instead of lists
Ben.Lippmeier@anu.edu.au**20100111100453
 Ignore-this: 6cac91cf0ea332bf07e84a54f40766b7
] 
[comments only
Ben.Lippmeier@anu.edu.au**20100111004927
 Ignore-this: d2e3bbbc5b36b3e7a902f95bf8649d4d
] 
[Refactor config for loop handling in PackType
Ben.Lippmeier@anu.edu.au**20100111004412
 Ignore-this: ea2b0d41cd620e6539b7ea30fcbde055
] 
[formatting only
Ben.Lippmeier@anu.edu.au**20100111001914
 Ignore-this: 6a6f263efed4b4e8f137633f50a7d232
] 
[Refactor TErrors
Ben.Lippmeier@anu.edu.au**20100111001712
 Ignore-this: cdd25e5c9f604d52d057c495861d798
] 
[Accept test wibble
Ben.Lippmeier@anu.edu.au**20100110233449
 Ignore-this: 135273a79b431ef38018850d2e1114ac
] 
[Fix errors involving projections of non-data types
Ben.Lippmeier@anu.edu.au**20100110233302
 Ignore-this: dbf78511125aca23d46a6c43bbe85420
] 
[Fix 'field not present' error message
Ben.Lippmeier@anu.edu.au**20100110232906
 Ignore-this: 88cb5c68c3c21f6c505f78c9c7548acd
] 
[Accept some more test wibbles
Ben.Lippmeier@anu.edu.au**20100110082113
 Ignore-this: 5787fa102effb4197ebff7d3ab59ab42
] 
[Accept some test wibbles
Ben.Lippmeier@anu.edu.au**20100110081946
 Ignore-this: 2a72d1a8a1dc8d882e3c8194e257e19
] 
[Fix reporting of purification errors
Ben.Lippmeier@anu.edu.au**20100110081513
 Ignore-this: b006c7d8bd60a0a252760edc91ef77a8
] 
[Accept some test wibbles
Ben.Lippmeier@anu.edu.au**20100110074431
 Ignore-this: 27487da278628f6d88ec4b70d12a68a4
] 
[Remember about fetterSources when merging classes
Ben.Lippmeier@anu.edu.au**20100110074037
 Ignore-this: 5ba95bc5d9299d71c812d25e129f1e1d
] 
[Fix detection of TCon conflict errors
Ben.Lippmeier@anu.edu.au**20100110072720
 Ignore-this: a82c81f7054e5fdaf24e3de0f44e706c
] 
[With traceDownLeftSpine, allow general types, not just classIds
Ben.Lippmeier@anu.edu.au**20100110070628
 Ignore-this: eeaad0c0f7cc3f1c41c5b3e41903e219
] 
[Allow region vars, not cids when deciding which ones are dangerous
Ben.Lippmeier@anu.edu.au**20100110035253
 Ignore-this: 1a818083a3ad371b4f9634b4125cf933
] 
[Store fetters separately from Types, no more TFetter nonsense.
Ben.Lippmeier@anu.edu.au**20100110034051
 Ignore-this: 3bb49bcc1dff0f232d28b3d1247c60dd
] 
[Trim closures inside sums, to help flatten them out.
Ben.Lippmeier@anu.edu.au**20100110030446
 Ignore-this: c31e4cdb4f0cb321638ac72865be37d9
] 
[Comments only
Ben.Lippmeier@anu.edu.au**20100110024141
 Ignore-this: 7e2653e4d3bd4dec7516881997a91861
] 
[Don't check kinds during kindOfType, rely on core lint to find kind problems
Ben.Lippmeier@anu.edu.au**20100110013214
 Ignore-this: 5ba82b3b8b87c0af0a872815ba7c9785
] 
[Comments only
Ben.Lippmeier@anu.edu.au**20100110004507
 Ignore-this: 53b6024b842677c13c7100c2d7b6d02a
] 
[Remove old source type packer
Ben.Lippmeier@anu.edu.au**20100110002907
 Ignore-this: 399491f296d9d4e8e31b95b2f3e76f8d
] 
[Use fast packing instead of old packClosure_noLoops when trimming closures
Ben.Lippmeier@anu.edu.au**20100110002141
 Ignore-this: 7a3111de758eb7dbda0f7e1ac4ec10ac
] 
[Flatten closure sums during fast packing
Ben.Lippmeier@anu.edu.au**20100109112249
 Ignore-this: e6ae9110420cf724737686910bb1a8
] 
[Nicer panic message
Ben.Lippmeier@anu.edu.au**20100109112204
 Ignore-this: ae09cac6c613a3a6173018cfaaacb5b9
] 
[Simplify test
Ben.Lippmeier@anu.edu.au**20100109112139
 Ignore-this: 19bff9100ae348a83243d942a66e0d55
] 
[When crushing projections, reactivate the class if we can't crush it yet.
Ben.Lippmeier@anu.edu.au**20100109112043
 Ignore-this: 8868a7c3e8458686d6977486167eeb0e
] 
[Add comments and tracing to projection crusher
Ben.Lippmeier@anu.edu.au**20100109105309
 Ignore-this: b616b47e6392ef46bffbc0df4ae0546a
] 
[Add test for projecting result of expressions
Ben.Lippmeier@anu.edu.au**20100109090903
 Ignore-this: bcc01a0f53cd0e24d4e450f152325fa5
] 
[Dump projection resolution table
Ben.Lippmeier@anu.edu.au**20100109090748
 Ignore-this: ece2d179f8c02e2d43760080b65292c8
] 
[remove old war.order file
Ben.Lippmeier@anu.edu.au**20100109084814
 Ignore-this: 8d9bce05f70f2251d0bd17198fb12e0b
] 
[Don't worry about the complexity tests for now.. the inferencer is stil too slow.
Ben.Lippmeier@anu.edu.au**20100107032251
 Ignore-this: 8c4513a22f8fd66db1eb7ee3f1b3db77
] 
[Use fast packing in source types trimmer
Ben.Lippmeier@anu.edu.au**20100107030122
 Ignore-this: b67a51a6133bc1d1318c599c9ad14b3e
] 
[Use fast packing during elaboration
Ben.Lippmeier@anu.edu.au**20100106010621
 Ignore-this: ad27e2ca9532919dd842cfffe5a6b392
] 
[use fast packing in type finaliser
Ben.Lippmeier@anu.edu.au**20100106004356
 Ignore-this: 2bf8830e7f2b85af8426c82ee92b0b16
] 
[Use fast packing during constraint simplification
Ben.Lippmeier@anu.edu.au**20100106004013
 Ignore-this: 6d9de152034513df8026f555b2e1bf3e
] 
[Use fast packing after cutting loops
Ben.Lippmeier@anu.edu.au**20100106003014
 Ignore-this: 55a7f81d20175d316e1ef19cd3f1ce2a
] 
[Include eq constraints reachable from body in PackFast
Ben.Lippmeier@anu.edu.au**20100106002236
 Ignore-this: af25b921b7a84a73e2f964ae4311710e
] 
[Wibbles to Class.Show
Ben.Lippmeier@anu.edu.au**20100106002149
 Ignore-this: 97a82452ed487b3429dff8e9eabaf715
] 
[Freshen binders on sigs used for instance functions
Ben.Lippmeier@anu.edu.au**20100106001526
 Ignore-this: ed8ee2e6daf5f18044d61f0f0cb1a9f3
] 
[Start on a saner version of Type.Util.Pack
Ben.Lippmeier@anu.edu.au**20091212034307
 Ignore-this: 4bdd3c44da6ad7820feab6f83c34ca72
] 
[Refactoring of Fetter and Effect Crushing
Ben.Lippmeier@anu.edu.au**20091212034226
 Ignore-this: 3a9d1ee53ffe492e3a055786e13620ad
] 
[Remove some useless nubs
Ben.Lippmeier@anu.edu.au**20091211035056
 Ignore-this: 13f3a3d24ce5f0e58065fc81d8bd00b1
] 
[Don't hammer kindOfType as much in Type.Util.Trim
Ben.Lippmeier@anu.edu.au**20091209093813
 Ignore-this: 6963e0fdcd16d8ab49408abdac28fc21
] 
[Use TConstrain form in Type.Util.Pack
Ben.Lippmeier@anu.edu.au**20091209090153
 Ignore-this: 452b15f90778e48cb39fa89e309bd3cc
] 
[Don't sort fetters during packing
Ben.Lippmeier@anu.edu.au**20091209073350
 Ignore-this: b5632c6da6ff044818f55bfb81e9e959
] 
[Add a TConstrain, a version of TFetters that holds the constraints in a Map instead of a List
Ben.Lippmeier@anu.edu.au**20091209073240
 Ignore-this: 1272bd9bb6b593d826c7eea4ab5ad13a
] 
[remove dead code
Ben.Lippmeier@anu.edu.au**20091124093023
 Ignore-this: 75ddadf3b2cf793a649a10004a64dccf
] 
[Don't don't return Maybe from kindOfType
Ben.Lippmeier@anu.edu.au**20091124085759
 Ignore-this: 38ea2f4f3f7ec7315257ae897cddf3ae
 kindOfType gets hammered by the compiler, and 80% of total allocations
 from some tests were due to the allocation of Justs.
] 
[Clean up fetter crushing code
Ben.Lippmeier@anu.edu.au**20091123092001
 Ignore-this: 8d5cb4075af367acc31a4c66244ad2c0
 
 Untangle the code that crushes fetters while they are in the graph from
 the code that crushes them when we have a full traced type. The first
 is done during a graph grind, but the second when reducing the context
 of a traced type scheme.
] 
[Refactor representation of type expressions
Ben.Lippmeier@anu.edu.au**20091123074659
 Ignore-this: 96ef2322f030d484171dfe2401bd66be
 
 We now always use a general type application form TApp 
 instead of constructors specific to functions (TFun) and
 data types (TData). This makes the inferencer somewhat
 slower as there are more nodes in the graph, but also makes
 it simpler, more sane, and easier to work on.
 
 Inferencer runtime performance to be addressed in a
 subsequent patch.
] 
[Add test/21-Defib/JensensDevice.
Erik de Castro Lopo <erikd@mega-nerd.com>**20091129055931
 Ignore-this: 6a70a7b0ccbbd6004bd01e66aa7bdf0
] 
[In cleanWar target, only delete files named *.bin.
Erik de Castro Lopo <erikd@mega-nerd.com>**20091127112108
 Ignore-this: 28fb554bcb34184abe5e31332caf9837
] 
[Add test test/70-Driver/OutputIsDir.
Erik de Castro Lopo <erikd@mega-nerd.com>**20091123101757
 Ignore-this: 8caa60920286add2950329429fdd473a
] 
[Fail without panic when directory already exists.
chris@eidhof.nl**20091120104220
 Ignore-this: 669fdb00dcb5e96c0f889fc39cf2ec95
] 
[Add test/Broken-skip/T151-DefixAppsPanic/Main.ds.
Erik de Castro Lopo <erikd@mega-nerd.com>**20091121074357
 Ignore-this: 581bedf94f4701b6aaac08bfa0d439e8
] 
[Rename test/Broken-skip/T147-SuperfluousLet to T147-ParseLet and update.
Erik de Castro Lopo <erikd@mega-nerd.com>**20091121005500
 Ignore-this: 7be05495a031ac9a6ed17a5ed21b2ae6
] 
[Progress on support for type synonyms.
Erik de Castro Lopo <erikd@mega-nerd.com>**20091115103854
 Ignore-this: 58ef735803c2327d9c039fd1167474b4
] 
[Move ManOrBoy test to test/21-Defib.
Erik de Castro Lopo <erikd@mega-nerd.com>**20091117112147
 Ignore-this: b85a59024c2d46c4e3c3ef43df624f80
] 
[Add test/Broken-skip/T150-TypeLocationPanic/Main.ds.
Erik de Castro Lopo <erikd@mega-nerd.com>**20091117084805
 Ignore-this: f7bcb6008eae870cde597d185be3b3fd
] 
[Add test/Broken-skip/T149-PanicTypeCrushUnify/Test.ds.
Erik de Castro Lopo <erikd@mega-nerd.com>**20091117071544
 Ignore-this: 84ad707c53166c310df05ce80fe4c700
] 
[Don't require TFetter to have a Kind when adding it to an equiv class
Ben.Lippmeier@anu.edu.au**20091117055910
 Ignore-this: 67f6475b263518322fa1129d12aa9a2d
] 
[Refactor KWitness into KProp
Ben.Lippmeier@anu.edu.au**20091116121332
 Ignore-this: a192a798c239834e9e335933ca11fb71
] 
[Refactor parser to remove 3 Parsec.try instances.
Erik de Castro Lopo <erikd@mega-nerd.com>**20091116200742
 Ignore-this: 48465ad6d00696529d2da1d81a88104e
] 
[this time for sure
Ben.Lippmeier@anu.edu.au**20091116110441
 Ignore-this: 8048da6e2002686cd517de1f9c75a1af
] 
[Add test to check that all dump flags work
Ben.Lippmeier@anu.edu.au**20091116105822
 Ignore-this: 959e74d0e4e8e80d3d97cedf9c5bc215
] 
[Add hello world test
Ben.Lippmeier@anu.edu.au**20091116104255
 Ignore-this: 7fb8225e935937ddc378d459d8402106
] 
[Add test/Broken-skip/T148-ManOrBoy.
Erik de Castro Lopo <erikd@mega-nerd.com>**20091116070717
 Ignore-this: ef394b725be02136baf1782f05b7b880
] 
[Add test/Broken-skip/T147-SuperfluousLet .
Erik de Castro Lopo <erikd@mega-nerd.com>**20091116070027
 Ignore-this: d77d0843655b3ba3a5088942c0b9b13c
] 
[Unbreak T72-RecursiveProjKind
Ben.Lippmeier@anu.edu.au**20091115123227
 Ignore-this: a94b7f44887d27915e83ba100698fb13
] 
[Refactor: Change representation of Kinds to use KCon instead of KValue and friends
Ben.Lippmeier@anu.edu.au**20091115120837
 Ignore-this: 5578e2ceb0e5a16497438b1040c791c
 First stage in simplifying type/kind expressions. 
        use kValue = KCon KiConValue SBox  (and friends)
 instead of KValue                         (and friends)
 
 Next step is to also use KCon for KWitness and KClass.
] 
[Fix handling of PTypeSynonym in Renamer.
Erik de Castro Lopo <erikd@mega-nerd.com>**20091115054004
 Ignore-this: f3015fd837b8cb333774f53b8aa4b9c2
] 
[Move test/Broken-skip/T33-FieldCollision to test/01-Error/20-Desugar and update.
Erik de Castro Lopo <erikd@mega-nerd.com>**20091115003415
 Ignore-this: b692681381edb95bec3442e08fb0987d
] 
[Fix #33 : Report error on projection name collision.
Erik de Castro Lopo <erikd@mega-nerd.com>**20091115001150
 Ignore-this: 6181ac2eff1697ff4515102508fb027f
 
 Name collision is detected when projecting over both local and imported data
 types.
] 
[Move T39-RecursiveModule to test/01-Error/70-Driver and update.
Erik de Castro Lopo <erikd@mega-nerd.com>**20091113121328
 Ignore-this: d4e28c650e43135000fa06910c9b9dec
] 
[Fix #39 : Error out on mutually recursive module import.
Erik de Castro Lopo <erikd@mega-nerd.com>**20091113113431
 Ignore-this: d2d11b4ce3983c52d6e01ecaa21370eb
] 
[Rename war2 to war
Ben.Lippmeier@anu.edu.au**20091113114048
 Ignore-this: e7b7d958068972745de357afe2cabca
 
 The old war is long over.
] 
[Update war to handle executables that are expected to fail
Ben.Lippmeier@anu.edu.au**20091113103500
 Ignore-this: 619d56f79d4a7cd2a459a6879d623f4e
 
 If there is a Main.runerror.check file in the same dir as the test
 then we're expecing the build to succeed, but the executable to fail
 at runtime.
] 
[Panic on mutually recursive modules instead of blowing the stack.
Erik de Castro Lopo <erikd@mega-nerd.com>**20091113091840
 Ignore-this: 6ab6ef588918f8421733d3dc01fa4aaa
 
 Still need to convert the panic to an error.
] 
[Update test T39-RecursiveModule to have a 3 module loop.
Erik de Castro Lopo <erikd@mega-nerd.com>**20091113064149
 Ignore-this: ff24ae3863cfc607e4372b5315f638da
 
 Also use OPTIONS -no-implicit-prelude to reduce compile time of this test.
] 
[Bug #71 was fixed in some previous patch, so move the test into the main test suite.
Erik de Castro Lopo <erikd@mega-nerd.com>**20091112062159
 Ignore-this: a225f804e49aaa33cdf92e4f781d42ee
] 
[Rename T36-RecursiveModule -> T39-RecursiveModule.
Erik de Castro Lopo <erikd@mega-nerd.com>**20091111221112
 Ignore-this: 41f507882b9027ac84ad3b5741e6cf57
] 
[Add new tests to test/Broken-skip.
Erik de Castro Lopo <erikd@mega-nerd.com>**20091111102325
 Ignore-this: f38424868bcff0a65e9b2ebf1f656bbc
] 
[Add test/Broken-skip/ddc-T68-KindCheckConstraint/Test.ds.
Erik de Castro Lopo <erikd@mega-nerd.com>**20091111090528
 Ignore-this: aaeb57a96c59e27b3470746a6970d5ab
] 
[Fix #45 : Add proper source position for RTS errors.
Erik de Castro Lopo <erikd@mega-nerd.com>**20091110075130
 Ignore-this: 65008c5d942c63c5ab22b48f6e9d01ea
] 
[Update test/Broken-skip/T45-PatternMatchFailure.
Erik de Castro Lopo <erikd@mega-nerd.com>**20091110074132
 Ignore-this: 3a3155cc67409c0c7be4499ed9e4373e
] 
[Modify parser to accept 'type A = ...'.
Erik de Castro Lopo <erikd@mega-nerd.com>**20091109095142
 Ignore-this: 1290c5c262766ea5172650ae255f8a02
] 
[Add test/Broken-skip/T16-AddTypeBindings/Test.ds.
Erik de Castro Lopo <erikd@mega-nerd.com>**20091109082153
 Ignore-this: 7d0b9a6df0912fab58ae5ba0c6a11c58
] 
[Add test/01-Error/10-Renamer/T53-CheckShadowForall/ .
Erik de Castro Lopo <erikd@mega-nerd.com>**20091109064332
 Ignore-this: 17fbd4d169898c07de55eb16d57b4d5b
] 
[Fix #53 : Add check for name shadowing in forall quantifiers.
Erik de Castro Lopo <erikd@mega-nerd.com>**20091109063433
 Ignore-this: 36684de811ba2a9e410ed0810b35f57d
] 
[Move test/Broken-skip/T77-ProjTypeErrorPanic -> test/01-Error/30-Typing/T77-ProjTypeErrorPanic.
Erik de Castro Lopo <erikd@mega-nerd.com>**20091108183740
 Ignore-this: 5faf6312433d6da05afa5dbfa7e579ed
] 
[Fix #77 : crushProjClassT panics. Panic should be converted to an error.
Erik de Castro Lopo <erikd@mega-nerd.com>**20091108104757
 Ignore-this: 153893f86b6419324b3fd1ecb60d404e
] 
[Add test/Broken-skip/T146-InstanceRedef/Test.ds.
Erik de Castro Lopo <erikd@mega-nerd.com>**20091108055238
 Ignore-this: e8874dbb8af8b93b3d5eae359ed10e61
] 
[Add a test for #82: Shape crusher not linking effect and closure params of ctors
Ben.Lippmeier@anu.edu.au**20091106124644
 Ignore-this: cbd9915b78e6c9dec46722d788d88416
] 
[Move stray test file
Ben.Lippmeier@anu.edu.au**20091106124113
 Ignore-this: 284056c1841c2ad92c0bf74239342a8a
] 
[validate fixes
Ben.Lippmeier@anu.edu.au**20091106123040
 Ignore-this: 992b285a2b453f041597fc0339b61c37
] 
[Expunge TWild constructor
Ben.Lippmeier@anu.edu.au**20091106121420
 Ignore-this: be0c7974861fb0da3744376a9cd4a0c0
 At the time, it seemed useful to have a wildcard in type expressions, 
 to take the place of type information that wasn't filled in yet.
 
 However, we can use TBot for this instead, and save having to handle 
 a separate constructor throughout the compiler. Less is more.
] 
[Add TApp rewrite rule in Desugarer.
Erik de Castro Lopo <erikd@mega-nerd.com>**20091106023534
 Ignore-this: 34b0a429b01467260a2a44ffcc438cbd
] 
[#72 is fixed now
Ben.Lippmeier@anu.edu.au**20091106011303
 Ignore-this: 811dfec1eb08415078d1b8198c19339b
] 
[Fix #72: Add missing kind case for TFetter
Ben.Lippmeier@anu.edu.au**20091106010904
 Ignore-this: eff907029b4e2fc5d5548695e38f484a
 This fixes the problem, but we should really be storing constraints
 in another way and not just mashing them into types with TFetter.
] 
[Move  test/Broken-skip/T42-TopLevelUnboxed/ to test/18-Sea/ and update.
Erik de Castro Lopo <erikd@mega-nerd.com>**20091104194626
 Ignore-this: 9704630bd3179941a2135dc397942687
] 
[Fix #42 : Support unboxed CAFs.
Erik de Castro Lopo <erikd@mega-nerd.com>**20091104194544
 Ignore-this: d3a39314b7f5ebfdaf658f1c6def8377
] 
[Annotate Sea's XVar/XSlot/XSlotCAF with their Type.
Erik de Castro Lopo <erikd@mega-nerd.com>**20091104171522
 Ignore-this: e7c90de54397a0307d303aa15cf56bcb
] 
[Fix #144 : Give better error message when source file does not exist.
Erik de Castro Lopo <erikd@mega-nerd.com>**20091104090547
 Ignore-this: c39c45d0fc77470cbfcb12da884c6fbb
] 
[Add test/Broken-skip/T143-TypeLacksBinding/Test.ds.
Erik de Castro Lopo <erikd@mega-nerd.com>**20091104072926
 Ignore-this: a38691a8ffdf148f97a42ea129fa8c19
] 
[Clean up Var ctors in Sea.Exp
Ben.Lippmeier@anu.edu.au**20091104060908
 Ignore-this: e34ca31aa999fcb49bc86d24c0871566
] 
[Fix syntax of types with implicit parameters
Ben.Lippmeier@anu.edu.au**20091104060836
 Ignore-this: 285d3a1e214ce560f89eb0cc95cad167
] 
[Remove export type statements from Raytracer demo, this feature isn't finished.
Ben.Lippmeier@anu.edu.au**20091104060755
 Ignore-this: e934c6c02074b8c6332693c2255c5b7f
] 
[Add test/Broken-skip/T70-OperatorSectioning/Test.ds.
Erik de Castro Lopo <erikd@mega-nerd.com>**20091102203429
 Ignore-this: 9b2659b26323c4c789c9d1f8684a735c
] 
[Add '*.di' to the files removed during cleanLibrary.
Erik de Castro Lopo <erikd@mega-nerd.com>**20091102114123
 Ignore-this: bebb3c0c466ac4d09556acf4dd9fe5db
] 
[Add test/Broken-skip/T142-ExportRedef/Test.ds.
Erik de Castro Lopo <erikd@mega-nerd.com>**20091102112056
 Ignore-this: 11090492bd169edd7fb014d18079db1c
] 
[Move T78-RenameDataDefs from Broken-skip to 13-Renamer.
Erik de Castro Lopo <erikd@mega-nerd.com>**20091102105147
 Ignore-this: edc8bd5446d973e3360701e39a63d11
] 
[Update 01-Error/Redefined to test for redefined Data and Ctor names.
Erik de Castro Lopo <erikd@mega-nerd.com>**20091102104438
 Ignore-this: ad19f09a69167940c43acdaeba2c322d
] 
[Catch and error out on redfinition of data and constructor names.
Erik de Castro Lopo <erikd@mega-nerd.com>**20091102103452
 Ignore-this: d2d10be7a5c8d02f32a8bc1bdc51b5cc
] 
[Remove duplicate type defs from library.
Erik de Castro Lopo <erikd@mega-nerd.com>**20091102095900
 Ignore-this: 457a6a8d381c6786203c2bc9c461e4f1
] 
[Add test/Broken-skip/T79-MutableTuple/Test.ds.
Erik de Castro Lopo <erikd@mega-nerd.com>**20091102085902
 Ignore-this: 7f1965935b534bc2ca4e97011038455f
] 
[Remove duplicate type defs from Base.ds
Ben.Lippmeier@anu.edu.au**20091102072355
 Ignore-this: 3d0ae0c271e9a5adc4f9b0e7797bd518
] 
[Remove duplicate test.
Erik de Castro Lopo <erikd@mega-nerd.com>**20091101105424
 Ignore-this: 10caccc9702ef5c269a545150432ee30
] 
[Add test/Broken-skip/T88-CtorDataOffside .
Erik de Castro Lopo <erikd@mega-nerd.com>**20091101104450
 Ignore-this: 49dc0e0d9021bb36651ebab395b91875
] 
[Fix #58 : Type interferencer panic.
Erik de Castro Lopo <erikd@mega-nerd.com>**20091030045454
 Ignore-this: bc4bfc551923a5cc062bffe2df926965
] 
[Move T58-InferencerPanic from Broken-skip to test/15-Typing.
Erik de Castro Lopo <erikd@mega-nerd.com>**20091030052343
 Ignore-this: 71b7722d2d2c7ad449a140a4dded5737
] 
[Add test/Broken-skip/T88CtorDataOffside/
Erik de Castro Lopo <erikd@mega-nerd.com>**20091029081829
 Ignore-this: 8352b66dd566e9cfeb5099a55ad60370
] 
[Add defintions for ErrorRedefinedCtor and ErrorRedefinedData.
Erik de Castro Lopo <erikd@mega-nerd.com>**20091029035842
 Ignore-this: 974bbca60fd44f84f2e48bf7b76e2797
] 
[Update build rules to handle Snow Leopard
Ben.Lippmeier@anu.edu.au**20090927013058
 Ignore-this: e8ddc70db26a5a5098a4f086fb736827
] 
[T105-ListComp
Amos Robinson <amos.robinson@gmail.com>**20090924115801
 Ignore-this: ce4bc1430583118e1a8a2423520fc001
] 
[whitspace
Ben.Lippmeier@anu.edu.au**20090916080237
 Ignore-this: 8cd8cea5a54bd4e0766dbc3462b34c88
] 
[Comments
Ben.Lippmeier@anu.edu.au**20090916075407
 Ignore-this: f9e6f09da571ab2b1149006d06540563
] 
[Add missing file
Ben.Lippmeier@anu.edu.au**20090916075209
 Ignore-this: bc3d7342f92025e3d62dbfd0c7d8df31
] 
[Break up pretty printer into smaller modules
Ben.Lippmeier@anu.edu.au**20090916075116
 Ignore-this: f28120d8b87a94257d44fb9a897ac4e5
] 
[Cleanup namespaces
Ben.Lippmeier@anu.edu.au**20090916070524
 Ignore-this: 4b936b663a58d171e486e6617b59fc2c
] 
[Start shifting code to the new DDC source tree
Ben.Lippmeier@anu.edu.au**20090916065027
 Ignore-this: 4450ee2caabc60e12e433bcd45eca82d
 
 We're moving to a situation where we can break up DDC into 
 several independent parts, so we can compile bits of it as
 separate binaries. eg parser, constraint slurper, desugarer.. 
   
 This will serve several purposes:
   * Move towards "DDC as a library".
   
   * Force us to define some cleaner interfaces between the modules.
   
   * Force us to look at the code and clean out left-over cruft.
     Only "clean", working code with a good set of tests
     gets moved over to the new tree.
   
   * Writing data to the file system effectively deepSeq's each intermediate
     representation, so I'm hoping this will kill a lot of space leaks
   
   * Make boot-strapping easier. The plan is that the whole compiler 
     gets split into 6-8 separate binaries. We can then boot-strap one
     at a time, using the behavior of the Haskell version as the target,
     and while keeping the compiler working.
] 
[Add some DeepSeq stuff
Ben.Lippmeier@anu.edu.au**20090916060518
 Ignore-this: 87ece5672d736d288091d2d3c1a6201
] 
[Add HLint to makefile and clean some hlint warnings
Ben.Lippmeier@anu.edu.au**20090916040247
 Ignore-this: 59ed8f35a153425f3c5357411642bf27
] 
[Move T1 test into Broken-skip as it's still failing
Ben.Lippmeier@anu.edu.au**20090916011305
 Ignore-this: 39c5e7900c963c17a7292e0797a8ed9
] 
[Update T1-CurryUnboxed so that the test builds and runs when optimisation is on.
Erik de Castro Lopo <erikd@mega-nerd.com>**20090904101820
 Ignore-this: 94b5a109df0c9ffb90f962de73a90a90
] 
[Finalize fix for #91 : Be a little more lenient.
Erik de Castro Lopo <erikd@mega-nerd.com>**20090903102707
 Ignore-this: 45178724788284b1bc219938feb54bf1
 
 Accept all imports, exports and pragmas in any order, then accept everything
 other than imports, exports and pragmas.
] 
[Fix #91 : Restrict ordering of export, import and other top level constructs.
Erik de Castro Lopo <erikd@mega-nerd.com>**20090903065804
 Ignore-this: 7541262fc211f56ce54c612b30c45dfc
] 
[Add test for other half of #1. 
Ben.Lippmeier@anu.edu.au**20090831214556
 Ignore-this: 9e7ce8954abe79461fc3f7ac2dd956d5
 We shouldn't be able to instantiate the types of polymorphic
 data constructors at unboxed types. We don't have support in
 the runtime system to represent the fact that the elements of
 a value of type List Int# shouldn't be followed by the garbage collector.
] 
[Fix #1 : Check for partial application of functions to unboxed args.
Erik de Castro Lopo <erikd@mega-nerd.com>**20090831200858
 Ignore-this: 6c164d9132199127439906e54da0cca2
 
 Also move test/Broken-skip/T1-CurryUnboxed to test/01-Error/60-ToSea/T1-CurryUnboxed
 and add an error.check file.
 
] 
[Fix Int64 -> String conversions so it works on 32 and 64 bit systems.
Erik de Castro Lopo <erikd@mega-nerd.com>**20090831094331
 Ignore-this: 5add4e9078a558600d86baec9179409b
] 
[Add preliminary tests for Int64 and Float64.
Erik de Castro Lopo <erikd@mega-nerd.com>**20090829234221
 Ignore-this: 257a2d7e3ba8ea0235e1d7cf3fcc7e55
] 
[Add primtive operations (+,-,* etc) on Int64 and Float64.
Erik de Castro Lopo <erikd@mega-nerd.com>**20090829232334
 Ignore-this: aad927def464168361f4f8cb2dc10e03
] 
[Add library support for Int64 and Float64.
Erik de Castro Lopo <erikd@mega-nerd.com>**20090829231642
 Ignore-this: 97ecd42c6dd5cd0edcb2ed921702bc23
] 
[Add runtime handling for Int64 and Float64.
Erik de Castro Lopo <erikd@mega-nerd.com>**20090829223910
 Ignore-this: 56b82405bf4c11569bd724f6478e5c39
] 
[Add check file for #92
Ben.Lippmeier@anu.edu.au**20090827131331
 Ignore-this: d4da98d690a8529d392e85a6f546e53b
] 
[Rover: clean up code now that #56 is sorted
Ben.Lippmeier@anu.edu.au**20090827043220
 Ignore-this: c79cb85f9d7238ab6303726d1b754993
] 
[Fix #56: This was another case of class instances not being checked against their defs
Ben.Lippmeier@anu.edu.au**20090827042248
 Ignore-this: 86438df9b2f130af05316ebaee5af210
] 
[Fix #92: Give a sensible error message when defining an instance of an unknown type class
Ben.Lippmeier@anu.edu.au**20090827040518
 Ignore-this: bc15f511e42f61a69db7aa3e3eb6163c
] 
[Add test for a type var defaulting problem
Ben.Lippmeier@anu.edu.au**20090827033846
 Ignore-this: 49b46398dcf83e9fa54f144b4cce8184
] 
[Fix #68: Give proper error message when there are region/effect/closure vars in value expressions
Ben.Lippmeier@anu.edu.au**20090827033426
 Ignore-this: 13cb7386190a4667d30488aceef480f
] 
[Clean up RenamerM and add comments
Ben.Lippmeier@anu.edu.au**20090827015908
 Ignore-this: 900b19180df4313e889b7bbbd0b11996
] 
[* #60 Desugar bindings against boxed literals into calls of Class.Eq.(==).
Richard Smith <richard-ddc@metafoo.co.uk>**20090827005840
 Ignore-this: 30dca21477b23980ec04f6a29e574ff8
] 
[#55 Combine function bindings in projection dictionaries
Amos Robinson <amos.robinson@gmail.com>**20090827005316
 Ignore-this: e81ba6d23c1bf59bcf3fcf54a877e2cc
] 
[Remove old Graphics check files.
Ben.Lippmeier@anu.edu.au**20090826015727
 Ignore-this: 67ae08975bcadfb6bca5a66770c5b1ff
 The file sizes are really too big to want to keep around.
 We'd be better off just keeping a hash instead of the whole output.
] 
[Fix build if _eval*_* aren't inlined (for instance, when building with -g)
Richard Smith <richard-ddc@metafoo.co.uk>**20090820211141
 Ignore-this: f3f3dbb7cae4a7e3d1105fc3cdca5424
                                                                             
 C99 by default requires a separate out-of-line copy of inline functions if  
 they happen to not be inlined. Since _eval*_* are only used in one          
 translation unit, we may as well mark them 'static inline' to avoid this.
 
 Without this, BUILDFLAVOUR = devel_prof doesn't work for me.
] 
[Runtime : Use symbolic names in objDump code.
Erik de Castro Lopo <erikd@mega-nerd.com>**20090823094121
 Ignore-this: 30dd7e0023f3f37df1330c6c00d3d04f
] 
[Adjust coding style and add comments
Ben.Lippmeier@anu.edu.au**20090823064044
 Ignore-this: cbc4e03e3fbe3d8be2e389b8017fb88b
] 
[Runtime : Improvements to objDump.
Erik de Castro Lopo <erikd@mega-nerd.com>**20090822224647
 Ignore-this: 6faf4d707a675da9e2ad37d5cfbd52cf
 
 Make objDump only dump a single object.
 Add objDumpGraph which dumps a graph of objects.
 Modify both so that they take a FILE* parameter specifying where to dump.
] 
[Runtime : Add function objDump to help debugging runtime.
Erik de Castro Lopo <erikd@mega-nerd.com>**20090822112553
 Ignore-this: 9b2cb73c842befda85d98700f145c934
] 
[Data.List.rangeInt for [n..m] where n > m should return [].
Erik de Castro Lopo <erikd@mega-nerd.com>**20090821215826
 Ignore-this: 6a715a2ec7a4cfb196babbe35cffd20
 
 Behave the same way as Haskell.
] 
[Parser : Refactor type parser removing Parsec.try where possible.
Erik de Castro Lopo <erikd@mega-nerd.com>**20090821212818
 Ignore-this: f88cd49c2bdcc2f683591f6bd44312cb
] 
[Parser : Refactor pattern parser (now Parsec.try free).
Erik de Castro Lopo <erikd@mega-nerd.com>**20090821125100
 Ignore-this: f2a998a496880666f584ffaf7a263220
] 
[Parser : Use Parsec.option and Parsec.optionMaybe where appropriate.
Erik de Castro Lopo <erikd@mega-nerd.com>**20090821122509
 Ignore-this: bd4a83299b9a752e2362a549283ec874
] 
[Fix patch conflicts
Ben.Lippmeier@anu.edu.au**20090821081317
 Ignore-this: e9afbd46ce3090a992f35be557ffa8af
] 
[Add superkind type
Ben.Lippmeier@anu.edu.au**20090821080942
 Ignore-this: fb883f3a38473a95545017fb4edaf56e
] 
[Define KiCon to represent kind constructors seprately from the Kind data type
Ben.Lippmeier@anu.edu.au**20090821041104
 Ignore-this: b37594f6735b6a26c401d66a95a48819
] 
[Rename KFetter to KWitness. 
Ben.Lippmeier@anu.edu.au**20090821033704
 Ignore-this: d8565173f21b2771bd804312acc34bbc
 We're using the word "fetter" to mean a general constraint on a type, 
 be it an effect constraint or a type class context. 
 
 A kind level expression like (Mutable %r1) now has the kind "+" (KWitness)
] 
[Library improvements to length, charListOfString and read_file
Richard Smith <richard-ddc@metafoo.co.uk>**20090820234652
 Ignore-this: 138a1dc6c359f8305a76ad16601f7880
 
 length:
   Replaced length and lengthR with a pure tail-recursive version. In my
   profiling this is faster than the previous length implementation (using
   mutable state), and it doesn't tag the result's region as Mutable.
 
 charListOfString:
   charListOfFlatString now runs in constant stack space, rather than stack
   space linear in the size of the string.
 
 read_file:
   No longer returns Nothing when reading an empty file. Instead, Just ""
   is returned. No longer hits a pattern match error on an absent file.
   Instead, Nothing is returned. Plus test.
] 
[Add a 'devel_debug' build flavour, for tracking down bugs in the runtime.
Richard Smith <richard-ddc@metafoo.co.uk>**20090820211551
 Ignore-this: 5e9beb8b61104816469365ce374ea108
] 
[Fix #104 : Renamer problem with class functions
Erik de Castro Lopo <erikd@mega-nerd.com>**20090819203428
 Ignore-this: 9bfbf7cdfbda74d1848c4ddd6879c25
 
 Debugging and patch provided by Amos Robinson.
 Test from the bugtracker added as test/14-Desugar/T104-Renamer.
] 
[Refactor Module parser.
Erik de Castro Lopo <erikd@mega-nerd.com>**20090819110542
 Ignore-this: 14d6c3a654bc3f1a1ac7ba19054e7159
] 
[Rename test from old issue tracker
Ben.Lippmeier@anu.edu.au**20090819005802
 Ignore-this: 600e745de3c0cfec4ac58df1d5f2c8bc
] 
[Add test for parsing of unary negation
Ben.Lippmeier@anu.edu.au**20090819005650
 Ignore-this: 3bb2463d1f8eae66999e28dfdfb3987f
] 
[Runtime: reformat some and add comments
Ben.Lippmeier@anu.edu.au**20090818114536
 Ignore-this: 3c3a99168d72d9542d5ecc18fa9235d
] 
[More refactoring to remove Parsec.try.
Erik de Castro Lopo <erikd@mega-nerd.com>**20090818110816
 Ignore-this: 16af9ab6f93f130c601b8ca3b90d621f
] 
[Add parser list comprehension test and rearrange.
Erik de Castro Lopo <erikd@mega-nerd.com>**20090818095013
 Ignore-this: 460974001773276f13e337dc2a283c58
] 
[Runtime: rename the Susp object to SuspIndir to reflect that it can also represent an indirection
Ben.Lippmeier@anu.edu.au**20090818110742
 Ignore-this: f2a360b4eca9da87ec3a4d4d0c176c5b
] 
[Runtime: add comments to Macros.h
Ben.Lippmeier@anu.edu.au**20090818105357
 Ignore-this: dd094024424574056541146659b56307
] 
[Clean more in cleanRuntime
Ben.Lippmeier@anu.edu.au**20090818104511
 Ignore-this: 6f319b06e568459dab82dd6806e43c2e
] 
[Runtime: move object defs into Object.h and add comments
Ben.Lippmeier@anu.edu.au**20090818103429
 Ignore-this: 8fe81d66a3d7ab9e405882398a02a2f9
] 
[Reformat some runtime modules and add comments
Ben.Lippmeier@anu.edu.au**20090817121949
 Ignore-this: 338ec0ca22f5199e374aa2b0c54ece48
] 
[Remove old file
Ben.Lippmeier@anu.edu.au**20090817110832
 Ignore-this: de3f49fbde2498eb868125985631d886
] 
[Clean up parsing of list comprehension production/qualifier/guard.
Erik de Castro Lopo <erikd@mega-nerd.com>**20090817134013
 Ignore-this: d7519f04dd44f55e9a88c226144a5317
 Add a list comprehension parser test.
] 
[Refactor list expression parser to remove usage of Parsec.try.
Erik de Castro Lopo <erikd@mega-nerd.com>**20090817110416
 Ignore-this: 6cfe96ed473ee24df6f9a4df337704e0
 
 Parsec.try is problematic because:
 
  - The process of starting at the try, parsing forward, failing and then
    backtracking is slower than parsing with only a single token lookahead.
 
  - Using try means that any failure will backtrack to the inner most try
    which is not really where the parse failed. This means that Parsec will
    not be able to produce good parser error messages.
    For instance, with the old version of the parser, parsing:
 
       x = [ x + 2, y | x <- [ 1, 2, 3, 4 ]]
 
    would result in the list parser getting to the '|' token, failing and
    backtracking to the '=' token. When all other parser combinators also
    fail, the parser would flag an error at the '=' token.
    The try-less parser on the other hand would correctly flag the error at
    the '|' token.
 
 Above all, I do not believe that using try-less parsing makes the parser any
 more difficult to modify or extend. Quite the contrary, I beleive that the
 try-less parser is easier debug and easier to extend once the concepts of
 try-less parsing are understood.
] 
[Add a list parser test.
Erik de Castro Lopo <erikd@mega-nerd.com>**20090817102451
 Ignore-this: e37435eef80fd32f48e53940c18247a8
] 
[Refactor parser code putting single lookahead combinators ahead of Parsec.try
Erik de Castro Lopo <erikd@mega-nerd.com>**20090817084522
 Ignore-this: 3fba1580ee657670c3d7fd0d5acfe217
 combinators where possible.
] 
[Int32 and Float32 only need 8 bytes in heap
Ben.Lippmeier@anu.edu.au**20090817034622
 Ignore-this: 8de9b3d01958b8e1f80a39c772bbc3b6
 Not sure why we were allocating 16 bytes before..
] 
[Update contact details in error message
Ben.Lippmeier@anu.edu.au**20090816064539
 Ignore-this: 7161ce6faa628ba4015f7eda03edae32
] 
[Add passing tests for bug #96.
Erik de Castro Lopo <erikd@mega-nerd.com>**20090816062626
 Ignore-this: 5e44acaecaf7c451c4535a9cfb0c2dcc
] 
[Fixup uniqbinds for rangeIntStep, rangeIntStepL, rangeInfIntStepL
Ben.Lippmeier@anu.edu.au**20090816055539
 Ignore-this: d7f9b27b2231c19bb7617602ae79e38e
 The way primitive functions are handled is fairly nasty. It'd be 
 good to have a better solution for the stuff in Shared.VarPrim
] 
[Refactor Type.Util.Elaborate some.
Ben.Lippmeier@anu.edu.au**20090816051117
 Ignore-this: a1b525e836fcf6b367705c290fceacc1
] 
[Expunge old Type.TMask and Type.TTag constructors
Ben.Lippmeier@anu.edu.au**20090816050256
 Ignore-this: df7ab4238650a518d7f365b10ca57b79
 Closure masking never really worked, and the code was buggy
 and complicated. Better to ditch it.
] 
[Progress towards fixing #96.
Erik de Castro Lopo <erikd@mega-nerd.com>**20090816052806
 Ignore-this: 24101c987e57881f0c4d82aa83f2deb7
] 
[Add function Data.List.rangeIntStep.
Erik de Castro Lopo <erikd@mega-nerd.com>**20090815114240
 Ignore-this: d35b2080e34203bd8061c32e97200ab8
] 
[Update Data.List.rangeInt/rangeIntL to handle counting down eg [4 .. 1].
Erik de Castro Lopo <erikd@mega-nerd.com>**20090815054608
 Ignore-this: a30a1d68bb8188ac03837b2324b77112
] 
[Update parser to handle [a, b .. c].
Erik de Castro Lopo <erikd@mega-nerd.com>**20090815042452
 Ignore-this: 865eab5e89f3b1d7149130001bbf8ccc
] 
[Add extra field to XListRange to handle things like [a, b .. c].
Erik de Castro Lopo <erikd@mega-nerd.com>**20090815033827
 Ignore-this: 203b845450bab40630761a32f7bbf14
] 
[src/Source/Parser/Exp.hs : Use Data.Maybe.isJust.
Erik de Castro Lopo <erikd@mega-nerd.com>**20090815030654
 Ignore-this: 34604d3b3bf8a7217757c5ba049ae5fc
] 
[Add testcase for T104-ClassFnRenamerProblem
Ben.Lippmeier@anu.edu.au**20090815085830
 Ignore-this: e006e9dde56e425bb9b9cf2144201562
] 
[Add better panic message
Ben.Lippmeier@anu.edu.au**20090815072244
 Ignore-this: 949cc44f327673e72febbbd5e794ede0
] 
[Fix #84: LateExport / regeneralisation check
Ben.Lippmeier@anu.edu.au**20090814124744
 Ignore-this: d1e6e5c7ae5ac993b5f2b381362aecc3
 This test is fixed, the but the closure trimming stuff is still
 a mess and needs to be rewritten.
] 
[Finalize fix for #103 with a test.
Erik de Castro Lopo <erikd@mega-nerd.com>**20090813104527
 Ignore-this: a930bc18af20634e43217318e8dad80a
] 
[Add a cleanLibrary make target.
Erik de Castro Lopo <erikd@mega-nerd.com>**20090813081038
 Ignore-this: cdb7c9785f1e360331f7e50bc9ab91a4
] 
[Partial fix for #103: Allow multiple vars in Source.Exp.Stmt.SSig
Ben.Lippmeier@anu.edu.au**20090813062540
 Ignore-this: 7ec737f8a9cb476409898d9a8286da20
] 
[Fix #97: May be working around a bug in Alex.
Erik de Castro Lopo <erikd@mega-nerd.com>**20090810102304
 Ignore-this: 51b4f19fa93202ab91c62bf1d7d607f6
] 
[Use ISO C uint*_t types instead of POSIX u_init*.t types.
Erik de Castro Lopo <erikd@mega-nerd.com>**20090805034911
 Ignore-this: 95cf75de55b0b04ddb7207644592ca2d
] 
[Move broken test to test/Broken-skip. I moved the wrong one last time.
Ben.Lippmeier@anu.edu.au**20090809062835
 Ignore-this: e53fa9bea7bb14415e1d553eb6bfd31d
] 
[Fix warnings
Ben.Lippmeier@anu.edu.au**20090809062507
 Ignore-this: 5a1a7b9beaa20c6ce12039d513f91d35
] 
[Move known failing tests to test/Broken-skip
Ben.Lippmeier@anu.edu.au**20090805131025
 Ignore-this: 1427b02a6cef4d5d1d6c79b24531f4d1
] 
[Don't check styrene test output, too much fp noise
Ben.Lippmeier@anu.edu.au**20090805034713
 Ignore-this: b23e32845133efa0bced5a88593c343e
] 
[Provide more correct definition for primPtrVoid_null.
Erik de Castro Lopo <erikd@mega-nerd.com>**20090804134755
 Ignore-this: dddd6860f2efc63a8dcdcf003d97b38a
] 
[Wibble in Styrene output
Ben.Lippmeier@anu.edu.au**20090804120320
 Ignore-this: 482ee9b0dc1ec1000afb5d22e5da27f4
] 
[Fix #100: Type of main fn not being checked when module not called Main
Ben.Lippmeier@anu.edu.au**20090804120204
 Ignore-this: 9d785c26e0f106c0979bc02c9fd79973
] 
[Add more Parsec <?> error handlers.
Erik de Castro Lopo <erikd@mega-nerd.com>**20090804090338
 Ignore-this: 83cc72dd224e8aa36674e014897e35bc
] 
[Fix #95: Make parser accept lists with a single entry.
Erik de Castro Lopo <erikd@mega-nerd.com>**20090804090241
 Ignore-this: 39149c797ae7a60279f476b4d64c5363
] 
[src/Source/Parser/ : Use Parec's <?> operator as first step in providing
Erik de Castro Lopo <erikd@mega-nerd.com>**20090803115108
 Ignore-this: e1c81ee6f3bea3dc58832e421d14e11e
 better parser error messages.
] 
[Update error tests to match reorganisation
Ben.Lippmeier@anu.edu.au**20090803044239
 Ignore-this: c232cc974317da31c84522a4ccfbac84
] 
[Reorganise error tests
Ben.Lippmeier@anu.edu.au**20090803043245
 Ignore-this: 5e44471153b220244f781b47061c3346
] 
[Fix #21: Don't allow tab characters in string literals
Ben.Lippmeier@anu.edu.au**20090803042724
 Ignore-this: 8160d7397b15768dc586f6df88e5f4b9
] 
[wibble
Ben.Lippmeier@anu.edu.au**20090731160242
 Ignore-this: 9847f34e917cd0de1cc6622c31970ab4
] 
[Fix #98: Support building of executables from source not called Main.ds
Ben.Lippmeier@anu.edu.au**20090731155942
 Ignore-this: 2c56dddf9927fb7cde2c9c87ff54cddc
] 
[War2: format wibble
Ben.Lippmeier@anu.edu.au**20090731144444
 Ignore-this: 1cfb1926f4e868f2b6f092cbdad8761a
] 
[War2: Refactor GetTests
Ben.Lippmeier@anu.edu.au**20090731141842
 Ignore-this: 6b662ae4ff79202bbb5696531ca6d5dd
] 
[Remove some check files. Too much floating point noise
Ben.Lippmeier@anu.edu.au**20090731141808
 Ignore-this: c156ce3873d37fc29d775e364af482c5
] 
[War2: Refactor GetTests
Ben.Lippmeier@anu.edu.au**20090731140321
 Ignore-this: 57a012dac37e75bda7e6bb6b04605663
] 
[War2: Fix cleaning again
Ben.Lippmeier@anu.edu.au**20090731133112
 Ignore-this: 4f92cee2f018d804ccbebcfef8331c4b
] 
[War2: Refactor GetTests
Ben.Lippmeier@anu.edu.au**20090731132355
 Ignore-this: 291243643cae0f026713d61b477cc6af
] 
[War2: name ways like opt-normal instead of opt.normal
Ben.Lippmeier@anu.edu.au**20090731122506
 Ignore-this: de122464cd29a64b17bfb97ff882934e
] 
[War2: Show way in list of failed tests
Ben.Lippmeier@anu.edu.au**20090731122414
 Ignore-this: 2a2b6a5b820dcba8a7c96f24175d3ef
] 
[War2: change arg format slightly
Ben.Lippmeier@anu.edu.au**20090731112648
 Ignore-this: 676da2ccbff4d68497331ac8a5cd1b6c
] 
[Move Rover demo to test dir and follow changes in graphics libs
Ben.Lippmeier@anu.edu.au**20090731111232
 Ignore-this: b4775f76f745e7f0e22b779bee8e0611
] 
[Move Graphics demos to test dir, so they're always run
Ben.Lippmeier@anu.edu.au**20090731103201
 Ignore-this: 52925f624d2b0f94d640ad5472273431
] 
[Change graphics demos so they can dump their output as a PPM to the console
Ben.Lippmeier@anu.edu.au**20090731102034
 Ignore-this: b7ba9a7a281345d1358a54cf64214b05
 We want this so the buildbot can run them each night
] 
[War2: fix pretty printing of times
Ben.Lippmeier@anu.edu.au**20090731074930
 Ignore-this: 6dd7487dd2ee527561a5de1d99f937d3
] 
[War2: remove unused size output
Ben.Lippmeier@anu.edu.au**20090731072340
 Ignore-this: 52d5a6a2b93296a969296629a3ef830c
] 
[remove old out.check files
Ben.Lippmeier@anu.edu.au**20090731071450
 Ignore-this: f547c97a3b540b98f74ceabc1c205a53
] 
[War2: Add cleaning up after testing
Ben.Lippmeier@anu.edu.au**20090731071341
 Ignore-this: e32bfea3a54c829144f97b19ea2c9e79
] 
[War2: Add support for compiling and running with different ways
Ben.Lippmeier@anu.edu.au**20090731065213
 Ignore-this: 6d086369256ce16ff8ea51fe003d5760
] 
[Add parsing of escape options like +RTS and +WAY
Ben.Lippmeier@anu.edu.au**20090731043839
 Ignore-this: 713c995e917ef19fd068bed772aaa96d
] 
[War2: Follow changes in options parsing
Ben.Lippmeier@anu.edu.au**20090731040844
 Ignore-this: 89dbca647c89acba8aa4b71bd7ddfca6
] 
[Fix #94: Accept "ddc Main.ds -o main" with no --make flag
Ben.Lippmeier@anu.edu.au**20090731040128
 Ignore-this: 37c70b40255efe2376932a7859309cb9
] 
[Refactor options parser
Ben.Lippmeier@anu.edu.au**20090731034835
 Ignore-this: 74ed7d03f3f1013aaf614bf0e975c2db
] 
[Break up option parser and add comments
Ben.Lippmeier@anu.edu.au**20090731023245
 Ignore-this: e6101b46069bc4873f6311cb21c1d65d
] 
[War2: wibble
Ben.Lippmeier@anu.edu.au**20090730062533
 Ignore-this: 463e38de956665d2a38fdc1f52f67c77
] 
[Fix T93: Reject file names with symbols in them
Ben.Lippmeier@anu.edu.au**20090730061233
 Ignore-this: bef37e91479baa5c47843c6398272b88
] 
[Fix test Library/File
Ben.Lippmeier@anu.edu.au**20090729113536
 Ignore-this: 4e1c43fa3baa53f5a5e3fedc0aa0d8a9
] 
[War2: format wibble
Ben.Lippmeier@anu.edu.au**20090729072402
 Ignore-this: c62e9b2f1550fd734f8c92254ec01a61
] 
[wibble
Ben.Lippmeier@anu.edu.au**20090729054636
 Ignore-this: 6183889cbfd65d237e69d51c65c321a7
] 
[War2: Add logging of test failures to file
Ben.Lippmeier@anu.edu.au**20090729053809
 Ignore-this: b160f1dcf2c5c1352f738584f3a73090
] 
[War2: Split GetTests into its own module
Ben.Lippmeier@anu.edu.au**20090729050001
 Ignore-this: ff5f487813b4956319b520ef674cfd98
] 
[War2: Don't use color or prompt the user in batch mode
Ben.Lippmeier@anu.edu.au**20090729042854
 Ignore-this: dee77e474f1b992d795dbcdda844abb8
] 
[Document why we want  make deps ; make   in Makefile
Ben.Lippmeier@anu.edu.au**20090724084803
 Ignore-this: 4a1359f962d8dc80c955c080c9b19096
] 
[Make war2 more liberal about a trailing slash.
Ben Sinclair <ben.d.sinclair@gmail.com>**20090723124436
 Ignore-this: fe5912e2097f59e5596e33dee310841f
 
 System.Directory.canonicalizePath is used so it's possible it could rewrite a
 path to an unexpected form and mismatch with the test stdout/err logs.
] 
[Add test and demo targets to the makefile
Ben.Lippmeier@anu.edu.au**20090723122252
 Ignore-this: 101c17baf7737a423c565773112ac466
] 
[this time for sure..
Ben.Lippmeier@anu.edu.au**20090723121520
 Ignore-this: 2d0c4f41efed23f5e8f90aa422d92768
] 
[Add doc target back to makefile
Ben.Lippmeier@anu.edu.au**20090723121236
 Ignore-this: c55bbbb75343b13cca1aa595653b3e1b
] 
[Include make/config-override.mk (if present) from make/config.mk to allow TARGET/BUILDFLAVOUR/GHC to be overridden.
Erik de Castro Lopo <erikd@mega-nerd.com>**20090723114932
 Ignore-this: dd67901ec61b4ef8ce83c77cf718e34e
] 
[Restore configurator thing in Makefile
Ben.Lippmeier@anu.edu.au**20090723114109
 Ignore-this: bc0cce0bf2b9e8f7ac2ceb5d98b0acc5
] 
[Fix up Makefile
Ben.Lippmeier@anu.edu.au**20090723110418
 Ignore-this: 134ff98a78beeb1418c10d740e74f4a0
  - remove old junk
  - don't debuild deps when cleaning
  - fix deps for runtime system
  - auto-build DDC base libraries
] 
[Autodetect works, so rename make/config.mk.sample -> make/config.mk.
Erik de Castro Lopo <erikd@mega-nerd.com>**20090723111702
 Ignore-this: 98ef603a3aff133f87628ff6285c6072
] 
[make/config.mk.sample : Auto detect OS and CPU.
Erik de Castro Lopo <erikd@mega-nerd.com>**20090723110327
 Ignore-this: 9cb63f15e94637edbd65eac710960ee9
] 
[TinyPTC : Comment out unneeded/unused #pragma.
Erik de Castro Lopo <erikd@mega-nerd.com>**20090723104035
 Ignore-this: 321d0c10d1e4cd0d5408777c6c59fb
] 
[Running bin/ddc --test now runs embedded quick checks
Ben.Lippmeier@anu.edu.au**20090714154242
 Ignore-this: c8fb48732cbce45937f9f143f1dd2e24
] 
[cleanup
Ben.Lippmeier@anu.edu.au**20090714145720
 Ignore-this: 3bddaea900e0704478d974c8a8acc438
] 
[Splitup list utils and add tests
Ben.Lippmeier@anu.edu.au**20090714145145
 Ignore-this: 2f6b008172a0c61b1755ecd2c8c4abe5
] 
[Start adding quickcheck tests
Ben.Lippmeier@anu.edu.au**20090714135103
 Ignore-this: 2dd1d1ccf1dd6428045f7844d52ac57e
] 
[Update INSTALL to point to the development wiki.
Ben.Lippmeier@anu.edu.au**20090723070431
 Ignore-this: 476d08b2c746565797a96cd53d99a8e
] 
[Use UNUSED macro as needed.
Erik de Castro Lopo <erikd@mega-nerd.com>**20090722123646
 Ignore-this: 71105122fd8e4e735d0f455669282909
] 
[runtime/Profile.c : Remove dead code.
Erik de Castro Lopo <erikd@mega-nerd.com>**20090722123436
 Ignore-this: 66d124985017cd02974bdec1f0e3985e
] 
[Add file runtime/Util.h which allows function parameters to be marked as UNUSED and not be flagged as a warning.
Erik de Castro Lopo <erikd@mega-nerd.com>**20090722101958
 Ignore-this: d557b9d49d240c82110963c92cee2569
] 
[runtime/Main.c : Fix warnings in initialisation of flagNames.
Erik de Castro Lopo <erikd@mega-nerd.com>**20090722093944
 Ignore-this: 89573ee2e16a8eabe15c435f80c68867
] 
[Add  -Wall -Wexta to GCC_FLAGS in devel mode.
Erik de Castro Lopo <erikd@mega-nerd.com>**20090722085337
 Ignore-this: dca6e8bca7ddc157fbe15de8e4fa6603
] 
[Fix snprintf format string.
Erik de Castro Lopo <erikd@mega-nerd.com>**20090722075320
 Ignore-this: 374d2c378e90313ed44bb02f7e3a6ce2
] 
[Updated doc/HACKING for war2
Ben Sinclair <ben.d.sinclair@gmail.com>**20090722072822
 Ignore-this: 460fa911d434b65c25d536fa95ae479f
] 
[Comment wibbles for haddock
Ben Sinclair <ben.d.sinclair@gmail.com>**20090709124824
 Ignore-this: 259d899e47d1c3a1bd9c83416fdcb003
] 
[Fix format specifier for Word64 on LLP64 archiectures.
erikd@mega-nerd.com**20090722051103
 Ignore-this: a27e1019c4810db7849a2977bc8614d6
] 
[Remove bogus import
Ben.Lippmeier@anu.edu.au**20090721082308
 Ignore-this: 36cbe18e91121c7dcfc54a84aa599e04
] 
[Update INSTALL instructions to follow changes in build process
Ben.Lippmeier@anu.edu.au**20090721061912
 Ignore-this: dbb3f08ba1e354e355fefbea71f2f7d2
] 
[Move file path handing stuff into utils dir
Ben.Lippmeier@anu.edu.au**20090627143211
 Ignore-this: 144e68b526801cb88b1af770ecd0ce4d
] 
[Move modules around and clean up
Ben.Lippmeier@anu.edu.au**20090627131425
 Ignore-this: 720ed21cfda6a9d2a3602d0dd1e7c83d
] 
[remove old comments
Ben.Lippmeier@anu.edu.au**20090627120004
 Ignore-this: 841954cecd363bac1ac5868200c7ce07
] 
[Add missing test
Ben.Lippmeier@anu.edu.au**20090627114011
 Ignore-this: 18dabcc4cd3dcf1142c8970e4bdf7489
] 
[War: add interactive accepting of diffs
Ben.Lippmeier@anu.edu.au**20090627091203
 Ignore-this: 46939bf98dd10555cc7c40a3f98bfb91
] 
[War: check existing files when doing diff
Ben.Lippmeier@anu.edu.au**20090627082052
 Ignore-this: 8e2c111cd491f6fedff279a4ae48f394
] 
[War: add diff test
Ben.Lippmeier@anu.edu.au**20090627074035
 Ignore-this: 6e5b91735b5816843265625284c8ddc2
] 
[War: add checking for compile errors
Ben.Lippmeier@anu.edu.au**20090627072209
 Ignore-this: f29348d2515ada90b930db51c29447e
] 
[War: rename modules
Ben.Lippmeier@anu.edu.au**20090627063107
 Ignore-this: 827a891a64352b7aab45eb832c7b6245
] 
[War: wait for running jobs to finish on interrupt
Ben.Lippmeier@anu.edu.au**20090627051754
 Ignore-this: d3c78c511228d3a35cf9521eab8125f
] 
[War: adjust output colors to look better on black and white backgrounds
Ben.Lippmeier@anu.edu.au**20090627045840
 Ignore-this: 353b67be4297fea7b73798b4eff8ae71
] 
[War: add missing files, order tests
Ben.Lippmeier@anu.edu.au**20090626160905
 Ignore-this: 63de237ae322bdb8b942e0b600e0d1d1
] 
[War: rejig dispatcher setup
Ben.Lippmeier@anu.edu.au**20090626135511
 Ignore-this: d0c011ab93935b70a8fc4de04bd98a12
] 
[War: use a state monad for the dispatcher
Ben.Lippmeier@anu.edu.au**20090626134603
 Ignore-this: 3f2a83d993036019342e96f18c51ee36
] 
[War: shift thread setup into Dispatch module
Ben.Lippmeier@anu.edu.au**20090626131444
 Ignore-this: 9c1e2cf3f65295be853ae81fb287b310
] 
[War: Genericify dispatcher and move into own module
Ben.Lippmeier@anu.edu.au**20090626130621
 Ignore-this: 23aa9916ff1e6afdd09fe176182a22de
] 
[War: refactor
Ben.Lippmeier@anu.edu.au**20090626123018
 Ignore-this: 830a184d49f441830269f33d137850fe
] 
[War: basic testing works
Ben.Lippmeier@anu.edu.au**20090626122057
 Ignore-this: 6d2f174ab683b55eac24161cb9870774
] 
[War: rename graphs to be more like sets
Ben.Lippmeier@anu.edu.au**20090626113503
 Ignore-this: d9ed28d4ce048b31137ed54a66efabb3
] 
[War: Move graph modules into dispatch tree
Ben.Lippmeier@anu.edu.au**20090626112729
 Ignore-this: 13ef0f986cb13c40da29e73736808c58
] 
[War: Genericify dispatch workers
Ben.Lippmeier@anu.edu.au**20090626112349
 Ignore-this: d24f55079072b343bfbed368151050c2
] 
[War: Reorganise test module hierarchy
Ben.Lippmeier@anu.edu.au**20090626110638
 Ignore-this: 335eb8950f67f130de4d028a2c83e7f2
] 
[War: add missing source files
Ben.Lippmeier@anu.edu.au**20090626081312
 Ignore-this: c6bd64dd22e38f5742988aab5a4e0ed0
] 
[War: working on concurrency
Ben.Lippmeier@anu.edu.au**20090626081244
 Ignore-this: fbfc5b0fddb9b3ffe83797fe2c6aa2e2
] 
[War: colorise test results
Ben.Lippmeier@anu.edu.au**20090626053226
 Ignore-this: 4c0fb911f9b9f3908adb7055858ed24e
] 
[Update VT100 module
Ben.Lippmeier@anu.edu.au**20090626051936
 Ignore-this: ebf4771408410fad988262452fddd556
] 
[War: if tests win then try to run their children next
Ben.Lippmeier@anu.edu.au**20090626051755
 Ignore-this: 1d76f448c44bd135507eed8c22c99fea
] 
[War: ignore tests who's parents failed
Ben.Lippmeier@anu.edu.au**20090626035618
 Ignore-this: 6eaa445376934eff79df037564385950
] 
[wibble
Ben.Lippmeier@anu.edu.au**20090625125436
 Ignore-this: fe2c146ec800259c17ae66ace02cd283
] 
[Add removing nodes from work graph
Ben.Lippmeier@anu.edu.au**20090625125124
 Ignore-this: 5b2ce0cfd193ddce981d75e51a3726f3
] 
[Start on new war driver
Ben.Lippmeier@anu.edu.au**20090625094450
 Ignore-this: f1af210f85e726b3851103bf5584afcc
] 
[Fix parsing of contexts to match grammar on wiki
Ben.Lippmeier@anu.edu.au**20090625030806
 Ignore-this: 9d4554eaaed6b4c335d762c0f5231130
] 
[Fix comment
Ben.Lippmeier@anu.edu.au**20090625015834
 Ignore-this: afc35b60d7e184c324096ad476f924e2
] 
[Add a test for #78: Renamer problems with data decls
Ben.Lippmeier@anu.edu.au**20090625015805
 Ignore-this: 2f9dcaeb471d7deacf46d51ed3b238da
] 
[Add missing test to VCS
Ben.Lippmeier@anu.edu.au**20090624053519
 Ignore-this: be066a7fbc3e12fef63d4ede503bfe3e
] 
[Force parser and lexer to be compiled with optimisations on
Ben.Lippmeier@anu.edu.au**20090624053414
 Ignore-this: db949a8b931d4e4d94228aa213662ada
 Even when doing an "unoptimised" development build, we want to
 optimise these modules, otherwise everything runs too slow.
] 
[Fix #59 Handle comments properly when scraping module imports
Ben.Lippmeier@anu.edu.au**20090624053251
 Ignore-this: 1b6f91a77e3ec85e062be1b93979256e
] 
[Fix #62 Desugaring of field initializers
Ben.Lippmeier@anu.edu.au**20090624045204
 Ignore-this: 6e1f248e6bfdba6519e065f9373e7891
 
 Make sure to snip out plain ctors. They're not regular vars.
] 
[Fix #65 Parsing problems with where and irrefutable patterns
Ben.Lippmeier@anu.edu.au**20090624042336
 Ignore-this: 1bae0465e34f7a33d119d05e97971ef2
] 
[Follow test output
Ben.Lippmeier@anu.edu.au**20090622135646
 Ignore-this: 4fb5a8565fc4dac4287306077a098c38
] 
[Fix #65 Parsing problems with irrefutable patterns
Ben.Lippmeier@anu.edu.au**20090622133806
 Ignore-this: 2da69fbd0530683d916b2164193c6ab6
] 
[Fix #66 Parsing and printing of Bot for effects and closures
Ben.Lippmeier@anu.edu.au**20090622130345
 Ignore-this: 416a1a119dd3003ffea905aef3a1789a
] 
[Rename tests that don't define a toplevel main function
Ben.Lippmeier@anu.edu.au**20090622120819
 Ignore-this: 9ab95e079d62424a9d508ee675b89e08
] 
[Add test for failing #66, handling of bot effects and closures
Ben.Lippmeier@anu.edu.au**20090622092331
 Ignore-this: 2ded645e17e25e4c68ad088292aa067a
] 
[Add missing case when checking for main function
Ben.Lippmeier@anu.edu.au**20090622091850
 Ignore-this: 56a94b384014285f87d53ae3f7823f56
] 
[Add docs
Ben.Lippmeier@anu.edu.au**20090622091347
 Ignore-this: 7b5e9be8f636318075cd4e84cc003259
] 
[Split out GraphScrape into its own module
Ben.Lippmeier@anu.edu.au**20090622091237
 Ignore-this: 53e94efbaea15dbb9e8eeabd13d6720b
] 
[Remove empty module
Ben.Lippmeier@anu.edu.au**20090622090932
 Ignore-this: a5ca0ae463fb07170be6c6d03f7e07b0
] 
[Don't try to link a binary if we're not compiling the Main module
Ben.Lippmeier@anu.edu.au**20090622090220
 Ignore-this: c9b264c6c2546e915067b3b9915e1bec
 
 This lets us do  ddc -make Module.ds, where Module.ds isn't the 
 main module.
] 
[Give an error if the Main module does not define the main function
Ben.Lippmeier@anu.edu.au**20090622085326
 Ignore-this: 636c125dfc0abae656d5e95dd312538e
] 
[Fix #61, desugaring pattern matches with guards
Ben.Lippmeier@anu.edu.au**20090622080532
 Ignore-this: d4e5f5d1e2152d394776aa07cf00f282
] 
[Add test for trac 77
Ben.Lippmeier@anu.edu.au**20090514101126
 Ignore-this: a0849dff4d844ed1c430a013ab8b176a
] 
[Add tests for trac 64, 65, 72, 73, 75
Ben.Lippmeier@anu.edu.au**20090514035626
 Ignore-this: 53f431cd515bb033613eb22d6408233e
] 
[Add tests for TRAC 50, 55, 58, 59, 60, 61, 62
Ben.Lippmeier@anu.edu.au**20090513063950
 Ignore-this: 2a795f19cd4c1914fabbacfc85e0c559
] 
[Add tests for TRAC 33, 42, 44, 45
Ben.Lippmeier@anu.edu.au**20090513041053
 Ignore-this: 69fced46150965d69257e1fa93bad30
] 
[Add tests for T1, T2, T7. Issues moved to trac.haskell.org.
Ben.Lippmeier@anu.edu.au**20090512114713
 Ignore-this: cafb75d0e1c16fe9704def4fabb42ac
] 
[clean out ancient junk from test/Broken-skip
Ben.Lippmeier@anu.edu.au**20090512090057
 Ignore-this: c9ac0e7ec6378cc284ca55be8fdeb4d9
] 
[Add test from thesis
Ben.Lippmeier@anu.edu.au**20090511092727
 Ignore-this: 79923e2575bca7b7b5948d8ae091779f
] 
[Remove unused module
Ben.Lippmeier@anu.edu.au**20090425130758
 Ignore-this: a9a7c4dafb1b5cb65100a680f2109f68
] 
[Add code documentation
Ben.Lippmeier@anu.edu.au**20090425130634
 Ignore-this: e41b0679ed62cacbd5098cf660f10170
] 
[wibble
Ben.Lippmeier@anu.edu.au**20090425120141
 Ignore-this: 122b34a8e29fe8b815a9c394b2de80a8
] 
[reformatting only
Ben.Lippmeier@anu.edu.au**20090425115936
 Ignore-this: f1def50f072559a1b6f980632f67e408
] 
[Fix more of #145, desugaring of list patterns
Ben.Lippmeier@anu.edu.au**20090425115638
 Ignore-this: 38a1857f5d4b5db08608e69174a4a124
] 
[war: always build System.Environment
Ben.Lippmeier@anu.edu.au**20090406130614
 Ignore-this: bbeeeed4578ac46bde2a08839d96247
] 
[Add test for part of #145
Ben.Lippmeier@anu.edu.au**20090406125833
 Ignore-this: a4e849152aef9ec60fbd245132ee5c67
] 
[Fix part of #145: Matching against literals
Ben.Lippmeier@anu.edu.au**20090406125240
 Ignore-this: 588a3a78ced62516b16317d4626f921c
 Still need to handle matching against literal boxed + unboxed strings
] 
[wibble
Ben.Lippmeier@anu.edu.au**20090403075059
 Ignore-this: 7f17ca290543ad2d7b9afeb32843849
] 
[test: Wadler style T monads, from "marriage of monads and effects"
Ben.Lippmeier@anu.edu.au**20090403074557
 Ignore-this: 6d45487d52d2c016ed7c38cda4999f56
] 
[Add (broken) test of post-inference regeneralisation check
Ben.Lippmeier@anu.edu.au**20090325030337
 Ignore-this: e99bb95f0f42aac9920b2d12df21b43d
] 
[Only record vars local to the module being compiled in stateGenDone
Ben.Lippmeier@anu.edu.au**20090325013452
 Ignore-this: 848f3b614e09fc160a228705fdc2a547
] 
[Ensure contra-variance really doesn't matter
Ben.Lippmeier@anu.edu.au**20090325010851
 Ignore-this: 1daff40913a3ede761bc718ef063f628
] 
[Add missing closure info to Data.Ref.#=
Ben.Lippmeier@anu.edu.au**20090325010825
 Ignore-this: 5a5fbda9b4888c2587de57e29fcac71e
] 
[wibbles on demo/Parser
Ben.Lippmeier@anu.edu.au**20090325010653
 Ignore-this: 2b65a4b795d20a7629158b39359bdc
] 
[Add doc/haddoc, and haddock wibbles
Ben.Lippmeier@anu.edu.au**20090303030051
 Ignore-this: 52d6dd344bec8ea7640e18597cbaca2a
] 
[Fixed comments to make haddock glad.
Ben Sinclair <ben.d.sinclair@gmail.com>**20090302145842
 Ignore-this: af444726276054ee4c50d9a2279f40f
] 
[Fix for 'make doc'
Ben Sinclair <ben.d.sinclair@gmail.com>**20090302143933
 Ignore-this: e26e3c262342839eaba774a406cde04a
] 
[Add a test for nested comments
Ben.Lippmeier@anu.edu.au**20090303023750
 Ignore-this: 84fab6ef06a9abd8a2f2ea5769217ab
] 
[Handle nested comments (closes #69)
Ben Sinclair <ben.d.sinclair@gmail.com>**20090302134456
 Ignore-this: 629c0e5c6841613b45ed94ec8408d9b
] 
[Start fixing MaskFresh
Ben.Lippmeier@anu.edu.au**20090301073949
 Ignore-this: c02249667ea16ed34b759a67dd7d6fe9
] 
[Reorganise applyTypeT so we can see when subsumption is really being used.
Ben.Lippmeier@anu.edu.au**20090301073838
 Ignore-this: 35f2367298bc8694da0edf367ab19d4
] 
[Remove unused subsumption rules.
Ben.Lippmeier@anu.edu.au**20090301073622
 Ignore-this: 24fdc4c772d7b201326550e66401a245
 SubVarTrans handles both SubVar and SubTrans, but more efficiently.
 We don't need SubForall because the source language doesn't have
 impredicative polymorphism.
] 
[Core pretty printer wibble
Ben.Lippmeier@anu.edu.au**20090301052214
 Ignore-this: 3188ae91566166c0bdfba90d495710a3
] 
[Add another joinMax test
Ben.Lippmeier@anu.edu.au**20090227063637
 Ignore-this: 7cc0a9b1994e1d7449d165a3e7f6952c
] 
[WAR: don't print currently running threads, we should really have an arg for this.
Ben.Lippmeier@anu.edu.au**20090227063310
 Ignore-this: 5f4a61ac943b9be190a0b5eeb26c52b3
] 
[Clean up some comments
Ben.Lippmeier@anu.edu.au**20090227063109
 Ignore-this: f55403a8d1a40429009e9e1c4cd4741b
] 
[Now we're doing proper joining, we don't need the hacky SubReplay rule anymore.
Ben.Lippmeier@anu.edu.au**20090227062505
 Ignore-this: f025a5e3da143182b359062003223de0
] 
[Do proper joining when reconstructing the type of a match expression
Ben.Lippmeier@anu.edu.au**20090227060319
 Ignore-this: adc79069564a822c666b85c57f001e8b
] 
[Add test for joining of types in core
Ben.Lippmeier@anu.edu.au**20090221114759] 
[Add test for #174
Ben.Lippmeier@anu.edu.au**20090221113640] 
[Re-enable test
Ben.Lippmeier@anu.edu.au**20090221113336] 
[Undo workarounds for #174
Ben.Lippmeier@anu.edu.au**20090221111417] 
[Fix #174: Closure info getting lost with & projections
Ben.Lippmeier@anu.edu.au**20090221104713] 
[Clean up old comments
Ben.Lippmeier@anu.edu.au**20090220110044] 
[Workarounds for issue #174
Ben.Lippmeier@anu.edu.au**20090220060936] 
[add missing file
Ben.Lippmeier@anu.edu.au**20090220032501] 
[Mask effects on local regions in XLam instead of XLocal.
Ben.Lippmeier@anu.edu.au**20090220032217
 
 This saves the core type checker from having to inspect the effect
 term every time it hits an XLocal.
] 
[churn: add main routine
Ben.Lippmeier@anu.edu.au**20090130030629] 
[Churn: hacks
Ben.Lippmeier@anu.edu.au**20090130020928] 
[churn: add env
Ben.Lippmeier@anu.edu.au**20090129222700] 
[churn: generate if exprs
Ben.Lippmeier@anu.edu.au**20090129050019] 
[Start on new churner
Ben.Lippmeier@anu.edu.au**20090129041945] 
[Add missing test check files
Ben.Lippmeier@anu.edu.au**20090129011138] 
[Updates for GHC 6.10
Ben.Lippmeier@anu.edu.au**20090128075254] 
[Wibbles to purity tests
Ben.Lippmeier@anu.edu.au**20090128071901] 
[Discharge Shape constraints on effect and closure eq classes
Ben.Lippmeier@anu.edu.au**20081216062741] 
[Add FreeBSD target, thanks to Alex Sepp
Ben.Lippmeier@anu.edu.au**20081208061536] 
[Stick with GHC 6.8's exceptions for now.
Ben.Lippmeier@anu.edu.au**20081208055607] 
[war: added a flag to keep going after an error.
Ben Sinclair <ben.d.sinclair@gmail.com>**20081207134543] 
[war: stop running tests when an error occurs.
Ben Sinclair <ben.d.sinclair@gmail.com>**20081207133807] 
[war: added a flag to print debugging traces.
Ben Sinclair <ben.d.sinclair@gmail.com>**20081207122906] 
[Make trace output for war work again.
Ben Sinclair <ben.d.sinclair@gmail.com>**20081206073843] 
[Add a -j option to war for how many threads to run.
Ben Sinclair <ben.d.sinclair@gmail.com>**20081204050630] 
[Collect test output and display it cleanly, not all jumbled.
Ben Sinclair <ben.d.sinclair@gmail.com>**20081204022717
 The collectOut function works best with a rank-2 type, so I added
 -fglasgow-exts to the war rule in Makefile as churn has.
] 
[War needs a threaded runtime.
Ben Sinclair <ben.d.sinclair@gmail.com>**20081203132801] 
[Basic parallelisation of War test runner.
Ben Sinclair <ben.d.sinclair@gmail.com>**20081203132604] 
[Fix up churn
Ben.Lippmeier@anu.edu.au**20081127073247
 Seems to have gotten broken when we refactored the literal handling.
 Maybe one day this will be run by a nightly build...
] 
[Don't add so much closure info to graph now it's not being used.
Ben.Lippmeier@anu.edu.au**20081121031828] 
[Base the closure for lambdas on free vars, not using the graph and masking operations.
Ben.Lippmeier@anu.edu.au**20081121024904
 
 I used to think it would be a good idea to use masking operations
 to build the closure information for functions, ie:
 
   fun :: a -($c1)> b -($c2)> c
       :- $c2 = x : a 
       :- $c1 = $c2 \ x
 
 It makes the type terms smaller, but leads to problems when inferring
 types for higher order functions. 
 
 For example, this function found with churn, from Typing.Subsumes.Trans test
 
   v29 = \v30 -> v30 (\v31 -> \v32 -> v32 (\v33 -> 1) (\v34 -> 86));
 
   foreign import v29
         :: forall t0 t1 .. blah
         .  ((t1 -(!e4 $c3)> ... blah
         :- !e3        :> !{!e2; !e1}
         ,  $c7        = $c3 \ v30
         ,  $c3        :> $c2 \ v31                 ****
         ,  $c2        :> ${$c0 \ v32; $c1 \ v32}   ****
         :$ Base.Thunk -> Base.Obj;
   
 highlighed lines show closure masking not being resolved. Masking nodes
 in graph get propageted too far during unification.
 Notes in journal 20/11/2008      
 
 Should look in to this later because I was planning to use a similar
 effect masking operator to cut execption effects out for try/catch exprs.
 
] 
[Remove duplication of freeVars code in Code.Plate.FreeVars
Ben.Lippmeier@anu.edu.au**20081121002401] 
[Fix #165 Unused return value in read_file, and wibbles.
Ben.Lippmeier@anu.edu.au**20080922054952] 
[Skip dirs containing broken tests
Ben.Lippmeier@anu.edu.au**20080909024231] 
[Run tests not mentioned in war.order files.
Ben Sinclair <ben.d.sinclair@gmail.com>**20080907033214
 Only looks inside sub-directories, it doesn't look for test files in the same
 directory as the war.order file.
] 
[Slay a 1 char crash-bug in the runtime system, FFS.
Ben.Lippmeier@anu.edu.au**20080722124637] 
[test wibble
Ben.Lippmeier@anu.edu.au**20080721141436] 
[Redo Data.String from the ground up.
Ben.Lippmeier@anu.edu.au**20080721135650
 
 We now have String#, FlatString and String.
 
 String# is the unboxed C string type
 FlatString contains a single embedded String#, along with its size.
 String has the SChunk and SAppend constructors which provide fast append.
 
 FlatStrings are implemented with primitive store functions from DDC.Store.
 This lets us ditch the horror that was runtime/Prim/String.c  
 
 In future all base types should be implemented with DDC.Store primitives,
 instead of C functions in the runtime system as there's a lot less 
 change we'll shoot ourselves in the foot wrt GC or forgetting to force
 an object.
 
 Actual support for unboxed data in ADTs would help.
] 
[Be more explicit about why dangerUnboxString is dangerous
Ben.Lippmeier@anu.edu.au**20080721033613] 
[Make Data.String safe.
Jared Putnam <jared.c.putnam@gmail.com>**20080719055806] 
[String compare shouldn't modify its arguments.
Jared Putnam <jared.c.putnam@gmail.com>**20080713201755] 
[Follow literal changes in tools/churn
Ben.Lippmeier@anu.edu.au**20080721020706] 
[Redo handling of literals and primitive types
Ben.Lippmeier@anu.edu.au**20080721014052
 
 You can how import foreign unboxed types like:
   foreign import data "String" String# :: % -> *
   foreign import data "FILE"   File#   :: *
 
 Literals can be given specific types with format suffixes
   1234u      - Word
   1234u64    - Word64
   1234#i     - Int#
   12.002f64  - Float64
 etc
] 
[wibble
Ben.Lippmeier@anu.edu.au**20080715043315] 
[Add System.Network
Ben.Lippmeier@anu.edu.au**20080715042433] 
[Add Class.Read
Ben.Lippmeier@anu.edu.au**20080715042403] 
[Add Solution to the 2008 ICFP programming contest
Ben.Lippmeier@anu.edu.au**20080715033351
 This needs a running contest server to connect to, 
 It crashes sometimes, suspect a bug in the String library or RTS
] 
[Fail when BITS is not set and add BITS to the Config.hs.platform files.
Jared Putnam <jared.c.putnam@gmail.com>**20080708160346] 
[Default static top level regions to Const, Default
Ben.Lippmeier@anu.edu.au**20080709053458
 This has the side-effect of requiring top level mutable data
 to have an explicit type sig, listing the mutability, which 
 is probably a good thing.
] 
[Add ghg-regress to test order
Ben.Lippmeier@anu.edu.au**20080707132053] 
[Snaffle some ghc regression tests
Ben.Lippmeier@anu.edu.au**20080707131439] 
[Fix #130: keyword name clash in generated code
Ben.Lippmeier@anu.edu.au**20080707121331] 
[Stifle warnings from TinyPTC
Ben.Lippmeier@anu.edu.au**20080703091922] 
[fix build
Ben.Lippmeier@anu.edu.au**20080703091040] 
[TAG Release Alpha 1.1
Ben.Lippmeier@anu.edu.au**20080703084848] 
Patch bundle hash:
d2849f84f2a15042e07a729af73a17ebbc6e99e4