Ticket #171: 171.dpatch

File 171.dpatch, 192.9 kB (added by benl, 4 years ago)
Line 
11 patch for repository http://code.haskell.org/ddc/ddc-head:
2
3Sat Oct  2 23:36:21 EDT 2010  Max Bolingbroke <batterseapower@hotmail.com>
4  * Implement and test let qualifiers in list comprehensions
5
6New patches:
7
8[Implement and test let qualifiers in list comprehensions
9Max Bolingbroke <batterseapower@hotmail.com>**20101003033621
10 Ignore-this: f108283451d4dc15355e43c5085660ca
11] {
12hunk ./src/Source/Desugar.hs 9
13 --   
14 module Source.Desugar
15        ( rewriteTree
16-       , rewrite)
17+       , rewrite
18+       , rewriteLetStmts )
19 where
20 import Util
21 import Type.Util                       
22hunk ./src/Source/Desugar.hs 307
23        -- Let and where expressions are treated similarly.
24        --      They're just sugar for do expressions, and don't support mutual recursion.
25        S.XLet sp ss x
26-        -> do  ss'             <- rewrite ss
27-               x'              <- rewrite x
28-               let ssX         = ss' ++ [D.SBind sp Nothing x']
29-       
30-               ssX_demon       <- rewriteDoSS ssX
31-       
32-               -- merge pattern bindings
33-               let (ssX_merged, errs) = mergeBindings ssX_demon
34-               mapM_ addError errs
35-       
36-               return  $ D.XDo sp ssX_merged
37+        -> do  x'              <- rewrite x
38+               rewriteLetStmts sp ss x'
39 
40        S.XWhere sp x ss
41hunk ./src/Source/Desugar.hs 311
42-        -> do  ss'             <- mapM rewrite ss
43-               x'              <- rewrite x
44-               let ssX         = ss' ++ [D.SBind sp Nothing x']
45-       
46-               ssX_demon       <- rewriteDoSS ssX
47-       
48-               -- merge pattern bindings
49-               let (ssX_merged, errs) = mergeBindings ssX_demon
50-               mapM_ addError errs
51+        -> do  x'              <- rewrite x
52+               rewriteLetStmts sp ss x'
53 
54hunk ./src/Source/Desugar.hs 314
55-               return  $ D.XDo sp ssX_merged
56-               
57        S.XIfThenElse sp x1 x2 x3
58         -> do  x1'     <- rewrite x1
59                x2'     <- rewrite x2
60hunk ./src/Source/Desugar.hs 476
61                $ "rewrite[Exp]: can't rewrite " % xx % "\n\n"
62                %  show xx      % "\n"
63 
64+-- | Used for rewriting let/where-like statements into a use of the do notation.
65+-- Takes a body of the let that has already been rewritten.
66+rewriteLetStmts :: SourcePos -> [S.Stmt SourcePos] -> D.Exp Annot -> RewriteM (D.Exp Annot)
67+rewriteLetStmts sp ss x_body'
68+  = do ss'             <- mapM rewrite ss     
69+       let ssX         = ss' ++ [D.SBind sp Nothing x_body']
70+
71+       ssX_demon       <- rewriteDoSS ssX
72+
73+       -- merge pattern bindings
74+       let (ssX_merged, errs) = mergeBindings ssX_demon
75+       mapM_ addError errs
76+
77+       return  $ D.XDo sp ssX_merged
78+
79+
80 
81 -- Default literals to the machine type
82 --     This should really look out type bindings like
83hunk ./src/Source/Desugar/ListComp.hs 74
84                return  $ D.XDo sp
85                                [ D.SBind sp Nothing  (D.XApp sp (D.XApp sp (D.XVar sp catMapVar) patFunc) l') ]
86 
87+       -- [e | let s, Q]               => let s in [e | Q]
88+       S.XListComp sp exp (S.LCLet ss : qs)
89+        -> do  lc'     <- rewriteListComp $ S.XListComp sp exp qs
90+               rewriteLetStmts sp ss lc'
91 
92        _ -> panic stage
93                $ pprStrPlain $ "rewriteListComp failed for\n    " % x % "\n"
94hunk ./src/Source/Desugar/MergeBindings.hs 14
95 
96 
97 -- Merge -------------------------------------------------------------------------------------------
98--- | Merge consecutive pattern bindings into a single binding.
99+-- | Merge consecutive pattern bindings into a single binding, i.e:
100+--
101+--  f = \x y -> match \Delta_1
102+--  f = \a b -> match \Delta_2
103+-- 
104+-- Is rewritten to:
105+--
106+--  f = \x y -> match \Delta_1, \Delta_2[a/x, b/y]
107+--
108 --     TODO: throw an error if merged bindings aren't consecutive
109 --     TODO: check for overlapping patterns           
110 --
111hunk ./src/Source/Exp.hs 317
112 -- | Qualifiers for list comprehensions.
113 data LCQual a
114        = LCGen         Bool (Pat a) (Exp a)            -- ^ Generator.                 p <\@- e, p <- e
115-       | LCLet         (Stmt a)                        -- ^ Local declaration.         Stmt can only be SBind.
116+       | LCLet         [Stmt a]                        -- ^ Local declarations.        Stmts can only be SBind.
117        | LCExp         (Exp a)                         -- ^ Guard.
118        deriving (Show, Eq)
119hunk ./src/Source/Parser/Exp.hs 341
120 pLCQual
121  =     -- LET VAR ...
122        do      pTok K.Let
123-               pTok K.CBra
124-                lcq    <- pLCQualLet
125-               pSemis
126-               pTok K.CKet
127-                return $ lcq
128+                ss     <- pCParen (Parsec.sepEndBy1 pLCQualLet pSemis)
129+                return $ LCLet ss
130 
131  <|>   -- PAT <- EXP
132        -- overlaps with let and guard
133hunk ./src/Source/Parser/Exp.hs 358
134   <?>   "pLCQual"
135 
136 
137-pLCQualLet :: Parser (LCQual SP)
138+pLCQualLet :: Parser (Stmt SP)
139 pLCQualLet
140  =     do      var     <- pOfSpace NameValue pVar
141                pats    <- Parsec.many pPat1
142hunk ./src/Source/Parser/Exp.hs 363
143                stmt    <- pStmt_bindVarPat var pats
144-               return  $ LCLet stmt
145+               return  stmt
146 
147  <|>   do      pat     <- pPat
148                stmt    <- pStmt_bindPat2 pat
149hunk ./src/Source/Parser/Exp.hs 367
150-               return  $ LCLet stmt
151+               return  stmt
152 
153 
154 pLeftArrowIsLazy :: Parser Bool
155hunk ./src/Source/Pretty.hs 407
156        LCGen False p x -> p % " <- " % x
157        LCGen True  p x -> p % " <@- " % x
158        LCExp x         -> ppr x
159-       LCLet ss        -> "let { " % ss % "}"
160+       LCLet ss        -> "let {\n"
161+                               %> ";\n" %!% ss
162+                               %  "\n}"
163 
164 
165 -- Stmt --------------------------------------------------------------------------------------------
166hunk ./src/Source/Rename.hs 497
167                (qs', xx')      <- renameListComp qs xx
168                return  (LCExp x' : qs', xx')
169 
170-       LCLet{} : _
171-        -> panic stage "renameListComp: LCLet not finished"
172+       LCLet ss : qs
173+        -> withLocalScope
174+        $ do   ss'             <- renameSs ss
175+               (qs', xx')      <- renameListComp qs xx
176+               return  (LCLet ss' : qs', xx')
177 
178               
179 -- Projections -------------------------------------------------------------------------------------
180adddir ./test/14-Desugar/ListComp/T171-LetInComp
181}
182
183Context:
184
185[Haddock fixes
186benl@ouroborus.net**20100927191453
187 Ignore-this: 39d419d932b9e332816eaf508f905dfc
188]
189[Store type defs from imported and class decls in squid env
190benl@ouroborus.net**20100926212754
191 Ignore-this: 9f02046bf55c153cb2baab4040ff3fc5
192]
193[Push problem generation into constraint slurper
194benl@ouroborus.net**20100926191642
195 Ignore-this: 228cf496b63a9be4dfc51c064acef041
196]
197[Move problem construction closer to slurper
198benl@ouroborus.net**20100926175820
199 Ignore-this: f126995685faf6a8f61a464b33090745
200]
201[Break out type Solution and InstanceInfo types into their own module
202benl@ouroborus.net**20100926110949
203 Ignore-this: d1c0fa9a1eb4f4191be428b9bac1c042
204]
205[Move Problem module
206benl@ouroborus.net**20100926105825
207 Ignore-this: 3414d28960f99ca04c22293e06a3dcda
208]
209[Comments only
210benl@ouroborus.net**20100926105603
211 Ignore-this: 1d8841566369e0a5a2a8a738e7622280
212]
213[Push Problem type into solver
214benl@ouroborus.net**20100926104909
215 Ignore-this: 6892631fc10aeff340a53c84c1e551db
216]
217[Start cleaning up interface to type inferencer
218benl@ouroborus.net**20100925130038
219 Ignore-this: 6e99d5c6d400c56f73ca12f16f8276a2
220 We want to provide a map of type sigs to the inferencer so it
221 can look them up and do the check every after every generalisation.
222]
223[Remove unused CTopEffect and CTopClosure constructors from Constraint.Exp
224benl@ouroborus.net**20100925122151
225 Ignore-this: 95e179dd4a16e2091bc30d729dd52f00
226]
227[Add SigMode for =: :> and <: type sigs. (exact, more-than, less-than)
228benl@ouroborus.net**20100925121118
229 Ignore-this: fbd8883584cd1fd4df3ddfde2d74baa2
230]
231[Follow changes in Rover example
232benl@ouroborus.net**20100921130956
233 Ignore-this: f2a064ce9cbe4fbaba78a2069b9abbbe
234]
235[Cleanup show instances
236benl@ouroborus.net**20100921130359
237 Ignore-this: 35a979afc6697e4dc9645ba6bf6384b1
238]
239[Merge modules for boxed and unboxed versions of numeric types
240benl@ouroborus.net**20100921095807
241 Ignore-this: 614e0ef2b8f5a1252779d0ed0982f650
242]
243[Add Word64 lib
244benl@ouroborus.net**20100921094158
245 Ignore-this: db68192a3be89976444a77b4b1f54d71
246]
247[Fix Styrene example
248benl@ouroborus.net**20100920031358
249 Ignore-this: fbaaa0016150e34eb434d4e71983f147
250 Some of this was working around compiler bugs, but we want the
251 code in the regression test suite.
252]
253[Remove more unused prim stuff from runtime
254benl@ouroborus.net**20100919141525
255 Ignore-this: 4775aaeccb742e7d91f7dd1e78a1e800
256]
257[Remove unneeded Float.c from runtime
258benl@ouroborus.net**20100919135909
259 Ignore-this: ef94694631f2004c6b7a989934b0b91c
260]
261[Implement the rest of the numeric boxing/unboxing directly in Disciple
262benl@ouroborus.net**20100919135755
263 Ignore-this: 42cc359b3d0ac9659d598fc173dd0d22
264]
265[pokeOn wants a Mutable constraint
266benl@ouroborus.net**20100919133723
267 Ignore-this: 36093a96fc27abcdf4423dbea267a1db
268]
269[Add nifty higher kinded peekOn and pokeOn fns
270benl@ouroborus.net**20100919133337
271 Ignore-this: f051866e3e8f00b6be4966ba16bb90bb
272 
273  pokeOn        :: forall (t :: % -> *) a
274        .  t %r1 -> Ptr# a -> a -(!e1)> ()
275        :- !e1 = !Write %r1
276 
277  peekOn        :: forall (t :: % -> *) a
278        .  t %r1 -> Ptr# a -(!e1)> a
279        :- !e1 = !Read %r1
280 
281 These are used to read and write to a pointer, while assigning
282 the Read or Write effect to the primary region of some other type.
283 
284 The fancy part is that by using the higher kinded binding variable
285 (t :: % -> *) we can ignore what constructor the type of interest
286 is actually using.
287 
288]
289[Follow changes in Float64 test
290benl@ouroborus.net**20100919121257
291 Ignore-this: f97807226cdf14fe80ef6d7d12f0d651
292]
293[Cleanup Float64 lib
294benl@ouroborus.net**20100919114055
295 Ignore-this: a3bb0e688726627d7155faf723f8d42b
296]
297[Remove now unused code from runtime
298benl@ouroborus.net**20100919084933
299 Ignore-this: 4de5759bac9fcc97d1da56dd12a2cdab
300]
301[Add missing quantifiers
302benl@ouroborus.net**20100919083450
303 Ignore-this: 96c8a063477d775753826c4634726ff1
304]
305[During elaboration, don't attach eff vars to fns if there are no added effects
306benl@ouroborus.net**20100919081942
307 Ignore-this: 5594429b0d19a0597d5134cfddcff543
308]
309[wibble
310benl@ouroborus.net**20100919075045
311 Ignore-this: ede8faaa50942b0acfdb6c4610116fd9
312]
313[Add the actual Floating class
314benl@ouroborus.net**20100919074948
315 Ignore-this: 336dc835e7f292b4b576ec87f813caa8
316]
317[Shift trig fns into Floating class
318benl@ouroborus.net**20100919074927
319 Ignore-this: 9beec45a9a8e0598ebbdae4e4e2e5d50
320]
321[wibble
322benl@ouroborus.net**20100919073149
323 Ignore-this: 1d341347da0d3265e1fa7def0a7b5d90
324]
325[Cleanup Float32 library
326benl@ouroborus.net**20100919072150
327 Ignore-this: bda5c87ce68b791b3a00a8f60c404435
328]
329[Add missing files
330benl@ouroborus.net**20100919065112
331 Ignore-this: bc1539062e17fdb6ffcca1a849e9a1c2
332]
333[More cleanup to numeric types library
334benl@ouroborus.net**20100919064915
335 Ignore-this: 2b007f9e57a476cf2c8c129529db0336
336]
337[Remove boxed prims for Int32 from Core.Prim
338benl@ouroborus.net**20100919053417
339 Ignore-this: 71ef49e2f9122cf566f83dbfcc8f93ad
340]
341[Use builtin Disciple prims to implement Int library
342benl@ouroborus.net**20100919053225
343 Ignore-this: d8d3107bf89eecb7b0f365af20b588de
344]
345[Fix #82: ReadT only applies to the material parameters of a data type
346benl@ouroborus.net**20100919050951
347 Ignore-this: 4baee4ad7e9e574f6c02f0c51dcea548
348]
349[Add missing boot file
350benl@ouroborus.net**20100919043830
351 Ignore-this: bfe80f3d44ed26d1b1a3b4c3b999a510
352]
353[Attach DataDefs to TyCons
354benl@ouroborus.net**20100919043743
355 Ignore-this: 9c383f22e7aa190f51dcfe93cb2fa841
356]
357[Cleanup test code
358benl@ouroborus.net**20100919042316
359 Ignore-this: 616837a09ef3eacdc9e8a72eff657445
360]
361[Add arg to TyCon to hold its DataDef
362benl@ouroborus.net**20100919042243
363 Ignore-this: 36b05f27826cbcab62e60fda42968adb
364]
365[Accept test wibbles
366benl@ouroborus.net**20100919013356
367 Ignore-this: e59a263977db528ae417bf5198ebf530
368]
369[Only data type constructors have data defs, not the fn type constructor as well.
370benl@ouroborus.net**20100919012829
371 Ignore-this: 980b7f94337833725b87b69ab0fe2766
372]
373[Accept test wibbles
374Ben.Lippmeier@anu.edu.au**20100919012231
375 Ignore-this: b1bb1f4010098027dc3f3b889565baaa
376]
377[Fix #102: Use materiality of vars when crushing Shape constraints
378benl@ouroborus.net**20100919011516
379 Ignore-this: 86044be3c5ee67b7d0e734993ecdd38d
380]
381[Add Word32 type
382benl@ouroborus.net**20100917132947
383 Ignore-this: b98057db81c1b4d3002049f28c300015
384]
385[Follow lib changes in primes test
386benl@ouroborus.net**20100917121103
387 Ignore-this: e8f31342b2baada8cd7933e77fe7de0a
388]
389[Follow changes to numeric library location
390Ben.Lippmeier@anu.edu.au**20100917120534
391 Ignore-this: afed7693a89e0a9368c7c24fa5bcda1
392]
393[Cleanup numeric libraries
394Ben.Lippmeier@anu.edu.au**20100917115559
395 Ignore-this: 100866efbf05ef3b4bbd37c3ca332a75
396]
397[Remove dodgy pow function from Data.List
398Ben.Lippmeier@anu.edu.au**20100917111526
399 Ignore-this: 13d1c70c5a555edcdd72f5e21ec30143
400]
401[Cleanup Int library
402Ben.Lippmeier@anu.edu.au**20100917105104
403 Ignore-this: ea593dcbeb0fa37aa3d7f9a1d0a73423
404]
405[Also annotate data type defs with sets of immaterial vars
406benl@ouroborus.net**20100914130031
407 Ignore-this: 337e2b9e33837dac9937633494dd1e8
408]
409[Don't call back on Data.String when constructing exceptions in the RTS
410benl@ouroborus.net**20100914071644
411 Ignore-this: d351d12d40bb57c963926072fc2f2c6e
412]
413[Let application of suspended partial apps through debug code
414benl@ouroborus.net**20100914041751
415 Ignore-this: f0d70389de24f707ab1331d6a279efbb
416]
417[Fix #define for debug mode
418benl@ouroborus.net**20100914041536
419 Ignore-this: 2b4de2fc1629f8bf1ce7c4023215609c
420]
421[Fix top level unboxed CAFs
422benl@ouroborus.net**20100914040823
423 Ignore-this: db58c73ae91358199793ada38735cbc8
424]
425[Fix conflicts
426benl@ouroborus.net**20100914034429
427 Ignore-this: cf31a10eed3633d1f5428b319fce9e1d
428]
429[Fix crash due to wrong XArg projections being used
430benl@ouroborus.net**20100914034231
431 Ignore-this: d5bd79cecc4a514a377317c3292a60d7
432]
433[Fix debugging code in GC
434benl@ouroborus.net**20100914024235
435 Ignore-this: bc2ad6b6bc055b4215fd4e666a10ce9f
436]
437[Add listMap smoke test
438benl@ouroborus.net**20100914023608
439 Ignore-this: 50746c9c1fb98b4f6a4a8eca06499f3d
440]
441[Wibble on smoke tests notes
442benl@ouroborus.net**20100914022840
443 Ignore-this: cadbccc5d0ae5c22fe4bd3aec390c5d4
444]
445[Add more prelude based smoke tests
446benl@ouroborus.net**20100914022722
447 Ignore-this: ffc3a891f8ee3fab40c108925e11766d
448]
449[Add -no-implicit-handler to avoid using the Prelude's exception handler
450benl@ouroborus.net**20100914020834
451 Ignore-this: ff57b4d9f115ef3a5ad16354e61b9d86
452 This is also implied with -no-implicit-prelude
453]
454[Add smoke tests to run before sanity tests
455benl@ouroborus.net**20100914014604
456 Ignore-this: 726cc786020e3debf65b023630ef58bf
457]
458[Follow sea literal changes in pretty printer
459benl@ouroborus.net**20100913095924
460 Ignore-this: bbfd9564dfcf764180fbbb18b5a0d993
461]
462[Break literal handling out of Sea expressions
463benl@ouroborus.net**20100913035549
464 Ignore-this: d6a86cbf36037ef2b4aca34274692b3c
465]
466[Ditch old ObjType type and annot super vars with their actual types
467benl@ouroborus.net**20100912103711
468 Ignore-this: e5033c8c70ed02a5cf427aabb55b4382
469]
470[Add -dump-pretty-sea-types flag
471benl@ouroborus.net**20100912083607
472 Ignore-this: 796047ac16c98c40311d84f6090ea5b7
473]
474[Fix Sea pretty printing of imported CAFs
475benl@ouroborus.net**20100912081859
476 Ignore-this: 7c056f41fc3cb396dfbf4958d4c64dce
477]
478[Fix annot of CAF vars in Core.ToSea
479benl@ouroborus.net**20100910064443
480 Ignore-this: 40576161f4c2a9620db0f60c2859fd71
481]
482[Remove unused XLabel construtor
483benl@ouroborus.net**20100910051720
484 Ignore-this: 9a527e0ad51e848103a7794d977439fc
485]
486[Give supers NSuper names during Core.ToSea
487benl@ouroborus.net**20100910051437
488 Ignore-this: 429daf0bb4b83d00644cdfdfd5f3297e
489]
490[Formatting only
491benl@ouroborus.net**20100910045156
492 Ignore-this: c430537480d823a55f899b7a1dbda811
493]
494[Fix CAF initialisation
495benl@ouroborus.net**20100910044955
496 Ignore-this: 2fb37d75c4a6cff59d3a2ed30f3d199a
497]
498[Break out different XVar versions into Name type
499benl@ouroborus.net**20100910035846
500 Ignore-this: c8514a9dceaf34f51b64eb8257a089bf
501]
502[Purge unused XSlotCAF
503benl@ouroborus.net**20100908105918
504 Ignore-this: 48cde40b4fb69d5d3e5203aba0f5e53b
505]
506[LLVM : Remove LMUnion from LlvmType. Its unsupported in llvm-2.8.
507Erik de Castro Lopo <erikd@mega-nerd.com>**20100911042312
508 Ignore-this: f5e4c1ca2caf47caaabe75ab0734d8b0
509]
510[Runtime : Make sure pointer size is known in Object.h.
511Erik de Castro Lopo <erikd@mega-nerd.com>**20100910123727
512 Ignore-this: 5b1725b6435ec3e7e57905aa3f03952d
513]
514[Runtime : Drop UInt and Tag types replacing them with C99 types.
515Erik de Castro Lopo <erikd@mega-nerd.com>**20100910113659
516 Ignore-this: e18b4e444a5496ee19dea737de841a74
517]
518[Move Sea pretty printer to DDC tree and cleanup
519benl@ouroborus.net**20100908103836
520 Ignore-this: f64a3004860b6978a6f0120903542b83
521]
522[wibble
523benl@ouroborus.net**20100907144243
524 Ignore-this: 9e658281e3a1c24ac5d3c300a6e7464a
525]
526[Follow changes in array library
527benl@ouroborus.net**20100907144140
528 Ignore-this: 1663ed22918733964970118bf8fa7872
529]
530[More cleanups to Array library
531benl@ouroborus.net**20100907142604
532 Ignore-this: 7d1b69a7fb89356a1433b176fc75f8ce
533]
534[Start cleaning up array library
535benl@ouroborus.net**20100907132703
536 Ignore-this: e77da55ab43a12eb8fbcc33d93162881
537]
538[Sea.Slot : Fix type of XVarCAF.
539Erik de Castro Lopo <erikd@mega-nerd.com>**20100907130855
540 Ignore-this: 1454ef34f9971cf024da97ea9354fda7
541]
542[LLVM : Commit current (broken) state.
543Erik de Castro Lopo <erikd@mega-nerd.com>**20100907090307
544 Ignore-this: a8ce5edb2b81744e1998c8fba2ed7b4
545]
546[LLVM : Add LMUnion type to David Terei's LLVM type defs.
547Erik de Castro Lopo <erikd@mega-nerd.com>**20100907085136
548 Ignore-this: 16753a1d7e016ae551774764eb3fbdad
549]
550[XSuper wasn't being used
551benl@ouroborus.net**20100907082031
552 Ignore-this: d7185b8e8702216358b02f0432cb8729
553]
554[LLVM : Pull type aliases into LlvmM monad.
555Erik de Castro Lopo <erikd@mega-nerd.com>**20100907074517
556 Ignore-this: af4d315044b351495dfa9e97fc87f3ad
557]
558[Ditch unused XTagThunk constructor
559benl@ouroborus.net**20100907072609
560 Ignore-this: 64103a4ef328e67cec7628176d87252d
561]
562[Dump unused XAtom and cleanup
563benl@ouroborus.net**20100907072416
564 Ignore-this: d881618c89777d913a5c06586e1326a3
565]
566[Remove duplicated field projection stuff
567benl@ouroborus.net**20100907071756
568 Ignore-this: 1db52e8b3ed776704b240c6597c212e2
569]
570[Make allocation fns primops
571benl@ouroborus.net**20100907071539
572 Ignore-this: 6a8f5c14a422812f9013f193618c7965
573]
574[Ditch unused allocation constructors
575benl@ouroborus.net**20100907065937
576 Ignore-this: d63a1fa0199f377916b62604c7220b4c
577]
578[Make XBox and XUnbox primitives
579benl@ouroborus.net**20100907065029
580 Ignore-this: 1763a24ca15a5e441c43283aa543f5b1
581]
582[make XForce a primop
583benl@ouroborus.net**20100907064059
584 Ignore-this: c1a657f3e07e53fc30d31ec1bc0a5434
585]
586[Remove code for suspensions, we're currently handling them as regular function calls
587benl@ouroborus.net**20100907063447
588 Ignore-this: 66f0bd3ea9e5269a3b99621461d02ca
589]
590[Fix warnings
591benl@ouroborus.net**20100907062820
592 Ignore-this: f40597718d6a7c9b08a214e1dff72c99
593]
594[Move function application primops to Exp.Prim
595benl@ouroborus.net**20100907062604
596 Ignore-this: f930ddcc09fdf685028366d4931cd63c
597]
598[Break up primops type
599benl@ouroborus.net**20100907051630
600 Ignore-this: f51c930778ad097de68a851e2ead3a6a
601]
602[Break prims and types from Sea.Exp module
603benl@ouroborus.net**20100907045132
604 Ignore-this: 1d92ff511cb0e8bd88cbffdfc745d58b
605]
606[Move Sea.Exp to DDC tree and start cleaning up
607benl@ouroborus.net**20100907044715
608 Ignore-this: 75a78434f2ce4d8ce0706b319b0b7d6
609]
610[Cleanups to Data.List
611Ben.Lippmeier@anu.edu.au**20100907040019
612 Ignore-this: fc43159181bf07001c2d6b8efc37ec74
613]
614[Formatting
615benl@ouroborus.net**20100906124401
616 Ignore-this: a156e4637eff8e907c85f7a35fd29993
617]
618[Cleanup Base library module
619benl@ouroborus.net**20100906123203
620 Ignore-this: 1190fa69c90b0fa6fba539267b3d1e8b
621]
622[Finish annot of data decls with material vars
623benl@ouroborus.net**20100906120756
624 Ignore-this: 1a6e83768e848c1348ad41e1369b6c8
625]
626[Hook up material vars annotator to data type elaboration pass
627benl@ouroborus.net**20100906112536
628 Ignore-this: ad056291f337333928203748f99f482d
629]
630[Give all the data defs to the elaborator in one go
631benl@ouroborus.net**20100906111913
632 Ignore-this: 898af50e4fc10d69dfb39f15a685f1d9
633]
634[Use globs throughout Desugar.Elaborate
635benl@ouroborus.net**20100906103729
636 Ignore-this: cb570eedb717504f6e8f50981fa19a07
637]
638[Use globs in Desugar.Elaborate
639benl@ouroborus.net**20100906091756
640 Ignore-this: 80dc8c2ca9722092e47055e684026f18
641]
642[More on desugared globs
643Ben.Lippmeier@anu.edu.au**20100905122147
644 Ignore-this: 1c42402e3785220bdc39811ad66d33b3
645]
646[Add glob insertion function
647Ben.Lippmeier@anu.edu.au**20100905120608
648 Ignore-this: 32ba1a2db057e04c4bcac6f9471b3f55
649]
650[Start on desugared globs
651Ben.Lippmeier@anu.edu.au**20100905113256
652 Ignore-this: 99b91952e00b2d11ac0db917ed5c97c
653]
654[Remove old dir
655Ben.Lippmeier@anu.edu.au**20100905111247
656 Ignore-this: 97584b403d950a8da08ec61d65fe1868
657]
658[Spit-shine on the desugared boilerplate.. uh?
659Ben.Lippmeier@anu.edu.au**20100905111035
660 Ignore-this: d7b1dde7b8ca3d5a5a4b8c996cf48099
661]
662[Start cleanup up transformer
663Ben.Lippmeier@anu.edu.au**20100905100954
664 Ignore-this: b50cf31ea835ae599812d9f37fa28ef6
665]
666[Move desugared boilerplate to DDC tree and cleanup
667Ben.Lippmeier@anu.edu.au**20100905095229
668 Ignore-this: 77cd300d6e790eb23f2808f547eca380
669]
670[Cleanup desugared pretty printer
671Ben.Lippmeier@anu.edu.au**20100905093103
672 Ignore-this: 1832773fce362be0e2bcb3d3386fad6d
673]
674[Haddock fix
675benl@ouroborus.net**20100905065457
676 Ignore-this: 8254618ea573587c6d7bc5d441f88385
677]
678[Fix warnings
679benl@ouroborus.net**20100905065049
680 Ignore-this: 2809da44e3fbf42027690983ba1ab93d
681]
682[Ditch separate kind inferencer pass
683benl@ouroborus.net**20100905064315
684 Ignore-this: 1dd85eb8c062cee6f0f219f0679bce56
685]
686[Start merging kind inferencer stub with elaborator
687benl@ouroborus.net**20100905061339
688 Ignore-this: 5f2d1fe997bbc919f9e1ccc6dff572ae
689]
690[Split out kind constraints into own module
691benl@ouroborus.net**20100905055006
692 Ignore-this: 1931c7f8d607470b57415936c2bcf7a6
693]
694[Break out elaboration of eff and clo into own module
695benl@ouroborus.net**20100905054340
696 Ignore-this: be537235d83d2b24992ea7e7b7bda41f
697]
698[Break out elaborator state into own module
699benl@ouroborus.net**20100905051759
700 Ignore-this: 12f451a13d924896c07baaa70d752acf
701]
702[Move Desugar.Elaborate to DDC tree and fix warnings
703benl@ouroborus.net**20100905051502
704 Ignore-this: d4693c2636dfa2403459822667b340f6
705]
706[Move desugar utils to DDC tree and cleanup
707benl@ouroborus.net**20100905050306
708 Ignore-this: 69c25e568a3e8b3b1d13e1d57cf57072
709]
710[Move Desugar.Bits to DDC tree and cleanup
711benl@ouroborus.net**20100905045158
712 Ignore-this: d5b43eb750f0948090735ad42386fb12
713]
714[Use DataDefs for foreign data types.
715benl@ouroborus.net**20100905035752
716 Ignore-this: 68ae3e91f70c6fdb5bda53e47320561a
717]
718[Fix warnings
719benl@ouroborus.net**20100904105313
720 Ignore-this: f83b50da37d5e9399cf8d61f7f0bd3b0
721]
722[More on material vars
723benl@ouroborus.net**20100904104325
724 Ignore-this: 826dd9b9250d187d05a58cbb072118af
725]
726[Remove remaining o-boot files.
727Erik de Castro Lopo <erikd@mega-nerd.com>**20100904084003
728 Ignore-this: 8fb5a873780d3bf5306cce5469918d21
729]
730[Doc wibble
731benl@ouroborus.net**20100904071736
732 Ignore-this: c47ac8d48dbdfdb54ae093cf2907d88e
733]
734[Explicitly export stuff from DDC.Type.Builtin so haddock shows it
735benl@ouroborus.net**20100904071206
736 Ignore-this: 98cd0ae0025db7f09d568b1d0d6ba392
737]
738[Add field to data def to hold sets of material and immaterial vars
739benl@ouroborus.net**20100904071140
740 Ignore-this: cfa7e997b401e858c9079f41606a9a4f
741]
742[More on material vars and annotate data type params with their kinds
743benl@ouroborus.net**20100904064827
744 Ignore-this: d33db0e6fcda7e6f0b640111c232f30c
745]
746[LLVM : Add boxing of strings.
747Erik de Castro Lopo <erikd@mega-nerd.com>**20100904042129
748 Ignore-this: 181a53521209d672d0fc366fa5718026
749]
750[Add missing module
751benl@ouroborus.net**20100903121108
752 Ignore-this: af1e0710948b3e1fd4c279819f6e6a78
753]
754[Don't duplicate instantiateT in Core.Dictionary
755benl@ouroborus.net**20100903120609
756 Ignore-this: 838b3977a9eb2fff853b12706e69aa2c
757]
758[Cleanup docs for type operators and given them consistent names
759benl@ouroborus.net**20100903115218
760 Ignore-this: 369d9a36e98b0b7e68cae4cb2f638da
761]
762[remove old dir
763benl@ouroborus.net**20100903105526
764 Ignore-this: eef88009c037ce6c8855a5f0c59540b1
765]
766[Move MaskLocal to DDC tree and fix warnings
767benl@ouroborus.net**20100903105459
768 Ignore-this: d6002b41d84dd67fa40b3adc0b32a4c6
769]
770[Move fns that collect things from types to own dir
771benl@ouroborus.net**20100903105053
772 Ignore-this: 1d89072678b73df1a94b98021e45148c
773]
774[Clean out some trash from the utils dir
775benl@ouroborus.net**20100903011247
776 Ignore-this: fbf79bb46545e39436072504a7ce6ea3
777]
778[LLVM : Pull globals into LlvmM monad.
779Erik de Castro Lopo <erikd@mega-nerd.com>**20100903113551
780 Ignore-this: 895c3f489f2277020a0756a49b882706
781]
782[Runtime : User saner definition and usage of FunPtr.
783Erik de Castro Lopo <erikd@mega-nerd.com>**20100903094013
784 Ignore-this: 97b2a5b3536eeb293e97897bb4205e86
785]
786[LLVM : Fix passing of parameters to functions.
787Erik de Castro Lopo <erikd@mega-nerd.com>**20100903084836
788 Ignore-this: 67385f9b9c382a9b0bd41f36b0cfd9f6
789]
790[LlvmM : Cleanup and refactoring.
791Erik de Castro Lopo <erikd@mega-nerd.com>**20100903084723
792 Ignore-this: f21dfc7e7cbacf0eafb4b64804056334
793]
794[Fix warnings
795benl@ouroborus.net**20100903004834
796 Ignore-this: 4934ecf7f38ed241f2c8f40818a58959
797]
798[Move type operators to their own dir
799benl@ouroborus.net**20100903002305
800 Ignore-this: fd72ded63c0a408270034d64b2f636ba
801]
802[Clean o-boot files
803benl@ouroborus.net**20100903001157
804 Ignore-this: 3316b8f50ab8051bd33094f2b343fffe
805]
806[LLVM : The LlvmM monad becomes smarter.
807Erik de Castro Lopo <erikd@mega-nerd.com>**20100902120455
808 Ignore-this: 63d04f00bec217b5b8042816c460bcd5
809]
810[During data elaboration, link in effects of funs in constructors
811benl@ouroborus.net**20100902115736
812 Ignore-this: 4b6e6c2d188f65a2666546c01fbc53ab
813 
814 For a data type like
815  data Foo a b
816        = MkFoo (a -> b)
817 
818 This used to force the embedded function to be pure, but I think
819 it's better if it just elaborates to:
820 
821  data Foo a b !e1 $c1
822        = MkFoo (a -(!e1 $c1)> b)
823 
824 This way there should be less of a chance of having to worry about the
825 effect or closure annots. We could still require the contained function
826 to be pure by adding a constraint directly to the alternative.
827 
828]
829[Accept test wibbles
830benl@ouroborus.net**20100902115524
831 Ignore-this: a54499da89bdec2d9f477a2b7515bc8
832]
833[This time for sure
834benl@ouroborus.net**20100902115106
835 Ignore-this: 9c830660f752c2515d836fc223b1704a
836]
837[Fix reporting of arity problems in pattern matching
838benl@ouroborus.net**20100902114235
839 Ignore-this: e19bdbec444fe5d8e030cddd910ffb0a
840]
841[Fix elaboration of data types containing functions
842benl@ouroborus.net**20100902113110
843 Ignore-this: e5124f46015f4afde845d3595303c369
844]
845[Accept test wibbles
846benl@ouroborus.net**20100902105226
847 Ignore-this: 2075a2960864bc221300ddf366a29c4d
848]
849[Must reactivate effect classes after crushing
850benl@ouroborus.net**20100902104416
851 Ignore-this: 6baf2a01f0716927b3cf661639f390a7
852]
853[Don't revisit effect classes that will never be crushable
854benl@ouroborus.net**20100902102849
855 Ignore-this: b3118893be58236dc621a98198a54c82
856]
857[Refactor crushClass in grinder
858benl@ouroborus.net**20100901131453
859 Ignore-this: 6e494796dbeb255e80cb09f6f234e8e2
860]
861[Field initialisers are broken
862benl@ouroborus.net**20100901121935
863 Ignore-this: 58e5885ed69a72d41bc91bbf91da81e8
864]
865[Give up on field initialiser for now
866benl@ouroborus.net**20100901121524
867 Ignore-this: dde52306e51e2c21170abe3cbeee47e
868 I would still like to support them in the long run, but as a source
869 only feature that doesn't require special support in the Desugared IR.
870]
871[Accept test wibbles
872benl@ouroborus.net**20100901115941
873 Ignore-this: 67de54e1c7cda7e1ee6883c22372b7e7
874]
875[Haddock fixes
876benl@ouroborus.net**20100901115331
877 Ignore-this: ca1c29c09b72f11282ac1a1f31f1e9b
878]
879[Fix handling of constructor types in solver
880benl@ouroborus.net**20100901114917
881 Ignore-this: bf662734dacc784dcdba6ec70f894e4b
882]
883[Fixup the kinds on data constructors we get from the parser
884benl@ouroborus.net**20100901104506
885 Ignore-this: b80fe7f2e5f8de2c90974cf013b7cf54
886]
887[Print top level type in kindOfType panic messages
888benl@ouroborus.net**20100831142809
889 Ignore-this: d0bbcb6a767c4eb85121882c45b0ff69
890]
891[Fix elaboration of data type defs, and add source pretty printer
892benl@ouroborus.net**20100831140750
893 Ignore-this: d2c32627d0760e1dfff7a621637d7fca
894]
895[Redo constraint slurping for patterns
896benl@ouroborus.net**20100830120734
897 Ignore-this: 1244efc292a16ce05d9dbe2896034516
898]
899[Fix elaboration of data type definitions
900benl@ouroborus.net**20100830085231
901 Ignore-this: a9601e5a04d188e213a823b67a63579f
902]
903[In progress fixing elaboration of data type decls
904benl@ouroborus.net**20100830072322
905 Ignore-this: aa10591bf680b63e31b37cd5895f744d
906]
907[Fix renaming of data definitions
908benl@ouroborus.net**20100829050235
909 Ignore-this: 3e65ed34a44cae0516a6fca738c71ff3
910]
911[Working on getting Desugared IR to use common DataDef type
912benl@ouroborus.net**20100828115743
913 Ignore-this: 32d530d1f5a6d45d105e852aec20fa21
914]
915[In progress moving making Desugar.Exp use common DataDefs
916benl@ouroborus.net**20100828065833
917 Ignore-this: c048912074494dd229d66447bcb574fd
918]
919[LLVM : Refactoring.
920Erik de Castro Lopo <erikd@mega-nerd.com>**20100902085041
921 Ignore-this: a19986f735111bf6d2235d552beeb919
922]
923[LLVM : Lift initialisation and usage of LlvmM into outLlvm function.
924Erik de Castro Lopo <erikd@mega-nerd.com>**20100901111644
925 Ignore-this: 5af2df5aace1a43166fc397068b7866c
926]
927[LLVM : Refactor. Pull unewUnique* into LlvmM monad.
928Erik de Castro Lopo <erikd@mega-nerd.com>**20100830120515
929 Ignore-this: dc1bdd21f04aa6809e5cabaeedfb4024
930]
931[Temp commit.
932Erik de Castro Lopo <erikd@mega-nerd.com>**20100830113639
933 Ignore-this: c305156cd3fb5517c88809e7afb5d45c
934]
935[LLVM: Start handling of SSwitch.
936Erik de Castro Lopo <erikd@mega-nerd.com>**20100830095334
937 Ignore-this: f6116ffeefe8de0065d58d28ed611fe2
938]
939[Split ACaseSusp into ACaseSusp and ACaseIndir for easier LLVM code gen.
940Erik de Castro Lopo <erikd@mega-nerd.com>**20100830051212
941 Ignore-this: 45985004289942c5f63d9f3381bf794b
942]
943[LLVM : Rename objectTag to getObjTag.
944Erik de Castro Lopo <erikd@mega-nerd.com>**20100829123256
945 Ignore-this: 8bc5c13258eeeea3bd51af295d97853e
946]
947[LLVM : Add code to box Bool# variables.
948Erik de Castro Lopo <erikd@mega-nerd.com>**20100829122710
949 Ignore-this: beee40bc983d428cc85e37703d4faa64
950]
951[Runtime : Replace remaining uses of _TAG with _getObjTag.
952Erik de Castro Lopo <erikd@mega-nerd.com>**20100829112909
953 Ignore-this: f783b34834b577f87372a153cfa6b95b
954]
955[Runtime : _Tag and _getObjTag did the same thing. Drop _TAG.
956Erik de Castro Lopo <erikd@mega-nerd.com>**20100829103645
957 Ignore-this: 37cfa550c7aa51871b6f091b44b95fd3
958]
959[LLVM : Add function for retrieving tag from an Obj.
960Erik de Castro Lopo <erikd@mega-nerd.com>**20100829100223
961 Ignore-this: e088636eca7cab2ca18c35b1fe0feac0
962]
963[Runtime : Fix typo in comment.
964Erik de Castro Lopo <erikd@mega-nerd.com>**20100829075808
965 Ignore-this: fd4ebfc391c3e979da7f776fdbceca83
966]
967[Start on handling of material/immaterial vars
968benl@ouroborus.net**20100828060705
969 Ignore-this: 1e2c1ebe5cb47591f8bf85b380ddc788
970]
971[Make forall construction utils take Binds instead of Vars
972benl@ouroborus.net**20100828045615
973 Ignore-this: c0611f15e36468eb929f138840238bc6
974]
975[Comments only
976benl@ouroborus.net**20100828044423
977 Ignore-this: 429f1daa87501b1e1275275c5deaca9c
978]
979[Use common data decl in core expressions
980benl@ouroborus.net**20100828044137
981 Ignore-this: 18d2bd4cac90a6c523e07e69973d8591
982]
983[Remove dead comment
984benl@ouroborus.net**20100828041900
985 Ignore-this: 355f247e98f6556856f23a7728fe9070
986]
987[Start splitting data type code into its own module
988benl@ouroborus.net**20100828041539
989 Ignore-this: bfe5c70c04ea395f11842df9276b263b
990]
991[Move inferencer error and location stuff to DDC tree and fix warnings
992benl@ouroborus.net**20100828035459
993 Ignore-this: 9861b0a656f73062d8a2865f4b783f92
994]
995[Fix warnings
996benl@ouroborus.net**20100828032715
997 Ignore-this: e8aa0ad1190d0ba7464bbe20bfed55a3
998]
999[Comments and cleanup to projection crusher
1000benl@ouroborus.net**20100828031659
1001 Ignore-this: 996028ac3e5e7d280f3643768a6a704d
1002]
1003[Comments and cleanup to shape crusher
1004benl@ouroborus.net**20100828030546
1005 Ignore-this: cd054c522b146ff56b241d0cba07def0
1006]
1007[Runtime : Rearrange object layout to ensure optimal alignment on 64 bit.
1008Erik de Castro Lopo <erikd@mega-nerd.com>**20100827100623
1009 Ignore-this: d351067ec1433c55f4aaa23d991f3cc8
1010]
1011[Accept test wibbles
1012benl@ouroborus.net**20100827085758
1013 Ignore-this: a674866b06e1af4b6768c1213c29ef
1014]
1015[Partial fix for T102: CopyIntFun
1016benl@ouroborus.net**20100827051856
1017 Ignore-this: ec35a4e836dc55760c6b4442573b2354
1018]
1019[Runtime : Add Obj32 typedef variant of Obj for Int32/Float32/Enum.
1020Erik de Castro Lopo <erikd@mega-nerd.com>**20100827082214
1021 Ignore-this: 68e2c2d3dbe95a567b449d674ccba92a
1022]
1023[Makefile : Make war depend on runtime libs.
1024Erik de Castro Lopo <erikd@mega-nerd.com>**20100827075602
1025 Ignore-this: ca3ab9feb1658e2f6fdde94cd017d265
1026]
1027[Accept test wibbles
1028benl@ouroborus.net**20100827022449
1029 Ignore-this: f070425eb1ee622da5fff80f889658f
1030]
1031[These are fixed
1032benl@ouroborus.net**20100826120311
1033 Ignore-this: bc26b07141d1b74c49330c2753903e0d
1034]
1035[Fix purification of WriteT error message
1036benl@ouroborus.net**20100826115247
1037 Ignore-this: 9d40f2feeb7a6e0fa99530eb31b910e1
1038]
1039[Fix error detection for non purifiable top level effects
1040benl@ouroborus.net**20100826114554
1041 Ignore-this: 39c85e8b05aca4d843e9caab979891cf
1042]
1043[Fix purification. Prelude compiles again now.
1044benl@ouroborus.net**20100826113639
1045 Ignore-this: 139762d7ab7a1e03eecf2db0fadc0427
1046]
1047[fix bug in tracer
1048benl@ouroborus.net**20100826082608
1049 Ignore-this: 2f1c40626e7d6b972ad6dc6b04056f2c
1050]
1051[Fix crushing of Pure fetters
1052benl@ouroborus.net**20100826074452
1053 Ignore-this: 4cc6e443a6ca13a0a376a3374819140a
1054]
1055[Name wibbles
1056benl@ouroborus.net**20100826072332
1057 Ignore-this: e05a428cde657b590f33813dee94e3ca
1058]
1059[Fix crushing of deep writes
1060benl@ouroborus.net**20100826072101
1061 Ignore-this: e94e88028621e08ac554059601c1998c
1062]
1063[Fix crushing of deep reads
1064benl@ouroborus.net**20100826071436
1065 Ignore-this: 6ba5b30b6b854b093670c67f8b753de7
1066]
1067[Fix crushing of ReadH effects
1068benl@ouroborus.net**20100826070256
1069 Ignore-this: 46f531449d074178026dd92dd67aaed2
1070]
1071[Cleanup shape crusher
1072benl@ouroborus.net**20100826050504
1073 Ignore-this: 4cc7fadcda3b7f25aa13df5ddcb9a75d
1074]
1075[Cleanup unifier
1076benl@ouroborus.net**20100826042728
1077 Ignore-this: 50e9b231529ef9c901fb379e1e3163e5
1078]
1079[Break module dependency cycle and remove boot fie
1080benl@ouroborus.net**20100826035339
1081 Ignore-this: 2ec09a0723a3844ef8e2da3fd41f360f
1082]
1083[Shift SinkIO module into Graph tree
1084benl@ouroborus.net**20100826034918
1085 Ignore-this: 2325497297e53f81d9ea3d898901ffe1
1086]
1087[Move newVar fns back into Base module
1088benl@ouroborus.net**20100826034307
1089 Ignore-this: f36a4ce6a20f8aeb83816bc75e5d997b
1090]
1091[Shift naming fns into graph module
1092benl@ouroborus.net**20100826033228
1093 Ignore-this: 7fc7b20cacf6cded954a35b7afc428b7
1094]
1095[Standardise order of args in graphops
1096benl@ouroborus.net**20100826032538
1097 Ignore-this: 3415f3b447466b48285882899d21e966
1098]
1099[Hold graph cid counter in an IORef
1100benl@ouroborus.net**20100826031052
1101 Ignore-this: 92d71dbd8e6a1a9386c008246ee8b94f
1102]
1103[Cleanup rest of graph ops
1104benl@ouroborus.net**20100826030340
1105 Ignore-this: e9d92d17df58daef604cb15f1533177f
1106]
1107[Cleanp more graph ops
1108benl@ouroborus.net**20100825142335
1109 Ignore-this: 61cf82c894862a5b4b4b0676113494ec
1110]
1111[Cleanup graph ops
1112benl@ouroborus.net**20100825135239
1113 Ignore-this: b60adbc7cc2ab15e6482326a8a8efd23
1114]
1115[Shift some graph ops to graph module
1116benl@ouroborus.net**20100825123939
1117 Ignore-this: c305af124a1aed431354ecb2effe5df4
1118]
1119[add missing boot file
1120benl@ouroborus.net**20100825121951
1121 Ignore-this: b2d60e3cdd6c94f68311dc58e956e911
1122]
1123[in progress
1124benl@ouroborus.net**20100825121243
1125 Ignore-this: da9c58754112b1dd4e3b4162992234fa
1126]
1127[fix warnings
1128benl@ouroborus.net**20100825093414
1129 Ignore-this: 23cb75fa87749c52dcab84253135ca2a
1130]
1131[Split up solve state code
1132benl@ouroborus.net**20100825093018
1133 Ignore-this: 311282f2d2e07812119b7bd87dcc6bf3
1134]
1135[Cleanup merger
1136benl@ouroborus.net**20100825081237
1137 Ignore-this: f44292dc14031b66edf28486ff1b618e
1138]
1139[Cleanup class aliasing code
1140benl@ouroborus.net**20100825075341
1141 Ignore-this: 5b437c156dc66b0676416a25fe11d964
1142]
1143[Split naming fns from Type.Class into own modules
1144benl@ouroborus.net**20100825073107
1145 Ignore-this: be740d257fd2a9444bc2a88ce666994e
1146]
1147[Start redoing effect merging thing
1148benl@ouroborus.net**20100825054845
1149 Ignore-this: 50f4a03dc7abb37ae37c85168bca964d
1150]
1151[Runtime : Fix more compiler warnings.
1152Erik de Castro Lopo <erikd@mega-nerd.com>**20100826112414
1153 Ignore-this: 1a95a67f4d317a2282b2f96207ed3b32
1154]
1155[Runtime: Fix primArrayU_Int_fill. Fix compiler warnings.
1156Erik de Castro Lopo <erikd@mega-nerd.com>**20100826104407
1157 Ignore-this: 108bfdf6bfc558844f9433f91ea01050
1158]
1159[Split out type graph modules into DDC tree
1160benl@ouroborus.net**20100825045352
1161 Ignore-this: f8ff565a6675ef70f6568cacf0f1f74b
1162]
1163[Start threading environment through Desugar.ToCore
1164benl@ouroborus.net**20100822081715
1165 Ignore-this: 8a86528ae069e5b457f62c0786506692
1166]
1167[Lexer.hs : Fix warnings on big endian CPUs.
1168Erik de Castro Lopo <erikd@mega-nerd.com>**20100824110510
1169 Ignore-this: 94b01b24a991e115386507181de0f8ca
1170 
1171 Lexer.hs is generated from Lexer.x, but alex-2.3.3 and earlier generate
1172 Haskell code that gets warning messages under ghc-6.12.1 and later on
1173 big endian machines.
1174 
1175 A patch for alex has been submitted:
1176     http://trac.haskell.org/haskell-platform/ticket/141
1177]
1178[LLVM : Add handling for XApply.
1179Erik de Castro Lopo <erikd@mega-nerd.com>**20100824085630
1180 Ignore-this: fa77424bf2006324c5866682985e20ec
1181]
1182[Add test/Broken-skip/T186-BadErrorMsg.
1183Erik de Castro Lopo <erikd@mega-nerd.com>**20100824083825
1184 Ignore-this: ebd7d4873b848f7356371ba707db650e
1185]
1186[Split up Desugar.ToCore into more modules
1187benl@ouroborus.net**20100821070130
1188 Ignore-this: 60a026f4d89e2695d5f43db7017f3ae0
1189]
1190[Move Desugar.ToCore to DDC tree
1191benl@ouroborus.net**20100821063441
1192 Ignore-this: 936a6c71632fdab20fda2c90161732aa
1193]
1194[Comments and formatting
1195benl@ouroborus.net**20100821053030
1196 Ignore-this: 3823a9a7e798213e53cef410932cef4
1197]
1198[LLVM: Fix unboxing of Int32 CAFs.
1199Erik de Castro Lopo <erikd@mega-nerd.com>**20100820234925
1200 Ignore-this: ec703aae92e0ed434f3bb517bf3c548
1201]
1202[Sea.Slot : Fix type when converting from XVar to XVarCAF.
1203Erik de Castro Lopo <erikd@mega-nerd.com>**20100820143233
1204 Ignore-this: ae8d0483cceff0c987dc9c83d554d406
1205]
1206[LLVM : Add module init code for CAFs.
1207Erik de Castro Lopo <erikd@mega-nerd.com>**20100820122451
1208 Ignore-this: 32070c2941574bb877430c6e20163b9e
1209]
1210[Unbreak Desugar.ToCore
1211benl@ouroborus.net**20100820113754
1212 Ignore-this: 83aa524bd5efd00e367a2fd89e33950b
1213]
1214[Fix warnings in Desugar.ToCore
1215benl@ouroborus.net**20100820110936
1216 Ignore-this: eaf8d51614c979435c8e3efb42898de1
1217]
1218[Move Desugar.Exp to DDC tree
1219benl@ouroborus.net**20100820105213
1220 Ignore-this: 49a5cd38ad9046c2f53f9ed5293caadd
1221]
1222[Fix warnings
1223benl@ouroborus.net**20100820103045
1224 Ignore-this: 6e3ef1efaa0bbb2df89a0a371a61be84
1225]
1226[LlvmM : Do the right thing with multiline strings.
1227Erik de Castro Lopo <erikd@mega-nerd.com>**20100820112624
1228 Ignore-this: 53ffb653bf6b09b60790a101db3970aa
1229]
1230[Enable warnings with all build flavours
1231benl@ouroborus.net**20100820100314
1232 Ignore-this: ebb785c6b0157a0b043473e3ef2319fa
1233]
1234[Fix warnings
1235benl@ouroborus.net**20100820100152
1236 Ignore-this: 492f4a76ce167cdc262396a3671608b0
1237]
1238[Sea.Init : Fix types in makeInitCaf.
1239Erik de Castro Lopo <erikd@mega-nerd.com>**20100818120031
1240 Ignore-this: c07e1f1d69a089c5e84e8b60b162bb29
1241]
1242[LLVM : Add functions boxAny and unboxAny.
1243Erik de Castro Lopo <erikd@mega-nerd.com>**20100818081811
1244 Ignore-this: 2a6b1e10db245b4fe5ccbdb50ccde668
1245]
1246[Haddock fixes
1247benl@ouroborus.net**20100818043818
1248 Ignore-this: d96307c0ab46a77db577df1ee42d65a3
1249]
1250[Cleanup export of type constraint solution stuff
1251benl@ouroborus.net**20100818031148
1252 Ignore-this: 7397ffe4f4b5c1578eff467cde9472cb
1253]
1254[Comments and formatting
1255benl@ouroborus.net**20100814115536
1256 Ignore-this: cef946a96138ce46951c4996576ba5af
1257]
1258[LLVM: Addition of boxed Int now working.
1259Erik de Castro Lopo <erikd@mega-nerd.com>**20100817123501
1260 Ignore-this: 263de11d5eb9e239c4582392191e476d
1261 
1262 Big change here was the addition of the LlvmM monad which drastically
1263 eases code generation and allows code to be generated by a sequence of
1264 calls to combinator-like functions.
1265]
1266[Accept test wibbles
1267benl@ouroborus.net**20100814115003
1268 Ignore-this: 5549c61b3cf5507c5f0437acc41f2e01
1269]
1270[Don't show module ids on locally bound vars when pretty printing types
1271benl@ouroborus.net**20100814113328
1272 Ignore-this: c53102eaf3543c0615094ca17ce60122
1273]
1274[LLVM: Commit current state.
1275Erik de Castro Lopo <erikd@mega-nerd.com>**20100813102544
1276 Ignore-this: dd8d29cc30231e2e9b2124874594ca50
1277]
1278[accept test output
1279benl@ouroborus.net**20100813080542
1280 Ignore-this: 5888d86005eb0dc500fedb892a6c7eec
1281]
1282[Add broken test case
1283benl@ouroborus.net**20100813080028
1284 Ignore-this: f35ba7cf623ce422a306aee9948b4724
1285]
1286[Test cleanup
1287benl@ouroborus.net**20100813075451
1288 Ignore-this: 5733f144c6ddf4b3cb8aa095a00fcd7c
1289]
1290[Test cleanup
1291benl@ouroborus.net**20100813075049
1292 Ignore-this: ef4d031e1d4cc2444038a022faa32ad4
1293]
1294[Drop _constrainForm prefixes now that's the only version
1295benl@ouroborus.net**20100813073802
1296 Ignore-this: 772daf28646e4fbcd23b8f3677785360
1297]
1298[Comments only
1299benl@ouroborus.net**20100813072626
1300 Ignore-this: 484542d9fc1c94d06a99775afcdfe63b
1301]
1302[New constraints from type class defs go under existing foralls
1303benl@ouroborus.net**20100813072023
1304 Ignore-this: e254226623c5cae2fcc008e55aacffca
1305]
1306[Clean out TFetter code
1307benl@ouroborus.net**20100813070826
1308 Ignore-this: 3438d8d740531756814432c36d4728e5
1309]
1310[Rewrite feedType with TConstrain form
1311benl@ouroborus.net**20100813064953
1312 Ignore-this: 76a1f36082ce394b66a3621613726281
1313]
1314[Use TConstrain form in type graph linker
1315benl@ouroborus.net**20100809122719
1316 Ignore-this: aad81cb39d347285ce2e500dae5249b2
1317]
1318[Use TConstrain form in parser
1319benl@ouroborus.net**20100809121557
1320 Ignore-this: e9fa7ebd2e1e9dc911d6bf3ba2ddff2b
1321]
1322[Use TConstrain form in fillLambdas
1323benl@ouroborus.net**20100809113551
1324 Ignore-this: 26e63e4d74593e5445c1872e6f62339
1325]
1326[Comments only
1327benl@ouroborus.net**20100809112836
1328 Ignore-this: 2147afcc95ceafd8182a8e15e678312a
1329]
1330[Rewrite Desugar.Project with TConstrain form
1331benl@ouroborus.net**20100809112228
1332 Ignore-this: 2c5fcd9f0ea298d08375894bde988e9e
1333]
1334[Comments and formatting
1335benl@ouroborus.net**20100809110830
1336 Ignore-this: 681738fb5d080c0b3a55dd5f5f787e6e
1337]
1338[Cases in superOpTypePart
1339benl@ouroborus.net**20100809105015
1340 Ignore-this: 376192b8f7414f06ec23399032509ff8
1341]
1342[Remove unused cases in dropXTau
1343benl@ouroborus.net**20100809104626
1344 Ignore-this: e3aea2c19e133251f74586102bae602e
1345]
1346[Fix annot of vars with more-than bounds in Type.ToCore.conversion
1347benl@ouroborus.net**20100808123313
1348 Ignore-this: 5fa18a5f02d029d737c8ef018f3fbff4
1349]
1350[Push TConstrain form into Type.ToCore conversion
1351benl@ouroborus.net**20100808120821
1352 Ignore-this: f40dc2ffe63b72e143f17cb45340cb41
1353]
1354[Delete old stripping module
1355benl@ouroborus.net**20100808113718
1356 Ignore-this: afe4de51730b6979c28e41e7533b2f6b
1357]
1358[Shift stripping fn
1359benl@ouroborus.net**20100808113607
1360 Ignore-this: f105faee4c74b2cca1036ca2a748508d
1361]
1362[Pare down on stripping fns
1363benl@ouroborus.net**20100808113004
1364 Ignore-this: f6fc7a33e652632a62df67f318df8fa2
1365]
1366[Ditch dodgy type stripping function
1367benl@ouroborus.net**20100808111704
1368 Ignore-this: 8e16c8b631ce9c649f22f2f0f7ae17df
1369]
1370[Cleanups in Desugar.ToCore
1371benl@ouroborus.net**20100808105101
1372 Ignore-this: 922ca39de86e593c3611d3ea8ea4ac2a
1373]
1374[Move type bits to DDC tree
1375benl@ouroborus.net**20100808103138
1376 Ignore-this: bedd16130ec422ccf5877ae654decf6d
1377]
1378[Commenting of core type checker
1379benl@ouroborus.net**20100808100531
1380 Ignore-this: 91bbd251d7424dcde70280aa3165f889
1381]
1382[Comments only
1383benl@ouroborus.net**20100808094503
1384 Ignore-this: 2eb7ce3367b976c977dd4c3aab4286cc
1385]
1386[Fix warnings
1387benl@ouroborus.net**20100808094432
1388 Ignore-this: b41c473df3666008abc12b02cc522186
1389]
1390[Use new type substitutor in core checker
1391benl@ouroborus.net**20100808093146
1392 Ignore-this: 6803327801693f313125fb22825a9c4b
1393]
1394[Delete old core renamer
1395benl@ouroborus.net**20100808085854
1396 Ignore-this: 83a05b005ef766720afff454b41811bd
1397]
1398[Delete old core beta reducer
1399benl@ouroborus.net**20100808085718
1400 Ignore-this: c0a7395140f56206fc5f721e7a0d4a6c
1401]
1402[Delete old core subsumption checker
1403benl@ouroborus.net**20100808085449
1404 Ignore-this: 1620ec6c76e520ffac81f5092dcace75
1405]
1406[Delete old core type packer
1407benl@ouroborus.net**20100808085205
1408 Ignore-this: e9f20ee2f42fab9c40a62c33dfcec005
1409]
1410[Test cleanup
1411benl@ouroborus.net**20100808053619
1412 Ignore-this: cd7758dbf8da42cbac7f7c7b26e1f82
1413]
1414[Use new packer in Desugar.ToCore
1415benl@ouroborus.net**20100808053047
1416 Ignore-this: 59a6ec7845749fdcd409a4eadfa6b7fb
1417]
1418[Test cleanup
1419benl@ouroborus.net**20100808053011
1420 Ignore-this: 9271f6b3424f957272f83737c978d8a5
1421]
1422[Rewrite some uses of old type packer
1423benl@ouroborus.net**20100808050639
1424 Ignore-this: 3d6d29ba2ce00165316193d2f7c757a2
1425]
1426[wibbles
1427benl@ouroborus.net**20100807141114
1428 Ignore-this: 7fd6d0d18c2d25d3249866f975ee18fc
1429]
1430[wibbles
1431benl@ouroborus.net**20100807135806
1432 Ignore-this: 38f86abbfdadf69cf1ab01ac10fd238c
1433]
1434[Make Danger have kind Danger :: [] -> $, and fix hacks in raytracer
1435benl@ouroborus.net**20100807134158
1436 Ignore-this: e08bac0eb66d0f17ed30a32b458d87ed
1437]
1438[Fixed test
1439benl@ouroborus.net**20100807130509
1440 Ignore-this: f5a0b2d22d57356cabca35c1be12612b
1441]
1442[Delete old bug-ridden core type checker, happy days.
1443benl@ouroborus.net**20100807124912
1444 Ignore-this: 234de014cf41a1aa0b0c8428e070310e
1445]
1446[Use new linter in core binding floater
1447benl@ouroborus.net**20100807124355
1448 Ignore-this: d700f700439171229166714d3af603e8
1449]
1450[Comments and Haddock fixes
1451benl@ouroborus.net**20100807123336
1452 Ignore-this: 19666e0143383b74c6596a3505163747
1453]
1454[Refactor core type checker to use EffectStore
1455benl@ouroborus.net**20100807122836
1456 Ignore-this: 60f96b3d65adc2280a64fec0f4fa54ad
1457]
1458[More ops in EffectStore
1459benl@ouroborus.net**20100807115953
1460 Ignore-this: 307bf8c87ac07eb4bf75b54d695c785b
1461]
1462[Start on EffectStore
1463benl@ouroborus.net**20100807114601
1464 Ignore-this: 2422ab5076c1e09ff92fe3f7386f8933
1465]
1466[Rename DDC.Core.Lint -> DDC.Core.Check
1467benl@ouroborus.net**20100807110855
1468 Ignore-this: dccb278cbe2363c082ad3640ab9d5f18
1469]
1470[Linter: comments and formatting
1471benl@ouroborus.net**20100807103320
1472 Ignore-this: b993e9a3b944c88ee3b1825ede4f4418
1473]
1474[Linter: start doing proper scope checking
1475benl@ouroborus.net**20100807100532
1476 Ignore-this: 75ae67f53558346cc78c1854f8032985
1477]
1478[Comments only
1479benl@ouroborus.net**20100806133311
1480 Ignore-this: 769b4dd45ecac9e5a7b225ebd5aa935c
1481]
1482[Thread through original witness vars in lambda lifter
1483benl@ouroborus.net**20100806132252
1484 Ignore-this: 2e9d2a4fe87f1e96c32bdea66c022d3e
1485]
1486[Also bind vars in other namespaces in lambda lifter
1487benl@ouroborus.net**20100806131533
1488 Ignore-this: cf8c455cd37eede05f089388cf68d0b7
1489]
1490[Fix more bugs in Desugar.ToCore types from solver don't account for discharged contexts
1491benl@ouroborus.net**20100806124745
1492 Ignore-this: a1882685a386c8d5ffd1a6dbb486be6a
1493]
1494[Fix bugs in Desugar.ToCore
1495benl@ouroborus.net**20100806123442
1496 Ignore-this: c3b321989e4f15aded61d0090c734040
1497]
1498[Run linter after lambda lifter
1499benl@ouroborus.net**20100806110653
1500 Ignore-this: e551d674974bfec222551650ac862399
1501]
1502[Use new linter in lambda lifter
1503benl@ouroborus.net**20100806103020
1504 Ignore-this: f4f23bc7d49c03653d3ed13661744dda
1505]
1506[Cleanup lambda lifter and make it use the types/kinds attached directly to vars
1507benl@ouroborus.net**20100805134941
1508 Ignore-this: 918509305813f26d266a50d986052894
1509]
1510[Start cleaning up lambda lifter
1511benl@ouroborus.net**20100805055421
1512 Ignore-this: 82dd5bfee8d244671a5bd9811a5b307f
1513]
1514[Remove Junk BindTypes modules
1515benl@ouroborus.net**20100805051102
1516 Ignore-this: d6d4baf477c4a4b2cbd030fc1de9ab13
1517]
1518[Add FreeVarsXT which returns the whole Exp/Type node
1519benl@ouroborus.net**20100805130713
1520 Ignore-this: f51c07b8f8e092e14bb05cb00e815a6b
1521]
1522[Make freeTVars behave as advertised
1523benl@ouroborus.net**20100805125425
1524 Ignore-this: d067cba00d290d2d3e2d1c62e78d446
1525]
1526[Cover some missing cases in Type.FreeVars
1527benl@ouroborus.net**20100805123538
1528 Ignore-this: 2a63ff0b6d94836b28da459d2b0cbd27
1529]
1530[Don't return data constructors in freevars sets
1531benl@ouroborus.net**20100805122600
1532 Ignore-this: 270ddb7ffae3d8d88ebe8944273c4cc1
1533]
1534[Shift some predicates to Core.Util.Bits
1535benl@ouroborus.net**20100805052930
1536 Ignore-this: 5a8c0cb1ca7cbc6550466a961a68cdcd
1537]
1538[Print caller in linter panic messages
1539benl@ouroborus.net**20100805051141
1540 Ignore-this: 4434377bf39a6e73c805ed2b73b6152
1541]
1542[Unlose TForalls from XLAMs
1543benl@ouroborus.net**20100804063840
1544 Ignore-this: f1dc473a30d5c40cc6cef89e23dea09a
1545]
1546[Moar!
1547benl@ouroborus.net**20100804062023
1548 Ignore-this: b0897f600921350d894d3afc97a10d79
1549]
1550[Moar new linter
1551benl@ouroborus.net**20100804061849
1552 Ignore-this: fd8ae1be6feb211b3004ccb7cf1198ff
1553]
1554[Use new linter in Core.Bind
1555benl@ouroborus.net**20100804061612
1556 Ignore-this: a35190f90a6fab7bf7585fdf19302877
1557]
1558[Use new linter in Core.Glob
1559benl@ouroborus.net**20100804061302
1560 Ignore-this: e8c833f64fa6696571a1ee393e7527c
1561]
1562[Use new linter in Core.OpType
1563benl@ouroborus.net**20100804060920
1564 Ignore-this: b9172fb3c5e224ae87b8ac3e12976198
1565]
1566[Linter: also trim closures in type of fn during application
1567benl@ouroborus.net**20100804055826
1568 Ignore-this: 82fdd58ba0e441d266d17efba493b33c
1569]
1570[Use new linter when converting to sea, and handle higher ranked types
1571benl@ouroborus.net**20100804055009
1572 Ignore-this: 47407768ec6d02f89cc32ac7ebd6068f
1573]
1574[Fix pretty printing for higher ranked types
1575benl@ouroborus.net**20100804053623
1576 Ignore-this: a94046093191fa06b8a7db06554c87e4
1577]
1578[Use boxed/unboxed type conversions from new linter
1579benl@ouroborus.net**20100804045252
1580 Ignore-this: a2a0dac5ce006fc93aeb6d9cced7a94
1581]
1582[Enable new linter as default
1583benl@ouroborus.net**20100804042846
1584 Ignore-this: cbb6d9432a8286db72247539e133c321
1585]
1586[Linter: fix checking for CAF effects
1587benl@ouroborus.net**20100804042518
1588 Ignore-this: d07c94e01cc73c52474654b185b3b289
1589]
1590[Linter: Change order of subs to fix { x1 : %r1 ; x2 : $c1 } <: ($c1 :> (x : %r1))
1591benl@ouroborus.net**20100804030541
1592 Ignore-this: 9161babf6140983c1c3743da4d6a6a55
1593]
1594[Linter: add subsumption rule to accept (x : $c1) <: $c1
1595benl@ouroborus.net**20100804024608
1596 Ignore-this: 2828ca3670959668c51b42fe9e9159b9
1597]
1598[Linter: Annotate vars with their types if they haven't already got them
1599benl@ouroborus.net**20100804023049
1600 Ignore-this: f7f708d1d58bbcce63f27403e918c78f
1601]
1602[Unbreak T5
1603benl@ouroborus.net**20100803113656
1604 Ignore-this: 74402b40e4fcaf10de337831181429e3
1605]
1606[wibbles
1607benl@ouroborus.net**20100803113051
1608 Ignore-this: df27dda3ee9f8362b4ee2e5fa29bcb42
1609]
1610[Haddock fixes
1611benl@ouroborus.net**20100803111922
1612 Ignore-this: eab6cc04675136b4d7436328d830c486
1613]
1614[Linter: Refactor to rebuild the linted AST
1615benl@ouroborus.net**20100803111606
1616 Ignore-this: 90ecc640e9dfaac779558647b9e126e7
1617]
1618[Linter: redo checkKind and checkType to return checked versions as well as their super/kinds
1619benl@ouroborus.net**20100803095249
1620 Ignore-this: 9812c1cfe784c25fc492ba0adfa02864
1621]
1622[Linter: reflatten effects after crushing
1623benl@ouroborus.net**20100802114422
1624 Ignore-this: cb5431036b7a6fc86dbed8eae828c8c1
1625]
1626[Linter: Use subsumption when checking effects against annots
1627benl@ouroborus.net**20100802113540
1628 Ignore-this: e5a91f619594cf692cd599f06bd6c60b
1629]
1630[Clear out some trash
1631benl@ouroborus.net**20100802112956
1632 Ignore-this: 736c14117ac777a2ceb0e8dbe75b6f2f
1633]
1634[Fix warnings
1635benl@ouroborus.net**20100802110756
1636 Ignore-this: 3ed104b440fc34669960b5d89a9ffa04
1637]
1638[Handle more-than constraints in new linter
1639benl@ouroborus.net**20100802105439
1640 Ignore-this: 4f75b14677e62ff704f522a2307ae01a
1641]
1642[Turn new linter off as default again
1643benl@ouroborus.net**20100801120456
1644 Ignore-this: 9c5290d51046d0f9ee886e1312703c47
1645]
1646[Add makeTFreeBot to handle trimmed types containing effect vars
1647benl@ouroborus.net**20100731024154
1648 Ignore-this: 3650ab175fe34b3ad9b768d701fd1030
1649]
1650[Use ClosureStore during linting
1651benl@ouroborus.net**20100731013645
1652 Ignore-this: 3b4118af2f94b60eea4832c28770fc68
1653]
1654[Start on closure store
1655benl@ouroborus.net**20100727035241
1656 Ignore-this: de55727d1abaf0acbf7af97936036802
1657]
1658[LLVM: Progress on implementing infrastructure for backend.
1659Erik de Castro Lopo <erikd@mega-nerd.com>**20100722091838
1660 Ignore-this: 4457776c93e40f41c7c2f0a214a56031
1661]
1662[LLVM: Progress towards boxing Int32.
1663Erik de Castro Lopo <erikd@mega-nerd.com>**20100719120132
1664 Ignore-this: 4123625972803ba7fc6c14857bf12018
1665]
1666[LLVM : First, most simple function actually working.
1667Erik de Castro Lopo <erikd@mega-nerd.com>**20100718121833
1668 Ignore-this: b779a4d158ee7add44cb574fc691f54e
1669]
1670[Linter: must compare closures to annots in their original form
1671benl@ouroborus.net**20100718070247
1672 Ignore-this: 2d8185b2b3a8a55910065bf4bb1b77b1
1673]
1674[Linter: don't lose value type vars from TDanger terms in closures
1675benl@ouroborus.net**20100718062857
1676 Ignore-this: 15c3b846dd14ddda9a4fb97e9e97f6f0
1677]
1678[LLVM: Assigning from XVar to XSlot now works.
1679Erik de Castro Lopo <erikd@mega-nerd.com>**20100718070355
1680 Ignore-this: a55babe49701dd8965227f501b3d0eda
1681]
1682[LLVM: Redo runtimeEnter/runtimeLeave.
1683Erik de Castro Lopo <erikd@mega-nerd.com>**20100718065356
1684 Ignore-this: 292fc9f3d91d7911a40f36da82f18e15
1685]
1686[Add new subsumption checker
1687benl@ouroborus.net**20100718055107
1688 Ignore-this: a1f1325f3a37bb5fbefcec42e6a0414d
1689]
1690[Linter: trim closure terms in function types before comparing closures
1691benl@ouroborus.net**20100718043045
1692 Ignore-this: 2052f3e436e0478c02c8908cc0fe842b
1693]
1694[Linter: Handle witness sums
1695benl@ouroborus.net**20100718014919
1696 Ignore-this: ea689e664b6e1a623cb7266626a5da32
1697]
1698[Runtime : Cleanup/simplify _ENTER, _LEAVE and _S macros.
1699Erik de Castro Lopo <erikd@mega-nerd.com>**20100718045234
1700 Ignore-this: de285b30c744e8a97deacd0b8a9eedbc
1701]
1702[Linter: Add crushing for HeadLazy and fix kind of MkPurify
1703benl@ouroborus.net**20100718012915
1704 Ignore-this: 84189b1c8364087e56115c7ad1e8e418
1705]
1706[Linter: pack closures from free vars, and allow kinds in supers to be non atomic (eg for MkFunctor)
1707benl@ouroborus.net**20100718005335
1708 Ignore-this: 639fa2b7fd2058afdf4bf452ba6da286
1709]
1710[Linter: Do effect masking and handle deep read/write/const/mutable in crusher.
1711benl@ouroborus.net**20100717123906
1712 Ignore-this: 932990bd047645a106a1c4e97503fa95
1713]
1714[Fix typo in comment of generated LLVM code.
1715Erik de Castro Lopo <erikd@mega-nerd.com>**20100717074834
1716 Ignore-this: fb6b72fe9a408a7c8d1328cf7408add8
1717]
1718[Remember to flatten types for recursive fns when converting to core.
1719benl@ouroborus.net**20100717061655
1720 Ignore-this: 592b98a0782690045cb3d8d6392f8017
1721]
1722[Linter: Handle unboxed string literals
1723benl@ouroborus.net**20100717061637
1724 Ignore-this: 436377f6dd652e39cf22dfbcc68d4147
1725]
1726[Linter: Allow type var to be rebound with the same kind.
1727benl@ouroborus.net**20100717040924
1728 Ignore-this: 4d1c67c2cdb83e6bd949051113e496ab
1729]
1730[Handle closure sums in core linter.
1731benl@ouroborus.net**20100717034402
1732 Ignore-this: e824c5b929530414f49b7bddc103e488
1733]
1734[Fix #184: When compiling (-c) generate main() if needed.
1735Erik de Castro Lopo <erikd@mega-nerd.com>**20100717042030
1736 Ignore-this: 20ec465add4a791f47c2df99c70c2b42
1737]
1738[Add test/10-Driver/T184-MissingMain.
1739Erik de Castro Lopo <erikd@mega-nerd.com>**20100717041156
1740 Ignore-this: d5541cdacded5bc69461fe1146f15e3c
1741]
1742[Handle primops in new core linter
1743benl@ouroborus.net**20100717032559
1744 Ignore-this: b34805611f73a97d166218e3e9e6b58a
1745]
1746[Haddoc fix
1747benl@ouroborus.net**20100717025429
1748 Ignore-this: 2904eae88d2de4fcf8e4515f02dd0e6c
1749]
1750[Trim elaborated closures
1751benl@ouroborus.net**20100717023749
1752 Ignore-this: 80d569d303514a61bc73396389282ae1
1753]
1754[Llvm: Sync to GHC upstream.
1755Erik de Castro Lopo <erikd@mega-nerd.com>**20100717022934
1756 Ignore-this: 917d126ced5a41be4078ad62959ee0f2
1757]
1758[Fix warnings
1759benl@ouroborus.net**20100717023021
1760 Ignore-this: 2f1146f86224a2810857e3a31aaf618b
1761]
1762[Remove more PHackery.
1763Erik de Castro Lopo <erikd@mega-nerd.com>**20100717021853
1764 Ignore-this: d229f80dee832c784e8faea118fcfef0
1765]
1766[Llvm: Fix warnings. Minor progress.
1767Erik de Castro Lopo <erikd@mega-nerd.com>**20100717015408
1768 Ignore-this: e2c9764c60973f110302f0c09bb998fe
1769]
1770[More TObj consistency fixes.
1771Erik de Castro Lopo <erikd@mega-nerd.com>**20100716071055
1772 Ignore-this: a3d8f48540df7d2edff7b03943e60c05
1773]
1774[Convert PHarckery to PBlank or PComment wherever possible.
1775Erik de Castro Lopo <erikd@mega-nerd.com>**20100714083841
1776 Ignore-this: 62244cab1a72508bd7549a16be542dfb
1777]
1778[Use TObj consistently.
1779Erik de Castro Lopo <erikd@mega-nerd.com>**20100713101237
1780 Ignore-this: 3e77c743b957b62268b1bfc25a0e54
1781 
1782 Previous usage of TObj was inconsistent. When converted to C code,
1783 sometimes TObj meant an Obj* and sometimes an Obj**.
1784]
1785[Main.Llvm : Fix unused imports.
1786Erik de Castro Lopo <erikd@mega-nerd.com>**20100713085329
1787 Ignore-this: 446e17356acab12fd3975af13d2d2b01
1788]
1789[Purge SHackery. Unused and incompatible with LLVM.
1790Erik de Castro Lopo <erikd@mega-nerd.com>**20100713082129
1791 Ignore-this: 6bdeaece8806c718e73aa566c42e41ac
1792]
1793[Main.Llvm : Commit current state before fixing TObj.
1794Erik de Castro Lopo <erikd@mega-nerd.com>**20100713075155
1795 Ignore-this: 66b8d290bb1eabd9e16f174bca12092c
1796]
1797[Split code from Main.Llvm into Llvm.Runtime and Llvm.Util.
1798Erik de Castro Lopo <erikd@mega-nerd.com>**20100713010554
1799 Ignore-this: 79c2a528de4c4e1d5c14bcd632180083
1800]
1801[src/Llvm* : Sync to GHC upstream and fix compile.
1802Erik de Castro Lopo <erikd@mega-nerd.com>**20100712232220
1803 Ignore-this: f66a93dc99812d8733b176e744881cae
1804]
1805[Start converting SAssign to LLVM.
1806Erik de Castro Lopo <erikd@mega-nerd.com>**20100712125335
1807 Ignore-this: d43f954d40a0993ef4875f5263cce81b
1808]
1809[Sea.Init : Type fixes.
1810Erik de Castro Lopo <erikd@mega-nerd.com>**20100712125050
1811 Ignore-this: 268bb6725f22ed6a6b7b5615d86b700c
1812]
1813[Unique : Make sure symbol name has a dot to prevent clashes.
1814Erik de Castro Lopo <erikd@mega-nerd.com>**20100712124937
1815 Ignore-this: 32e61e1ddf6ee23ea639483710df4f9
1816]
1817[Main.Llvm : Progress and cleanup.
1818Erik de Castro Lopo <erikd@mega-nerd.com>**20100712081949
1819 Ignore-this: a09723ac45f4082e6f9d2df93324813e
1820]
1821[Add ISeaGlobal to VarInfo to aid LLVM backend.
1822Erik de Castro Lopo <erikd@mega-nerd.com>**20100712075234
1823 Ignore-this: 1d60ea3094d6a4958a2f9b08e29a6d5f
1824]
1825[Sea.Init : Fix Sea types of CAF objects.
1826Erik de Castro Lopo <erikd@mega-nerd.com>**20100712070612
1827 Ignore-this: ba3a959bb764d163dda653337f13b541
1828]
1829[LLVM: Generate LLVM code to replace _ENTER and _LEAVE macros used in Sea backend.
1830Erik de Castro Lopo <erikd@mega-nerd.com>**20100712033526
1831 Ignore-this: 95c7558e4f8c27b3183c2875cf6d22a
1832]
1833[Llvm: Merge in changes pending for upstream.
1834Erik de Castro Lopo <erikd@mega-nerd.com>**20100712030758
1835 Ignore-this: 6d3440312f3c31471418daf5c0fe4a74
1836]
1837[Hack Llvm.GhcReplace.Unique to accept Sea labels.
1838Erik de Castro Lopo <erikd@mega-nerd.com>**20100710140911
1839 Ignore-this: e03e27886aa270aac8e97609682f012b
1840]
1841[Redo makeInitCaf in terms of 'Stmt a'.
1842Erik de Castro Lopo <erikd@mega-nerd.com>**20100710134524
1843 Ignore-this: 509eb83db3c5c0461d834ddf04702112
1844]
1845[Make Sea module init function return void.
1846Erik de Castro Lopo <erikd@mega-nerd.com>**20100710115347
1847 Ignore-this: 9f759021ed00d3390ac42b3ba04e5cff
1848]
1849[Progrss on LLVM backend.
1850Erik de Castro Lopo <erikd@mega-nerd.com>**20100708095412
1851 Ignore-this: 16c5b59f8cab5cd87af840fc91f6c9a9
1852]
1853[Add pointerBits and pointerBytes to Config module.
1854Erik de Castro Lopo <erikd@mega-nerd.com>**20100708094636
1855 Ignore-this: c3123aebf93e5476e8f1378cf615d374
1856]
1857[src/Llvm*: Sync to GHC version.
1858Erik de Castro Lopo <erikd@mega-nerd.com>**20100707205725
1859 Ignore-this: 1442d8e4dfa205ceeaebe878b1a58500
1860]
1861[src/Llvm : Add LMStructDef to LlvmVar.
1862Erik de Castro Lopo <erikd@mega-nerd.com>**20100706131543
1863 Ignore-this: 2f6da5e739a35eb0ae3325f667559785
1864]
1865[Start generating some real LLVM code.
1866Erik de Castro Lopo <erikd@mega-nerd.com>**20100705205644
1867 Ignore-this: aa1a9720436ce0efd4e7b74bce207a48
1868]
1869[src/Llvm/Types.hs : Sync from upstream.
1870Erik de Castro Lopo <erikd@mega-nerd.com>**20100705203417
1871 Ignore-this: 5c89c07a67736094214f637bd3a3f6ab
1872]
1873[src/Llvm/ : Sync to GHC version.
1874Erik de Castro Lopo <erikd@mega-nerd.com>**20100703140439
1875 Ignore-this: 14b24cb12b673cf45232fca02bb78996
1876]
1877[Generate C header when compiling via LLVM.
1878Erik de Castro Lopo <erikd@mega-nerd.com>**20100703122824
1879 Ignore-this: 667446298512abe80864af271219a3ed
1880]
1881[Cleanup and simplify LLVM backend tool invocation.
1882Erik de Castro Lopo <erikd@mega-nerd.com>**20100703110454
1883 Ignore-this: 713f824acf047b0ad9239d784ba36e0c
1884]
1885[Export makeSeaHeader from Main.Sea.
1886Erik de Castro Lopo <erikd@mega-nerd.com>**20100703093233
1887 Ignore-this: 16c4c98c8949a169d0a61950a4ccc24f
1888 
1889 In order to have full interoperability between object code from the C and
1890 LLVN backends, we need to generate the same C header file from the LLVM
1891 backend as we get from the C backend.
1892]
1893[Generate (incomplete) LLVM IR, compile and assemble.
1894Erik de Castro Lopo <erikd@mega-nerd.com>**20100702115444
1895 Ignore-this: 7dd848c5f6dcf096792bf4a763cf4354
1896]
1897[Sea.Invoke : Fix stage name.
1898Erik de Castro Lopo <erikd@mega-nerd.com>**20100702105822
1899 Ignore-this: 25ac65ce40c07138b89aa033a9057f3
1900]
1901[Add David Terei's LLVM AST code from GHC.
1902Erik de Castro Lopo <erikd@mega-nerd.com>**20100702082436
1903 Ignore-this: 24baf3c099a42a02fe12dd855536da9a
1904]
1905[Main.Compile : Add a comment.
1906Erik de Castro Lopo <erikd@mega-nerd.com>**20100702080650
1907 Ignore-this: c48ae1c585b1d2855929e7596f12e105
1908]
1909[Add support code needed for the LLVM AST from the GHC sources.
1910Erik de Castro Lopo <erikd@mega-nerd.com>**20100702075504
1911 Ignore-this: 3c00d63acb834456f1348fa87d785a13
1912]
1913[Remove a Parsec.try from the Module parser.
1914Erik de Castro Lopo <erikd@mega-nerd.com>**20100630091550
1915 Ignore-this: 24cba728a2a2a188c56f88bad990a511
1916 
1917 Do this by creating a combinator in Base.hs that wraps a Parsec.try
1918 around a parser that accepts a Var from a given NameSpace followed by
1919 a HasType token. If this parser fails it consumes no input.
1920]
1921[Move Main.Invoke to Sea.Invoke.
1922Erik de Castro Lopo <erikd@mega-nerd.com>**20100620203625
1923 Ignore-this: 2e6ea4eaca4eac8920b03c5e68719b9a
1924]
1925[Add file src/Main/LLVM.hs and hook it in.
1926Erik de Castro Lopo <erikd@mega-nerd.com>**20100620125418
1927 Ignore-this: d692f3f3639fa1ea00c875d3055acaad
1928]
1929[Refactor viaSea code from Main.Compile to Main.Sea.
1930Erik de Castro Lopo <erikd@mega-nerd.com>**20100620121242
1931 Ignore-this: 7b7bddb5eb44a1543d042013411219c7
1932]
1933[Add a -via-llvm command line option.
1934Erik de Castro Lopo <erikd@mega-nerd.com>**20100620080505
1935 Ignore-this: d2756d4462c1eddb0c8b25844a346b68
1936]
1937[Add broken higher order fn vector multiplication example
1938benl@ouroborus.net**20100618072853
1939 Ignore-this: efab513fd3af0817609f95b7eb5b1b5f
1940]
1941[Follow changes in Data.Array
1942benl@ouroborus.net**20100618072057
1943 Ignore-this: fa6d63aed498025f87343bf98e6dd25f
1944]
1945[wibble to BackPatch example
1946benl@ouroborus.net**20100618070250
1947 Ignore-this: d6d6b0b2fc97b602a1d694d7ff4944d6
1948]
1949[Cleanup Data.Array
1950benl@ouroborus.net**20100618070205
1951 Ignore-this: 9e23ec256f495f478aa740c29a0f4eba
1952]
1953[Add broken backpatching factorial test
1954benl@ouroborus.net**20100618052345
1955 Ignore-this: 51470b87ed04c7f5ac7945cdf381e27
1956]
1957[Makefile wibbles
1958benl@ouroborus.net**20100616105215
1959 Ignore-this: 2f4b6b2487c9f738d834c78452dae609
1960]
1961[Add version lists to nightly build makefile
1962benl@ouroborus.net**20100616103049
1963 Ignore-this: 4cbe997c1f425beaa56a0a8a0f3520a
1964]
1965[Update makefile for new nightly build setup
1966benl@ouroborus.net**20100616082302
1967 Ignore-this: 35ccff29a0ccf9b35cdd2af5b1a7db34
1968]
1969[Trim closures before testing against annotations
1970benl@ouroborus.net**20100615033410
1971 Ignore-this: d1e2357dffdb94767042f24fcc921676
1972]
1973[Don't require callers to pass initial sets to trimClosureT
1974benl@ouroborus.net**20100614083725
1975 Ignore-this: 3f208a6637eeef1e8805948ffbe6fe70
1976]
1977[More work on type crusher
1978benl@ouroborus.net**20100614083353
1979 Ignore-this: bb09c572432397695cd25efd15b032ec
1980]
1981[Check types of guards and alternatives in core linter
1982benl@ouroborus.net**20100614061924
1983 Ignore-this: 9129a884dc3f22e0fc4e9cfb9c89e679
1984]
1985[Start on new crusher for core types
1986benl@ouroborus.net**20100614035136
1987 Ignore-this: 3f90f94f0ce1fefa2af3d4c0c12adca9
1988]
1989[Handle literals in core linter
1990benl@ouroborus.net**20100613122836
1991 Ignore-this: 288b3ad04217e9ed5514b26dcae729ab
1992]
1993[add missing boot file
1994benl@ouroborus.net**20100613110732
1995 Ignore-this: eb04d9337da8c7f99da4f08eceea421c
1996]
1997[Use applyKT to handle kind/type application
1998benl@ouroborus.net**20100613110637
1999 Ignore-this: d1cc8371a9627c2198df5b90644f694c
2000]
2001[Split core linter into more modules
2002benl@ouroborus.net**20100613095838
2003 Ignore-this: f739bc020d2f4cd76ce70d3d149a0c9f
2004]
2005[Split core lint for main fn into different module
2006benl@ouroborus.net**20100613074909
2007 Ignore-this: 7f96c3e57017b552d95612a966581ca7
2008]
2009[Start checking of pattern guards
2010benl@ouroborus.net**20100613074651
2011 Ignore-this: bb4a46b6599b1f3f216833af459fe55
2012]
2013[Better panic messages in linter
2014benl@ouroborus.net**20100613071138
2015 Ignore-this: 9fb7dc0f8250450077379d38639d3fd1
2016]
2017[Enable more warnings in new modules
2018benl@ouroborus.net**20100613062636
2019 Ignore-this: 1805e95d4555abcd4135b2701830d59e
2020]
2021[Don't create bogus (x : !e1) closure terms when converting to core.
2022benl@ouroborus.net**20100613060516
2023 Ignore-this: 60ff26dd11237dc9dcb49d5298da6457
2024]
2025[Fix pretty printing of TConstrain types
2026benl@ouroborus.net**20100613054512
2027 Ignore-this: cac971bed71ba495008da79283e37df3
2028]
2029[Freakout on wrong kind in makeTFree
2030benl@ouroborus.net**20100613052945
2031 Ignore-this: 543a152a28a533ac42139dd51a0bc181
2032]
2033[Add missing boot file
2034benl@ouroborus.net**20100612131952
2035 Ignore-this: 18d729d061cf545020ebba0560e633d7
2036]
2037[Add properly kinded TFreeType and TFreeRegion closure constructors
2038benl@ouroborus.net**20100612131750
2039 Ignore-this: 67aa627649f3c054dc3bdcab693b1d9a
2040]
2041[Carry sequences of effects and maps of closures up tree in core linter
2042benl@ouroborus.net**20100612120321
2043 Ignore-this: 5b79e016be45f935e1c1544c14ca62b8
2044]
2045[Trim closures in linter
2046benl@ouroborus.net**20100612092554
2047 Ignore-this: 689dc40a2aab8f22115346e3ef67e536
2048]
2049[Split new linter into several modules.
2050benl@ouroborus.net**20100612083009
2051 Ignore-this: e45036eb4e57f12e0fc582120039633a
2052]
2053[Remove old core application graphing module
2054benl@ouroborus.net**20100612081556
2055 Ignore-this: 7eeba57e6947d5f5ddab3f2b0426eb8
2056]
2057[Don't explicitly annotate applications with their effects
2058benl@ouroborus.net**20100612081410
2059 Ignore-this: 9999daa2506d8e83625186042b53e794
2060]
2061[Remove unused MSuspend prim and more work on new core lint
2062benl@ouroborus.net**20100612073454
2063 Ignore-this: 3fc52672d653af792c053a4735a4f1da
2064]
2065[Start fixing the core lint checker
2066benl@ouroborus.net**20100611113029
2067 Ignore-this: 4872201d4aa7914ef40ee564e0a42766
2068]
2069[Remove old tracing code.
2070benl@ouroborus.net**20100611111802
2071 Ignore-this: b7414d4a229a57eef44ba4ec80fb5256
2072]
2073[tc008 works
2074benl@ouroborus.net**20100611070927
2075 Ignore-this: d60dfc97348544eab8fc8d0788200bf5
2076]
2077[We're not using DataFields in core
2078benl@ouroborus.net**20100611064527
2079 Ignore-this: 7ad1b17a58cfead5c2facdb244a15bdc
2080]
2081[Refactor XAppF and friends to get them out of Core.Exp
2082benl@ouroborus.net**20100611064137
2083 Ignore-this: f3bd4675468f94a3290dc0238b0bfb1b
2084]
2085[Ditch unused XLifted
2086benl@ouroborus.net**20100611060302
2087 Ignore-this: c2ea468995a20f2a2d1089f186f10ea1
2088]
2089[Ditch unused XAt constructor (weeds!)
2090benl@ouroborus.net**20100611055821
2091 Ignore-this: fefd59fd7122895ea4265dd06f6a7696
2092]
2093[Ditch unused XProject stuff in core
2094benl@ouroborus.net**20100611055152
2095 Ignore-this: ffbf352b62ef19ed553c9245a0715710
2096]
2097[Shift Core.Exp and Core.Glob to DDC.*
2098benl@ouroborus.net**20100611053946
2099 Ignore-this: 4f8762f0482874d9f2c54d52b25634a5
2100]
2101[Cleanup docs
2102benl@ouroborus.net**20100611011827
2103 Ignore-this: 8b5186a4efb2d7157eed29cee6a35cbc
2104]
2105[Ditch unused ClassContext type
2106benl@ouroborus.net**20100611010343
2107 Ignore-this: 94ef7c8fece08ff4daa0b813fa1828cc
2108]
2109[Split out core primitve fns into their own module
2110benl@ouroborus.net**20100611010243
2111 Ignore-this: e960b4220e1101181e451d734e1cfb21
2112]
2113[Store globs directly in environments during type reconstruction
2114benl@ouroborus.net**20100610130311
2115 Ignore-this: e3b615bc3cd0cd97b8ada4a3949071bf
2116]
2117[Splitout type application stuff from Core.Reconstruct and cleanup
2118benl@ouroborus.net**20100610113751
2119 Ignore-this: 36b68f1c1e1f7112b2ca101a81eb030a
2120]
2121[Dump inlineTWheresT in favour of common type flattener
2122benl@ouroborus.net**20100607120743
2123 Ignore-this: df168dc8a2292d2209756c5355241b7c
2124]
2125[Dump separate core version of type flattener
2126benl@ouroborus.net**20100607114919
2127 Ignore-this: 2039ba4877254129a2b3e86853463aa4
2128]
2129[Cleanup type packer
2130benl@ouroborus.net**20100607112421
2131 Ignore-this: 1b8cbdfd312efb6b522becd2ffcde5c8
2132]
2133[Cleanup type pretty printer
2134benl@ouroborus.net**20100607111230
2135 Ignore-this: a7ecef9522be5fe7ddcc860947555441
2136]
2137[Fix conflicts
2138benl@ouroborus.net**20100607102846
2139 Ignore-this: 4cc6ae91eae451fa0365fc2f29b92f33
2140]
2141[Merge code for freeCids / freeTClasses / freeTVars
2142benl@ouroborus.net**20100607102615
2143 Ignore-this: a5587781082b2658cdcc4d9fdbdd7292
2144]
2145[Dump old collectTClasses
2146benl@ouroborus.net**20100607083929
2147 Ignore-this: d6fd782ee044f29419d58b341c26c69a
2148]
2149[Cleanup docs
2150benl@ouroborus.net**20100607082616
2151 Ignore-this: 6cdb53777291d281aed1340a4514240c
2152]
2153[Cleanup closure trimmer
2154benl@ouroborus.net**20100607075741
2155 Ignore-this: 23f8e0171d528c15fcb45df9baec6c4f
2156]
2157[Ditch separate core version of closure trimmer
2158benl@ouroborus.net**20100607055757
2159 Ignore-this: f16986acdda51bf5a6a74ec35c600f79
2160]
2161[Accept test wibbles
2162benl@ouroborus.net**20100607020125
2163 Ignore-this: 74a4aa263f1d321710abddf2ed870ab3
2164]
2165[Cleanup type elaborator and convert to constrain form
2166benl@ouroborus.net**20100607015421
2167 Ignore-this: 59ec629d54b1693debc558e45d4f7155
2168]
2169[Import wibbles
2170benl@ouroborus.net**20100606120748
2171 Ignore-this: eb227181918ce6d2be3f4d97889ae4e5
2172]
2173[Cleanup StripFetters and convert to constrain form
2174benl@ouroborus.net**20100606120343
2175 Ignore-this: 291af5162f86829edba06ab8606e6098
2176]
2177[Cleanup docs
2178benl@ouroborus.net**20100606113203
2179 Ignore-this: 78caf35f1797b20fe4afae5436fab48b
2180]
2181[Cleanup Type.Environment and JoinSum
2182benl@ouroborus.net**20100606111950
2183 Ignore-this: 21388ff55fa7b6b680d0f71469a8a5cf
2184]
2185[Cleanup unifier and convert to Data.Seq
2186benl@ouroborus.net**20100606102519
2187 Ignore-this: ea252dde4de30c9aa9b3df85923ff993
2188]
2189[Cleanup cutLoops
2190benl@ouroborus.net**20100606100015
2191 Ignore-this: f6e103f299e225a58d1a6bad087eaa89
2192]
2193[Fix warnings
2194benl@ouroborus.net**20100601142404
2195 Ignore-this: d1920ee6459f5b7f20295c77e9b1d054
2196]
2197[Require types to be flattened to be in constrain form
2198benl@ouroborus.net**20100606071847
2199 Ignore-this: cf262d7cc69101dddc77447292999ede
2200]
2201[Push constrain form into finaliser
2202benl@ouroborus.net**20100606065901
2203 Ignore-this: 21e30be8e52953ccafc762c67296fe49
2204]
2205[Use constrain form in quantifyVars
2206benl@ouroborus.net**20100606065433
2207 Ignore-this: 98733850b4f3f5cf35e3b3e648517d56
2208]
2209[Cleanup the finaliser and avoid calling the packer on finalised types
2210benl@ouroborus.net**20100606062411
2211 Ignore-this: 7b84e9ef84fcbe7d9760d639f5baadac
2212]
2213[Cleanup variable quantification utils
2214benl@ouroborus.net**20100601134512
2215 Ignore-this: b0facc7b99e414d63efcad59a5c27075
2216]
2217[Rename inventWitnessOfClass -> inventWitnessOfKind
2218benl@ouroborus.net**20100601114526
2219 Ignore-this: 2035c62a401c3b5a4652a004113df1e1
2220]
2221[Cleanup type substitution utils
2222benl@ouroborus.net**20100601114231
2223 Ignore-this: d108535d5d9a539d462d027b77c4d5f
2224]
2225[doc wibbles
2226benl@ouroborus.net**20100601103816
2227 Ignore-this: 27aa682f91f59422fd91fbaf3b21f8fc
2228]
2229[Cleanup kind utils
2230benl@ouroborus.net**20100601103506
2231 Ignore-this: 435229114f4cec638aea312ac849e91f
2232]
2233[Cleanup kind and witness utils
2234benl@ouroborus.net**20100601094910
2235 Ignore-this: 71bd78b87e3b7a3ab43c9493c1bea2d8
2236]
2237[Cleanup docs
2238benl@ouroborus.net**20100601032019
2239 Ignore-this: 8684f230788514d1e541066d8c63ef65
2240]
2241[Pay attention to export lists when making haddock docs
2242benl@ouroborus.net**20100601031636
2243 Ignore-this: c536074bcc216250445d2a98e6717d75
2244]
2245[Shift type Flattener to DDC.Type.Flatten
2246benl@ouroborus.net**20100601031238
2247 Ignore-this: e105518d6dda6ca724ba16a31f227e60
2248]
2249[Use set filter in checkGraphicalDataT
2250benl@ouroborus.net**20100601025211
2251 Ignore-this: 91d0c3c12fbb97c75abcb6bf0cc7c9b4
2252]
2253[Purge old collectClassIds function
2254benl@ouroborus.net**20100601024818
2255 Ignore-this: 172178412e7820c3097bdbb5bf1d5a90
2256]
2257[Add direct implementation of freeCids instead of using generic transforms
2258benl@ouroborus.net**20100601023803
2259 Ignore-this: cb12d7dfc89e66ca44706aef6a8e7cb5
2260]
2261[Avoid spamming trace logs when extracting region vars
2262benl@ouroborus.net**20100531122743
2263 Ignore-this: be214bea605063860fef814eb33c3dfe
2264]
2265[Shortcut extraction for plain vars
2266benl@ouroborus.net**20100531121233
2267 Ignore-this: cf87457b13519d48efcf54ea0c0ca71a
2268]
2269[Rest of IORefs in solver state
2270benl@ouroborus.net**20100531115943
2271 Ignore-this: c02158d356c663d5e40acc0a64b47488
2272]
2273[Moar!
2274benl@ouroborus.net**20100531115332
2275 Ignore-this: 87e754c886ace9f3335e2d79ca93b01a
2276]
2277[Moar IORef
2278benl@ouroborus.net**20100531114310
2279 Ignore-this: b380a8e806b7d070dc85220d0bb370db
2280]
2281[More fields as IORefs
2282benl@ouroborus.net**20100531111608
2283 Ignore-this: 963f1ba8b33fc2994f94c4bfbef7a202
2284]
2285[wibbles
2286benl@ouroborus.net**20100531110600
2287 Ignore-this: 9de78a42e7c4691b788b985ae0c1df86
2288]
2289[Wrap an IORef around the graph
2290benl@ouroborus.net**20100531105353
2291 Ignore-this: be3d7c682084874f653b4ff340c55cc6
2292]
2293[Cleanup Transform and Freevars modules
2294benl@ouroborus.net**20100530111201
2295 Ignore-this: e03c8a71598c587acb7891bdabdfe2ef
2296]
2297[Accept test wibbles
2298benl@ouroborus.net**20100530102704
2299 Ignore-this: 5d6d04682b41f25b27abe81342f36ca
2300]
2301[Shift more stuff to DDC.Type.Compounds
2302benl@ouroborus.net**20100530100730
2303 Ignore-this: a7b2bfb445caa901e6245c91bcedb671
2304]
2305[Don't be messin' with TFree during flattenTSum
2306benl@ouroborus.net**20100529131403
2307 Ignore-this: 260303aab99b79381ab316caa5cf683b
2308]
2309[Move more stuff into DDC.Type.Compounds
2310benl@ouroborus.net**20100529130813
2311 Ignore-this: 5acb0478988f0f8132bb58d6b7dae044
2312]
2313[Wibbles
2314benl@ouroborus.net**20100529122856
2315 Ignore-this: fe38001dfd68455ec6e2df7d524e8226
2316]
2317[Enable more warning for DDC.* modules
2318benl@ouroborus.net**20100529122603
2319 Ignore-this: ea3b6c0a168700ed71e9df9918850245
2320]
2321[Start splitting smart destructors and constructors into their own module
2322benl@ouroborus.net**20100529120648
2323 Ignore-this: 6d5a912af0a2b516a3409e079834b96b
2324]
2325[Split out predicates on types into their own module
2326benl@ouroborus.net**20100529114728
2327 Ignore-this: d61b4759d6215275792c8aea32af4960
2328]
2329[Docs to DDC.Type.Exp
2330benl@ouroborus.net**20100529113409
2331 Ignore-this: 692c87f96298bfb79146f9001d00b055
2332]
2333[This got broken in the last refactoring.
2334Ben.Lippmeier@anu.edu.au**20100529110510
2335 Ignore-this: 939dba19b9b6f5153181c5665a49944f
2336 It's something in the inferencer, but I'm not sure if it's an entierly
2337 new breakage or I've just exposed some other problem. Need more test
2338 programs using higher order fns.
2339]
2340[Add missing case in trimmer
2341benl@ouroborus.net**20100529103040
2342 Ignore-this: 39ec5aea888779dd0ffa20a386441c9b
2343]
2344[Add missing files
2345benl@ouroborus.net**20100529101101
2346 Ignore-this: c90b650ff330c74d969a71da1a3d1c09
2347]
2348[Refactor TVar TVarMore TIndex and TClass into a single TVar constructor
2349benl@ouroborus.net**20100529100743
2350 Ignore-this: 8f577865709e73d8b72ed83d954d988e
2351]
2352[Comments
2353benl@ouroborus.net**20100529061506
2354 Ignore-this: a146fe6447af6afa7abe26eb701d248a
2355]
2356[Dump class constraints when trimming closures.
2357benl@ouroborus.net**20100527120548
2358 Ignore-this: 84b94222c3a94745cffe9b5cdb1482f5
2359]
2360[Represent TFree and TDanger by special TyCons.
2361benl@ouroborus.net**20100527105939
2362 Ignore-this: 5dd18107e3d4726203970678ff34fe2b
2363]
2364[Simplify and comment type boilerplate
2365benl@ouroborus.net**20100527074845
2366 Ignore-this: b2a92f95ce6902bbcda553f77c94fed8
2367]
2368[Represent TElaborate by a special TyCon, to get it out of Type.Exp
2369benl@ouroborus.net**20100526102213
2370 Ignore-this: 697127d6e7c81e2bb61d201c6755147a
2371]
2372[Flatten argument types when converting to core
2373benl@ouroborus.net**20100524125817
2374 Ignore-this: 16ee314818d5617803c9568104654369
2375]
2376[getArgs, getEnv and getProgName now have the !Environment effect.
2377Erik de Castro Lopo <erikd@mega-nerd.com>**20100524124116
2378 Ignore-this: 9247a841e929b6fc8ca59608fc5b790b
2379]
2380[Accept test output
2381benl@ouroborus.net**20100524122308
2382 Ignore-this: 83eaa93b07fb62e3f4093f75feed0a5f
2383]
2384[T74 is now a kind error
2385benl@ouroborus.net**20100524122140
2386 Ignore-this: 62d8105d682de27711bdfe84a3034c6d
2387]
2388[Also export getArgValue from System.Environment.
2389Erik de Castro Lopo <erikd@mega-nerd.com>**20100524121258
2390 Ignore-this: 29027cfe8aa9571660195b932a54f4f
2391]
2392[Export argCount from System.Environment.
2393Erik de Castro Lopo <erikd@mega-nerd.com>**20100524120642
2394 Ignore-this: 80e77a3bac2cfa021e3b6ac3aa701a99
2395]
2396[Accept test wibbles
2397Ben.Lippmeier@anu.edu.au**20100524115857
2398 Ignore-this: 80d69596771a57ede0ab326138fcdd
2399]
2400[T149 is fixed
2401benl@ouroborus.net**20100524114743
2402 Ignore-this: 7b96a92b5c1538ef236e5f1714dd86e6
2403]
2404[Reenable Data.List stuff
2405benl@ouroborus.net**20100524113412
2406 Ignore-this: e3a68cfc574e7923f95f2df3d1dee60
2407]
2408[Fix reporting of kind errors
2409benl@ouroborus.net**20100524112256
2410 Ignore-this: a588596bb5635bf204bb8328e221debe
2411]
2412[Accept test wibbles
2413benl@ouroborus.net**20100524085424
2414 Ignore-this: b3395183c8b9fd9bea70797cd341c638
2415]
2416[Fix detection of purity errors when the effect is just a ctor like !Console
2417benl@ouroborus.net**20100524085010
2418 Ignore-this: ded44bbc8d2ee6f33ed33c17bb96e117
2419]
2420[Fix reporting of unification errors
2421benl@ouroborus.net**20100524083836
2422 Ignore-this: f51cfd9f81f49d9839c632ace44a6ba4
2423]
2424[Handle effects in core closure trimmer
2425benl@ouroborus.net**20100524081757
2426 Ignore-this: 93f1188fac7c0da8553f40029fb8cb99
2427]
2428[Reenable some stuff in Data.List
2429benl@ouroborus.net**20100524081435
2430 Ignore-this: 11840f4b7970c92064d46e00a5d9a606
2431]
2432[Fix crushing of projections. All libraries build now.
2433benl@ouroborus.net**20100524081046
2434 Ignore-this: 5a39a4d975d010afe919ac0de7e795d
2435]
2436[Unloose existing SPTC fetters when adding new ones to the graph
2437benl@ouroborus.net**20100524072720
2438 Ignore-this: e44f399c9292b6bd6478e571f95641ed
2439]
2440[Fix crushing of deep reads and writes on types with abstract constructors
2441benl@ouroborus.net**20100523104655
2442 Ignore-this: 545fff2df6b593f85ddf4efdfb4b5834
2443]
2444[Fix crushing of DeepConst and DeepMutable
2445benl@ouroborus.net**20100523094202
2446 Ignore-this: f7e6c07b44e41747ba4c4945dc73a536
2447]
2448[Cleanups
2449benl@ouroborus.net**20100523092859
2450 Ignore-this: 5ad5a0b568c8ab0476aa93ed7e9f1c09
2451]
2452[Refactor Type.Class to store single parameter constraints in a Map
2453benl@ouroborus.net**20100523082836
2454 Ignore-this: cb6db055bc8e660c558bbcbc05e2bcd4
2455]
2456[Fix unification for single effect and closure terms
2457benl@ouroborus.net**20100521072826
2458 Ignore-this: 6e2ce6f262fa9c06d2336e5b2c509a41
2459]
2460[Fix crushing of purity fetters
2461benl@ouroborus.net**20100521070301
2462 Ignore-this: eb155ed0fa6fa3943736efafabe58506
2463]
2464[Fix crushing of HeadLazy fetters
2465benl@ouroborus.net**20100521020715
2466 Ignore-this: 4d166b2901f42343825782a1f35de18f
2467]
2468[Strictify node types
2469benl@ouroborus.net**20100517123036
2470 Ignore-this: 512d30ba579420e94ebfd980fc9e7181
2471]
2472[Fix unification for effects and closures
2473benl@ouroborus.net**20100517121209
2474 Ignore-this: fae82d07d2b1c9907e2b832eba4f7d76
2475]
2476[Don't use intermediate node queues in graph classes
2477benl@ouroborus.net**20100517114357
2478 Ignore-this: aea0fb91cafafb1e0ecb9c2c72fdd6b8
2479]
2480[Fix crushing of projections
2481benl@ouroborus.net**20100517112653
2482 Ignore-this: 4a5d3ca9e2f02c0960fa55e0cdc4ba60
2483]
2484[Split outer constraints off TFrees when tracing
2485benl@ouroborus.net**20100516115631
2486 Ignore-this: be24edbf0d8a503285c4f819199adb1c
2487]
2488[Fix crushing for deep reead and write effects
2489benl@ouroborus.net**20100516113703
2490 Ignore-this: 799398e5a85fa249024cb85780bf58f2
2491]
2492[More refactoring of effect crusher
2493benl@ouroborus.net**20100515130442
2494 Ignore-this: d48b018e9db4e98e8bf8b6a1784036dd
2495]
2496[Fix crushing of HeadRead effects
2497benl@ouroborus.net**20100515103642
2498 Ignore-this: 32dcf3409fbb116684978b0d34a461
2499]
2500[Start cleaning up fetter crushing code
2501benl@ouroborus.net**20100514114754
2502 Ignore-this: 4ccc61b696cb7f9791f480b3731ccb2f
2503]
2504[Sink classids in fetters when tracing
2505benl@ouroborus.net**20100514110840
2506 Ignore-this: 7d69a850b0334d07ef802569286029ae
2507]
2508[Start rewriting the tracer
2509benl@ouroborus.net**20100513113307
2510 Ignore-this: adeab7c49844fa15e1aab2f91de81744
2511]
2512[Builds again, but is hell broken
2513benl@ouroborus.net**20100510120221
2514 Ignore-this: 58cd123bf7a8fb6a42eb8ae45b259ce2
2515]
2516[in progress
2517benl@ouroborus.net**20100509092550
2518 Ignore-this: 34b9cabc85974bb1f6fdf8b3f209ab9
2519]
2520[Add functions getProgName, getArgs and getEnv to System.Environment.
2521Erik de Castro Lopo <erikd@mega-nerd.com>**20100524095319
2522 Ignore-this: 45a0f4f65813308893217ccb7ba0174d
2523]
2524[Refactor TContext into TForall/BNil
2525benl@ouroborus.net**20100508140528
2526 Ignore-this: 180423f1184de309405209477d2fb43f
2527]
2528[Use new !{} syntax in test
2529benl@ouroborus.net**20100508130116
2530 Ignore-this: 59a942d76a69eb9d008ec116bcc29b0c
2531]
2532[Handle refactored TSums properly in joinTT
2533benl@ouroborus.net**20100508125515
2534 Ignore-this: 470bcf5566527c1d6796ead1f811ce14
2535]
2536[Refactor (TBot k) into (TSum k []) and ditch unused TTop
2537benl@ouroborus.net**20100508124628
2538 Ignore-this: 2d0dff4e057b8467a4dd0988f2b4dc48
2539]
2540[Nub elements of KSum when making one
2541benl@ouroborus.net**20100508120702
2542 Ignore-this: 7c3e9ee62b58da74c2e9932f3c3920b7
2543]
2544[Refactor TWitJoin into TSum
2545benl@ouroborus.net**20100508115918
2546 Ignore-this: 9858651f9d975da59a8bfd0318adbf83
2547]
2548[Ditch Type.Exp.Index type synonym, we weren't using it consistently
2549benl@ouroborus.net**20100508110257
2550 Ignore-this: efe3b8e1bae66fef0d817dd8e039d11e
2551]
2552[Refactor KApps into KApp, better to have general kind application.
2553benl@ouroborus.net**20100503123410
2554 Ignore-this: 3b1e94f26eb3d59b51dec951360d7b2a
2555]
2556[Factor KPi and KForall into KFun.. they're all equivalent
2557benl@ouroborus.net**20100502073835
2558 Ignore-this: a5a703a3047c8c642b9e97edead5d630
2559]
2560[Haddock fixes
2561benl@ouroborus.net**20100503040839
2562 Ignore-this: 2180375ff16e25d521267c4bb592f9dd
2563]
2564[Move test to test/20-Sea/T179-CurryStatement.
2565Erik de Castro Lopo <erikd@mega-nerd.com>**20100502115021
2566 Ignore-this: a2a91fbe634884bd79dca82c3ff94b9a
2567]
2568[Fix #179 : Bad code for statement containing nothing but a curried function.
2569Erik de Castro Lopo <erikd@mega-nerd.com>**20100502114724
2570 Ignore-this: 28c8c73ed16d3e3694dd2c832b1e932e
2571]
2572[Comments.
2573Erik de Castro Lopo <erikd@mega-nerd.com>**20100428081939
2574 Ignore-this: 4b45aad328fa2a00c06fd39d8139965a
2575]
2576[Parser example is broken for now
2577benl@ouroborus.net**20100501121003
2578 Ignore-this: abdb7e6e4f96fad8809959e598711f45
2579 Closure trimming isn't working, which is confusing Core.Dictionary.
2580]
2581[Handle TVarMore in Core.Flatten
2582benl@ouroborus.net**20100501120921
2583 Ignore-this: f80fd28a8d34734e70ff44e54233ad7
2584]
2585[Make ordering work on TVarMore as well as TVar
2586benl@ouroborus.net**20100501115530
2587 Ignore-this: 95bdcadf843e87c0dc00ed45aebe0714
2588]
2589[Fix bug in Core.ToSea introduced by refactoring
2590benl@ouroborus.net**20100501115502
2591 Ignore-this: a5f8682def302c0fda24f748e073e198
2592]
2593[Refactor Core.Thread and fix stupid loop
2594benl@ouroborus.net**20100501113803
2595 Ignore-this: e8dd9c973ec3bcf315e4bc846d38077f
2596]
2597[Refactor TyCons to match the APLAS paper
2598benl@ouroborus.net**20100501073939
2599 Ignore-this: aedd60819004553116fd0a7908642281
2600 We've got proper kinds for MkMutable and friends now.
2601 Had to rewrite Core.Dictionary.
2602 The base libraries build, but some of the tests are still failing.
2603]
2604[Start on new Core.Lint
2605benl@ouroborus.net**20100416002244
2606 Ignore-this: 5153bb5f5b8f850d2f54ff535b5538e3
2607]
2608[Push globs into Core.Prim
2609benl@ouroborus.net**20100414125449
2610 Ignore-this: 91b8c8ca7a043745bbf7dc6e7d0f8308
2611]
2612[Rename some stages that work on globs
2613benl@ouroborus.net**20100414124739
2614 Ignore-this: b72156232bf896bd5ee7af5867f263eb
2615]
2616[Add test for #80 to passing tests.
2617Erik de Castro Lopo <erikd@mega-nerd.com>**20100428103141
2618 Ignore-this: fe341669fc3ffeb7f1d99d8e229e1281
2619]
2620[Only attempt to delete files in war's testClean function.
2621Erik de Castro Lopo <erikd@mega-nerd.com>**20100428075111
2622 Ignore-this: a3a9736d71df67f5968e90b7cba4d4c3
2623]
2624[Makefile : Add 'make tarball' target.
2625Erik de Castro Lopo <erikd@mega-nerd.com>**20100425061511
2626 Ignore-this: 7a59619d313076679a9e912486dc4a79
2627]
2628[Move test to test/30-Runtime/T180-UpdateRefSegfault.
2629Erik de Castro Lopo <erikd@mega-nerd.com>**20100418054615
2630 Ignore-this: 460b3f4d492d3cddeb8c335f8ec0ea01
2631]
2632[Fix #180 : Segmentation fault Ref update.
2633Michael Maloney <maloneymr@gmail.com>**20100418054007
2634 Ignore-this: 12b539883526df590476a5f42a15c6de
2635]
2636[Update test/Broken-skip/T168-ModuleExporter/ test.
2637Erik de Castro Lopo <erikd@mega-nerd.com>**20100418020701
2638 Ignore-this: 58bc4a1149b36397ba037b439ef5cc7e
2639]
2640[Add test/Broken-skip/T179-BadCurry/Main.ds.
2641Erik de Castro Lopo <erikd@mega-nerd.com>**20100418003704
2642 Ignore-this: 8ebca7f583667170a119b2f36970d833
2643]
2644[Compile fixes for FreeBSD.
2645Erik de Castro Lopo <erikd@mega-nerd.com>**20100417110421
2646 Ignore-this: 6ab5cfb60a130c9de46cff9fa615d5e4
2647]
2648[Add test/Broken-skip/T180-UpdateRefSegfault/Main.ds.
2649Erik de Castro Lopo <erikd@mega-nerd.com>**20100417022504
2650 Ignore-this: 3789db61d5934c75d065163cfaf84974
2651]
2652[Enable Ord instance for Int32#.
2653Erik de Castro Lopo <erikd@mega-nerd.com>**20100417021750
2654 Ignore-this: 2ccf7972b66b40a9b4ed0f0091409c24
2655]
2656[Unbreak Core.Thread
2657benl@ouroborus.net**20100414123210
2658 Ignore-this: 33f77eefdad5a258e73654db8ee7c3b
2659]
2660[Push globs into Core.Dict
2661benl@ouroborus.net**20100412122525
2662 Ignore-this: 7230e5d4df0f462b97e0701f54c41082
2663]
2664[Refactor handling of global region vars
2665benl@ouroborus.net**20100412114151
2666 Ignore-this: 80a3343934dea72980b5593a41fabde9
2667]
2668[Push globs into Core.Bind
2669benl@ouroborus.net**20100411105709
2670 Ignore-this: d3a07f4a7e84e512e6947f14b1734d8b
2671]
2672[Refactor Core.Exp.PClassInst to only have vars on the right
2673benl@ouroborus.net**20100411102213
2674 Ignore-this: e9ccab14b9829fcf253cca94234bb1ae
2675]
2676[Push globs into Core.normaliseDo
2677benl@ouroborus.net**20100411101242
2678 Ignore-this: e4cc5f4675368b8b0f1270f3581d17a9
2679]
2680[Rename Simplifier module
2681benl@ouroborus.net**20100411094939
2682 Ignore-this: ced5dcb593bac5ee7e92591e5e7e3675
2683]
2684[Cleanup Core.Block
2685benl@ouroborus.net**20100409122357
2686 Ignore-this: 9bcfc315caec109cd6d95ffcec84978c
2687]
2688[Formatting only
2689benl@ouroborus.net**20100409121457
2690 Ignore-this: 5610a886e8d22a6b39c8f6047bcaa3fa
2691]
2692[Push globs into witness threader
2693benl@ouroborus.net**20100409121040
2694 Ignore-this: 8463c7575435319e3c55ba69608dbe50
2695]
2696[Push globs into snipper and simplifier
2697benl@ouroborus.net**20100409115402
2698 Ignore-this: 5628443256dcf34829c708d7654667fe
2699]
2700[Add test/Broken-skip/T178-PanicCoreReconstruct/Test.ds.
2701Erik de Castro Lopo <erikd@mega-nerd.com>**20100412112745
2702 Ignore-this: 1588f72e04e86c829bdbec8adb36dbca
2703]
2704[In Core.Reconstruct we have to do the PRegions first to get their witnesses
2705benl@ouroborus.net**20100408110143
2706 Ignore-this: eb30318c2ee4800eb72a9109453c9a93
2707]
2708[Push globs into Core.Reconstruct
2709benl@ouroborus.net**20100408104837
2710 Ignore-this: f467a731fe60d717eb35d946149f191a
2711]
2712[Renames and comments
2713benl@ouroborus.net**20100407112208
2714 Ignore-this: efcf43da616726f24578e9cfa53d4ec8
2715]
2716[More cleanup to Core.Lift
2717benl@ouroborus.net**20100406123028
2718 Ignore-this: 3e42b6eca7b88dc084ad635230bbabac
2719]
2720[Cleanup Core.Lift somewhat
2721benl@ouroborus.net**20100406122611
2722 Ignore-this: 875ac1426d145d3b3295ba2c77c7e367
2723]
2724[Push globs into Core.Lift
2725benl@ouroborus.net**20100406113740
2726 Ignore-this: 9f5932075c96bb32f11eb4815f4d5061
2727]
2728[wibble on Core.Curry
2729benl@ouroborus.net**20100406110829
2730 Ignore-this: de3cbdbc356e69fa137c5764015fb7ad
2731]
2732[Thread globs through Core.LabelIndex
2733benl@ouroborus.net**20100406105152
2734 Ignore-this: f58effb477a6a269602a34a199ba81c0
2735]
2736[Refactor driver to take globs for Core.Curry
2737benl@ouroborus.net**20100406102812
2738 Ignore-this: adb292a111acb5d98791d739d47bfc09
2739]
2740[Accept test wibble
2741Ben.Lippmeier@anu.edu.au**20100406040408
2742 Ignore-this: 98d263513a465fe8ff63a7db78ef7a9
2743]
2744[Rename TyConClass -> TyConWitness. Yay for knowing what this is for.
2745benl@ouroborus.net**20100405122002
2746 Ignore-this: 13ee61e317003d12edb27ea2ef1e2321
2747]
2748[Haddock fixes
2749benl@ouroborus.net**20100405114141
2750 Ignore-this: e82985efccb3d66cad3c6f7b65fdf919
2751]
2752[Split out KiCon into its own module
2753benl@ouroborus.net**20100405113608
2754 Ignore-this: cbc318d42887d5519d2ccaac157a4fdb
2755]
2756[Move stuff around
2757benl@ouroborus.net**20100405112427
2758 Ignore-this: a9ea9a5ee29bde12b1a2bc3f4ea4a4b4
2759]
2760[Split out InstanceInfo into its own module
2761benl@ouroborus.net**20100405110958
2762 Ignore-this: f003a6f6c1cb33be1b8fa938752158ad
2763]
2764[Split out ClassId into its own module
2765benl@ouroborus.net**20100405104523
2766 Ignore-this: debe183d4ad767c06d0642fee5f24488
2767]
2768[Export infix declarations in new interface files
2769benl@ouroborus.net**20100405101311
2770 Ignore-this: 248e2e23dc33eef888b11d793045d886
2771]
2772[Cleanup source expression type
2773benl@ouroborus.net**20100405095204
2774 Ignore-this: daeac5561b82410c43bb8d55a5f04c87
2775]
2776[Fix export of multiple data class instances in same interface file
2777benl@ouroborus.net**20100405081136
2778 Ignore-this: a19532147d6db5deec3bce0eee4331f
2779]
2780[Prettier printing of interface files
2781benl@ouroborus.net**20100405075533
2782 Ignore-this: ea60e564b048fd33e6780c832e60beab
2783]
2784[Rename new interface export module
2785benl@ouroborus.net**20100405074828
2786 Ignore-this: b6551500400b706daf395a97ca549824
2787]
2788[Test wibble
2789benl@ouroborus.net**20100405073000
2790 Ignore-this: ee6fe1abdddef15416cde46e1c373a2a
2791]
2792[Accept test wibbles
2793Ben.Lippmeier@anu.edu.au**20100405072636
2794 Ignore-this: 8a413fe1b0bdd43935c7f0394e2227a5
2795]
2796[Move some test dirs around
2797benl@ouroborus.net**20100405071004
2798 Ignore-this: 440235c20244895bde83ae9d733520e3
2799]
2800[Export projection dicts in new interface files
2801benl@ouroborus.net**20100405050242
2802 Ignore-this: 8fe378581d979b0a97f908b93098046f
2803]
2804[Rename PClassDict -> PClassDecl
2805benl@ouroborus.net**20100404104158
2806 Ignore-this: 96e84b98ba6389f7cb51197444a288e2
2807]
2808[Formatting and comments in Desugar.Exp
2809benl@ouroborus.net**20100404103157
2810 Ignore-this: 7c0ea7917847c52b9308b3f6d5938d4
2811]
2812[Rename PSig and PClass to PTypeSig and PSuperSig
2813benl@ouroborus.net**20100404095746
2814 Ignore-this: a9fd10cda97b7439dc694cacad10e983
2815]
2816[Remove unused PNil from Desugared lang
2817benl@ouroborus.net**20100404095009
2818 Ignore-this: ca3704ac8a27c52f560eeb3bed828f83
2819]
2820[Remove unused context param from desugared type class decls
2821benl@ouroborus.net**20100404094620
2822 Ignore-this: 7306b5a6b52dc1754c56ccfebf062bc7
2823]
2824[Also use kind sigs for effects in desugared IR
2825benl@ouroborus.net**20100403113525
2826 Ignore-this: 4cb6046f6699107d5d0f877defb13c0
2827]
2828[Use KindSigs for to defined effect constructors
2829benl@ouroborus.net**20100403111841
2830 Ignore-this: 4961a4ea33aa89efd6b7da02575ba580
2831]
2832[Allow   data Ctor :: % -> *   syntax for abstract data constructors.
2833benl@ouroborus.net**20100403105158
2834 Ignore-this: d9de35a11d8defaaea281737a2985473
2835 In the source and desugared languages these are just
2836 represented as kind signatures.
2837]
2838[Start on export of projection dicts
2839benl@ouroborus.net**20100403094155
2840 Ignore-this: 53365cf230f4956b4b8d2f9e097e4efd
2841]
2842[Export type class instances in new interface files
2843benl@ouroborus.net**20100403090203
2844 Ignore-this: 235af24d15c9093ade67317a6dfa644c
2845]
2846[Export class dicts in new interface files
2847benl@ouroborus.net**20100403082042
2848 Ignore-this: b61d2aca46bbb7de71d55065f9030777
2849]
2850[Refector rep of class dicts in core.
2851benl@ouroborus.net**20100403063033
2852 Ignore-this: 8e3a4f78a34cde39ff4430bfd1668ce4
2853]
2854[Remove unused class context params from PClassDicts in core
2855benl@ouroborus.net**20100403061828
2856 Ignore-this: b7f74e8edc2298905e2b6dac080d4102
2857]
2858[Don't try to export types of binds created during lambda lifting
2859benl@ouroborus.net**20100403060742
2860 Ignore-this: 66424324e48db295551825f7d9dbb12
2861]
2862[Export more stuff in new inferface files
2863benl@ouroborus.net**20100329112908
2864 Ignore-this: 879961c61dcf09c126eb5c8b6bda1a19
2865]
2866[Nicer pretty printing of blank Docs
2867benl@ouroborus.net**20100329104101
2868 Ignore-this: fba90f4f3a0f64d712571194078cbe2e
2869]
2870[Refactor interface pretty printer using abstract container interface
2871benl@ouroborus.net**20100329102802
2872 Ignore-this: 27265662ae7abca6817baaaf3cbfc941
2873]
2874[Haddock fixes
2875benl@ouroborus.net**20100329093107
2876 Ignore-this: edca27ea783ea60dcd01e6835068f3aa
2877]
2878[Start on new interface file format
2879benl@ouroborus.net**20100329092609
2880 Ignore-this: 42648d357076e6d20d0fc9b3b34035d4
2881 
2882 Use -dump-new-interfaces to enable it.
2883]
2884[Move Shared.Var to DDC.Var and cleanup
2885benl@ouroborus.net**20100324021334
2886 Ignore-this: 7f717f5b3ae75d6efd073872579a8a08
2887]
2888[Comment wibble
2889benl@ouroborus.net**20100323014726
2890 Ignore-this: 214a70e30f7d9e0264cfda5cb9389658
2891]
2892[Accept test wibble
2893benl@ouroborus.net**20100322234813
2894 Ignore-this: 54e00bed13be39e7dc229fe7ded98fca
2895]
2896[wibble
2897benl@ouroborus.net**20100322110551
2898 Ignore-this: e8c839d6f0fe6c92488212f81dc0fb56
2899]
2900[Cleanup Shared.Literal and move to DDC.*
2901benl@ouroborus.net**20100322110414
2902 Ignore-this: d6ad05407a47c48ec11a6c842652f925
2903]
2904[Move warning fn to DDC.Main.Error
2905benl@ouroborus.net**20100322103134
2906 Ignore-this: 1524b9cd6af4b928275700a8c370b85c
2907]
2908[Fixup docs
2909benl@ouroborus.net**20100322102512
2910 Ignore-this: a3bfe48e03f34c5015de058ef39c33d8
2911]
2912[Move Shared.Error -> DDC.Main.Error
2913benl@ouroborus.net**20100322101144
2914 Ignore-this: 9936cf22d5d95a29d60e9e6014332a0b
2915]
2916[Add missing file
2917benl@ouroborus.net**20100322070236
2918 Ignore-this: bfbd07c1ab108ea072fa5d5a5c28115
2919]
2920[Fix #176: Build all library files before running tests
2921benl@ouroborus.net**20100322070056
2922 Ignore-this: 2aa24422e9e0a439fef6766933222561
2923 This makes the tests go through a bit slower because we now have
2924 to parse more interface files each time DDC starts up. This
2925 should be fixed in the new interface work though.
2926]
2927[Tweak makefile
2928benl@ouroborus.net**20100322063702
2929 Ignore-this: 2f0122f4dd65af59c1cc800f26e88147
2930 I've made it so it doesn't show every ghc invocation. We compile every module
2931 with the same flags, and those flags are shown when it builds the boilerplate
2932 generator. Also, when compiling with THREADS=8, the "* Compiling Src.hs" tag
2933 line and the ghc invocation stuff don't tend to be sequential anyway, they
2934 just get interleaved with others..
2935]
2936[Add vcat combinators
2937benl@ouroborus.net**20100322062517
2938 Ignore-this: 93975a7ea94ad986ec7bd0b89bc5ac2f
2939]
2940[Comments and cleanup
2941benl@ouroborus.net**20100322060820
2942 Ignore-this: 1f45dea9bd403b79b069b5c990dbbd38
2943]
2944[comments only
2945benl@ouroborus.net**20100322050630
2946 Ignore-this: 350788ad872862a78d096553461b8dca
2947]
2948[Comments only
2949benl@ouroborus.net**20100322050409
2950 Ignore-this: 30d29e914a5a3870f61a95d77d90ec8e
2951]
2952[Clean up DDC Args
2953benl@ouroborus.net**20100322045150
2954 Ignore-this: 1be0ccdabd9f8b32dc60d3da74094021
2955]
2956[Rename ModuleIdAbsolute -> ModuleId
2957benl@ouroborus.net**20100322040440
2958 Ignore-this: 975d90cfb50610327dd578f9a9ada500
2959]
2960[Split ModuleId into its own file
2961benl@ouroborus.net**20100322035634
2962 Ignore-this: 14a773eb38dc3b8e6baebce4cd6385b1
2963]
2964[Move Main.Version to DDC.*
2965benl@ouroborus.net**20100322034929
2966 Ignore-this: d255da5821669d9396d84a3a10145fc9
2967]
2968[Shift stuff around
2969benl@ouroborus.net**20100322034316
2970 Ignore-this: f25d6e28545fcd38e74be49b60c64a44
2971]
2972[Remove unused Shared.Vanilla
2973benl@ouroborus.net**20100322034305
2974 Ignore-this: 623a93f5ce9c5c36af949ec707ac0cc
2975]
2976[Rename VarBind -> VarId and push into DDC.* hierarchy
2977benl@ouroborus.net**20100322030834
2978 Ignore-this: ad1349a4ce2015d556709127ef3fa6be
2979]
2980[Move DataFormat, SourcePos -> DDC.* heirarchy
2981benl@ouroborus.net**20100321102259
2982 Ignore-this: 4e25ab988421e1ca1a1b167261551d72
2983]
2984[Rename Module -> ModuleId. Planning to use 'Module' to hold actual code..
2985benl@ouroborus.net**20100321092317
2986 Ignore-this: 6c9b63be99f53c913fe465e3202a15e0
2987]
2988[Remove unused ctors from VarInfo
2989benl@ouroborus.net**20100321081531
2990 Ignore-this: 1a8c7826060185eef1df20595b7d429b
2991]
2992[Arg, darcs doesn't record execute permissions.
2993Erik de Castro Lopo <erikd@mega-nerd.com>**20100321115001
2994 Ignore-this: e4b13c47948e581ddde23b819e214d44
2995]
2996[Add missing file make/bits.hs.
2997Erik de Castro Lopo <erikd@mega-nerd.com>**20100321114559
2998 Ignore-this: 9fc75d059fa9b2075b9fdb81af675904
2999]
3000[Fix #177 : Fix configure with 32 bit user space on 64 bit kernel.
3001Erik de Castro Lopo <erikd@mega-nerd.com>**20100321113121
3002 Ignore-this: 1465afda13bc534e37723001b6d3366c
3003 
3004 This fixes things like building in a 32 bit chroot or a 32 bit
3005 user space on a 64 bit kernel. 
3006]
3007[Haddock fixes
3008benl@ouroborus.net**20100321074810
3009 Ignore-this: 34b6792cb2414756434dd99847187ee0
3010]
3011[Enable -fwarn-unused-imports and cleanup
3012benl@ouroborus.net**20100321073159
3013 Ignore-this: 50171d8172b7e6b39bdbe68523519e21
3014]
3015[Cleanup and remove unused MFun ctor
3016benl@ouroborus.net**20100319231748
3017 Ignore-this: 76d588a250b0757b495708d9d6e2fa3d
3018]
3019[Eradicate the rest of the XAnnot, it was just a giant weed farm.
3020benl@ouroborus.net**20100319111338
3021 Ignore-this: 703fb4052f604092d16f1d97eae92425
3022]
3023[Kill the massive weed that war Core.Exp.XTet
3024benl@ouroborus.net**20100319105013
3025 Ignore-this: 49eb1bb137c5be3cba72ef8c638381aa
3026 This was originally going to be a type level let expression,
3027 but I ended up not using it because it was too hard to manage.
3028]
3029[Kill some weeds in Core.Exp
3030benl@ouroborus.net**20100319102113
3031 Ignore-this: 5910f2b98e2ff7a25ecc050017947141
3032]
3033[whitespace
3034benl@ouroborus.net**20100319101544
3035 Ignore-this: 71d448d98367c2bd9815caf0b4c24506
3036]
3037[Remove unused atom stuff from Core.Exp
3038benl@ouroborus.net**20100319101411
3039 Ignore-this: 78afdbbb4dfbf4a3a23339e2ad98ca88
3040]
3041[Erase old code Sea based atom code
3042benl@ouroborus.net**20100319100951
3043 Ignore-this: c11e103e093a6f183c4021ec73e98e84
3044]
3045[Make Core.Atomise take Globs
3046Ben.Lippmeier@anu.edu.au**20100319095617
3047 Ignore-this: 593ce94e78cff105f970f382d7cec2fd
3048]
3049[Refactor Core.Sequence and Core.ToSea to use globs and Data.Seq instead of flat lists
3050benl@ouroborus.net**20100319020804
3051 Ignore-this: 196938888842526803ffc0c1ef390396
3052]
3053[Haddock fixes
3054benl@ouroborus.net**20100318065830
3055 Ignore-this: eefb6068f7646c50c02a6a59574ba3d4
3056]
3057[Comments and cleanup of top level compile fn
3058Ben.Lippmeier@anu.edu.au**20100317104711
3059 Ignore-this: fc6cef5b95467e13e4021a72760f80ff
3060]
3061[Start on new interface file format
3062benl@ouroborus.net**20100317080520
3063 Ignore-this: e28620648dfca2641f3982104aa765b8
3064 A big part of this patch is to add Core.Glob and refactor handling of
3065 data constructors. A core glob provides a convenient way to organise
3066 top level declarations. It's got a Data.Map for each sort of
3067 Core.Top, and provides methods for slurping types and arities of
3068 top level bindings.
3069]
3070[Add T175-PatternMatchFailure to broken tests.
3071Erik de Castro Lopo <erikd@mega-nerd.com>**20100313014514
3072 Ignore-this: ee9e367eeee69bfe3390a5f2e66df1cc
3073]
3074[Update Lexer.hs.
3075Erik de Castro Lopo <erikd@mega-nerd.com>**20100312094829
3076 Ignore-this: a5c5efc21174f6eb67b63e06e2f5167e
3077 
3078 The previous lexer version was generated with alex-2.2 and gave warning
3079 messages when compiled with ghc-6.12.1. This version was generated with
3080 alex-2.3.2 and doesn't give warnings.
3081]
3082[Move T174-ParseTypeMismatch to main test suite.
3083Erik de Castro Lopo <erikd@mega-nerd.com>**20100308112152
3084 Ignore-this: a8fb42b51abf9c4b48d84577c9613fd5
3085]
3086[Fix #147 : Require that negative literals are enclosed in parentheses.
3087Erik de Castro Lopo <erikd@mega-nerd.com>**20100308104637
3088 Ignore-this: ed3950aeb94a3b338acda47d4235c5be
3089 
3090 Also update tests.
3091]
3092[Add broken test T174-ParseTypeMismatch.
3093Erik de Castro Lopo <erikd@mega-nerd.com>**20100307201625
3094 Ignore-this: 1e438dd60177f38c5445a011cb1c8167
3095]
3096[Add broken test T173-ParseAnnot.
3097Erik de Castro Lopo <erikd@mega-nerd.com>**20100306053823
3098 Ignore-this: eba726f0b4da511ec6429aa79286ffb7
3099]
3100[Update test/Broken-skip/T171-ListComp/Main.ds.
3101Erik de Castro Lopo <erikd@mega-nerd.com>**20100306025932
3102 Ignore-this: eb61ead08874543eb90bceb2be009c97
3103]
3104[Add parsing of let statements within list comprehensions.
3105Erik de Castro Lopo <erikd@mega-nerd.com>**20100306010832
3106 Ignore-this: ed1dadc872c3808bb1b9eca813a93623
3107]
3108[Add broken test T172-LexerBracketSeq.
3109Erik de Castro Lopo <erikd@mega-nerd.com>**20100305103049
3110 Ignore-this: 656f98c30a415d75480c41f06de990df
3111]
3112[Make sure pShowNext parser combinator does not consume input.
3113Erik de Castro Lopo <erikd@mega-nerd.com>**20100305042545
3114 Ignore-this: 2a0893f3b18c1861e39b8e4fd6d38c2b
3115]
3116[Move test/Broken-skip/T147-ParseLet to passing tests.
3117Erik de Castro Lopo <erikd@mega-nerd.com>**20100304104131
3118 Ignore-this: 4c434aa3611b2589b123265ad56fbba1
3119]
3120[Fix #147 : Parse error on let.
3121Erik de Castro Lopo <erikd@mega-nerd.com>**20100304101813
3122 Ignore-this: a5b55f8eda8d16e6b7263b89c5c8ad06
3123]
3124[Add 3 new Parsec debugging and tracing combinators.
3125Erik de Castro Lopo <erikd@mega-nerd.com>**20100303081529
3126 Ignore-this: 4318b03a10bf8e740e6d9242a8104ef2
3127]
3128[Add test/Broken-skip/T171-ListComp/Main.ds.
3129Erik de Castro Lopo <erikd@mega-nerd.com>**20100302110650
3130 Ignore-this: c20dbd8b37513e3c5fb3db1fe499ae5b
3131]
3132[Move test/Broken-skip/T162-ListCompPatterns to
3133Erik de Castro Lopo <erikd@mega-nerd.com>**20100302101213
3134 Ignore-this: db36b593f70eac3bec09aa36b9e21623
3135     test/14-Desugar/ListComp/T162-ListCompPatterns.
3136]
3137[Fix #162 : Handle patterns in left of list comprehension generators.
3138Erik de Castro Lopo <erikd@mega-nerd.com>**20100302093249
3139 Ignore-this: f60dfedd2a7e844b041a4ccd46413c0b
3140]
3141[Add a couple more Show instances to Class.Show.
3142Erik de Castro Lopo <erikd@mega-nerd.com>**20100301120433
3143 Ignore-this: 66d6632fa1450093cfddcf2a95a85dd7
3144]
3145[Add config for linux-ppc.
3146Erik de Castro Lopo <erikd@mega-nerd.com>**20100301203256
3147 Ignore-this: f8cde4f7ab27510de7746f2919d1ff20
3148]
3149[Increase formatPathWidth in war output.
3150Erik de Castro Lopo <erikd@mega-nerd.com>**20100228075214
3151 Ignore-this: caad078bdbc4036b295c8dc64c3effad
3152]
3153[Update war driver so it handles *.warn.check as a TestDiff.
3154Erik de Castro Lopo <erikd@mega-nerd.com>**20100228073337
3155 Ignore-this: 131cd4d5ffe08710ff7cf9668235c28f
3156]
3157[Add test/15-Defix/T151-DollarDo/Test.warn.check.
3158Erik de Castro Lopo <erikd@mega-nerd.com>**20100228070116
3159 Ignore-this: 52e3ad26d23e9174fb8680595acdcdd4
3160]
3161[Set different war heap limits on 32 and 64 bit systems.
3162Erik de Castro Lopo <erikd@mega-nerd.com>**20100228011514
3163 Ignore-this: f1e3084a29fd441228e40de294ef952b
3164 
3165 Building test/90-Programs/Rover after 'make cleanWar' is currently taking 24M
3166 on 32 bit systems and 48M on 64 bit systems.
3167 Therefore set the limits to 30M and 64M respectively.
3168]
3169[external/TinyPTC-X11 config tweak.
3170Erik de Castro Lopo <erikd@mega-nerd.com>**20100228002628
3171 Ignore-this: 94dd84878a47b950b2ad0a779f9da775
3172]
3173[Switch all imports of Control.Monad.State to Control.Monad.State.Strict.
3174Erik de Castro Lopo <erikd@mega-nerd.com>**20100227101302
3175 Ignore-this: a88a149426beb6080504e098f326b3bb
3176]
3177[Centralise and unify reporting of warnings.
3178Erik de Castro Lopo <erikd@mega-nerd.com>**20100227064755
3179 Ignore-this: 573a882d7e25696e3500305c8f2fca64
3180]
3181[Move test/Broken-skip/T151-DefixAppsPanic to test/15-Defix/T151-DollarDo.
3182Erik de Castro Lopo <erikd@mega-nerd.com>**20100227024518
3183 Ignore-this: 427e3a267c13ade80d0126ea5ce1fdf7
3184]
3185[Fix #151 : Warn on redundant '$' operator instead of panicing.
3186Erik de Castro Lopo <erikd@mega-nerd.com>**20100227022927
3187 Ignore-this: 7907420bb612231b8645c752a3c4b30f
3188]
3189[Tweak test T168-ModuleExporter.
3190Erik de Castro Lopo <erikd@mega-nerd.com>**20100226105831
3191 Ignore-this: 8ba677d4df082448f3d3889cc3f7b479
3192]
3193[Add test/Broken-skip/T168-ModuleExporter.
3194Erik de Castro Lopo <erikd@mega-nerd.com>**20100226102705
3195 Ignore-this: 8fd0b86b4a25f428b15598fcbddd5da3
3196]
3197[#5 is fixed but breaks some tests, so moved those to Broken-skip.
3198Ben Sinclair <ben.d.sinclair@gmail.com>**20100225060144
3199 Ignore-this: 8e7b5b22a6a0e5ca5405e06acd580a8
3200]
3201[Fix #5: Check that top level CAFs don't have side effects.
3202Ben Sinclair <ben.d.sinclair@gmail.com>**20100225042022
3203 Ignore-this: db7b72930b8c6f9739dfc94c0f859dd7
3204]
3205[Type.Exp comment fixes.
3206Ben Sinclair <ben.d.sinclair@gmail.com>**20100225025054
3207 Ignore-this: e2f9068540084543d3f8b3d4557ce8ab
3208]
3209[Clear out some trash
3210Ben.Lippmeier@anu.edu.au**20100224035516
3211 Ignore-this: e43b07b56e4917e36043d1ae9b85e4b9
3212]
3213[More Makefile tweaks
3214Ben.Lippmeier@anu.edu.au**20100224023756
3215 Ignore-this: d1b6f04ecc58263665b6473aa7c2065
3216 Rename WARTHREADS -> THREADS and pass this to make as well.
3217 
3218 New targets:
3219  "make total", builds compiler, libs, docs, runs all the tests in all ways.
3220  I'll change the buildbot to use this target.
3221 
3222  "make cleantotal" cleans the source tree, then does above.
3223]
3224[Add "make totalwar" and "make totallogwar" targets
3225Ben.Lippmeier@anu.edu.au**20100224005927
3226 Ignore-this: 972154a2ee08e845fdcdaabaaccc7f9d
3227 
3228 Regular "make war" is the minimal testing required before pushing patches,
3229 whereas "make totalwar" runs all tests in all ways".
3230]
3231[Accept wibbles from moved tests
3232Ben.Lippmeier@anu.edu.au**20100224005333
3233 Ignore-this: 9581038636951703e64d6c8d0a82dc4b
3234]
3235[Add "make war" and "make logwar" targets
3236Ben.Lippmeier@anu.edu.au**20100224003837
3237 Ignore-this: 1534b9c6409dcb807b394547b38fb259
3238 Not sure why we didn't have this before.
3239 
3240 I've also added a WARTHREADS option to make/config.mk, which controls
3241 the default number of threads to use (currently 2). You can change
3242 this in config-override.deps
3243]
3244[mv 70-Driver -> 10-Driver. If the driver is broken then everything is
3245Ben.Lippmeier@anu.edu.au**20100224001508
3246 Ignore-this: d8b02ffffdb960027eb14616e6894cbf
3247]
3248[Move test/01-Staged -> 01-Sanity and add notes saying what's supposed to be here.
3249Ben.Lippmeier@anu.edu.au**20100224001158
3250 Ignore-this: 3b4de6d963559970693c5a53451e442f
3251]
3252[Merge the tests under test/02-Error with the rest of the tree
3253Ben.Lippmeier@anu.edu.au**20100224000933
3254 Ignore-this: 5d1c9d8f06316458176d7d727fb81a92
3255 We weren't consistently keeping "expect error" tests in this dir
3256 anyway, which is probably reason enough to move them.
3257 
3258 We can identify "expect error" tests by their .error.check files
3259 anyway, so don't need to keep them in a separate directrory
3260 hierarchy to maintain this metadata
3261]
3262[Use Haskell version of code how that #159 is fixed
3263Ben.Lippmeier@anu.edu.au**20100223233344
3264 Ignore-this: 824c828266b6deb44bf57a1d9ca12551
3265]
3266[Fix #165 : A single 'make' command should build the whole thing.
3267Erik de Castro Lopo <erikd@mega-nerd.com>**20100223214440
3268 Ignore-this: 9e5d8efe4a6f18c0eb7e062a97a70779
3269]
3270[Move T159-InfixQuotePrecedence to test/20-Library.
3271Erik de Castro Lopo <erikd@mega-nerd.com>**20100223125845
3272 Ignore-this: 4512bb6b5be9361b72bcbdbc99c609a9
3273]
3274[Fix #159 : Infix quotes have wrong precedence.
3275Erik de Castro Lopo <erikd@mega-nerd.com>**20100223123732
3276 Ignore-this: fecf29634e7f3ba3c82dbea181f83459
3277 
3278 Fix was three fold; first fix the parser to accept `opname` in an infix
3279 expression, then fix the exporting of `opname` to the interface file and
3280 finally adding an appropriate infixl statement for `div` to the Data.Int
3281 library module.
3282]
3283[Add backtick quoting of infix function names when generating an interface file.
3284Erik de Castro Lopo <erikd@mega-nerd.com>**20100223122041
3285 Ignore-this: f595dee8baa4159859bff2d0337b39d9
3286]
3287[Add test test/12-Parser/Infix/T166-ParseInfixNamedOps.
3288Erik de Castro Lopo <erikd@mega-nerd.com>**20100223113847
3289 Ignore-this: 3e1d76406c7e4194b5edf9e8091ce9cf
3290]
3291[Fix #166 : Fix parser to accept backtick quotes vars in infix expressions.
3292Erik de Castro Lopo <erikd@mega-nerd.com>**20100223113632
3293 Ignore-this: 21f60853e915c30e858a35a7871b924d
3294]
3295[Fix #164 : Handle renaming of some X11 Ext headers in TinyPTC-X11.
3296Erik de Castro Lopo <erikd@mega-nerd.com>**20100223101456
3297 Ignore-this: c859b29a48f1f908127964b3c60f8c4f
3298]
3299[Add test for #163: Elaboration of class constructors isn't respecting their kinds
3300Ben.Lippmeier@anu.edu.au**20100222114745
3301 Ignore-this: 66779000c9e01da9abdae997546bb537
3302]
3303[Test wibbles
3304Ben.Lippmeier@anu.edu.au**20100222110339
3305 Ignore-this: dbe13507dcbcd0069a2faf59ea26b87d
3306]
3307[Add a stack of fns to Data.List
3308Ben.Lippmeier@anu.edu.au**20100222071503
3309 Ignore-this: 6c2c3b1193a5664ac36d2ed6508638b7
3310]
3311[Tweaks to T159-InfixQuotePrecedence.
3312Erik de Castro Lopo <erikd@mega-nerd.com>**20100222083030
3313 Ignore-this: 38058b952946e199cbd33ba9e5d0a970
3314]
3315[Core.Reconstruct: also mask effects at top level.
3316Ben Sinclair <ben.d.sinclair@gmail.com>**20100222013356
3317 Ignore-this: 3f02f459f30b44f9b09b5c95172cbc54
3318]
3319[Comments only
3320Ben Sinclair <ben.d.sinclair@gmail.com>**20100222000031
3321 Ignore-this: d1cc83932c95ecdeff8ee430ea645e25
3322]
3323[Accept test wibble
3324Ben.Lippmeier@anu.edu.au**20100221120622
3325 Ignore-this: 7972e467e44c1d54f00b6106c052fa9e
3326]
3327[Add test for #162
3328Ben.Lippmeier@anu.edu.au**20100221115833
3329 Ignore-this: e8d604204874b72db19deb2a440ac8aa
3330]
3331[Fix renamer for list comprehensions with patterns on left of generators
3332Ben.Lippmeier@anu.edu.au**20100221115748
3333 Ignore-this: dbbc3d3917f770056d0ffdfe17ffbc5d
3334 The desugaring doesn't work yet though
3335]
3336[Add more Prelude fns to Data.List
3337Ben.Lippmeier@anu.edu.au**20100221115558
3338 Ignore-this: e573824b157bbd886b2fdebbff98bf27
3339]
3340[Add solution for 4th Euler problem
3341Ben.Lippmeier@anu.edu.au**20100221110654
3342 Ignore-this: fc85647d4e16868223ab08a7f50d6ba4
3343]
3344[Add check for previous
3345Ben.Lippmeier@anu.edu.au**20100221105300
3346 Ignore-this: 73fdea4691064d50dd1d93b04279cf02
3347]
3348[Add solution for 2nd Euler problem
3349Ben.Lippmeier@anu.edu.au**20100221104914
3350 Ignore-this: 9f86be67a35f8c21409823d0320364cd
3351]
3352[Add test for #160
3353Ben.Lippmeier@anu.edu.au**20100221095004
3354 Ignore-this: 1b7d99c499741ba072502a0cb72ced76
3355]
3356[Add more version of Euler SumNats test
3357Ben.Lippmeier@anu.edu.au**20100221011218
3358 Ignore-this: d2bf63bec5d76c7967b257c90b57aa8a
3359]
3360[Fix bugs in Data.List intrange code
3361Ben.Lippmeier@anu.edu.au**20100221011201
3362 Ignore-this: 6426163c6eeed2715e512ec08dbb28e3
3363]
3364[Add Data.Int.div
3365Ben.Lippmeier@anu.edu.au**20100221005958
3366 Ignore-this: 5b5fb8e40365193be1810c410b698834
3367]
3368[Test for #159
3369Ben.Lippmeier@anu.edu.au**20100221005930
3370 Ignore-this: ae03ca6de33ee56aa745cbd462cb03ad
3371]
3372[Start Project Euler test dir
3373Ben.Lippmeier@anu.edu.au**20100221001144
3374 Ignore-this: 56d42ddaf379d37263e88deda1f92677
3375 We need more test cases, and solutions for project euler problems
3376 seem like a good source for them. We can either solve them manually
3377 or crib Haskell solutions, either is good, we just want the code.
3378]
3379[Handle forgotten TError case
3380Ben.Lippmeier@anu.edu.au**20100220221536
3381 Ignore-this: 179e3dcc6431768a033d873f21270c75
3382]
3383[Cleanup stripFWheres
3384Ben.Lippmeier@anu.edu.au**20100220220934
3385 Ignore-this: a5757c81ec0317166c90a915a80284d7
3386]
3387[wibble
3388Ben.Lippmeier@anu.edu.au**20100220104048
3389 Ignore-this: eb529c59c78fd89e6ed7ddfcf058be38
3390]
3391[wibble
3392Ben.Lippmeier@anu.edu.au**20100220101444
3393 Ignore-this: 5388529acbfc82f6785d4fe6898ccd38
3394]
3395[Repair the performance regression from before
3396Ben.Lippmeier@anu.edu.au**20100220100922
3397 Ignore-this: daf3f2800aa26186936ad312b40590d1
3398]
3399[Also handle TConstrain form directly in the finaliser
3400Ben.Lippmeier@anu.edu.au**20100220095926
3401 Ignore-this: 6cedaa24903fbe72286c44db02e0ffa7
3402]
3403[Follow previous changes in finaliser
3404Ben.Lippmeier@anu.edu.au**20100220093624
3405 Ignore-this: 6162df59458899ff32abfc3242847c10
3406 NOTE: This is a 30% performance regression for Data.List,
3407       due to constrainting the set of quantified vars over
3408       and over again in Type.Export. To be fixed in a
3409       subsequent patch.
3410]
3411[Remove leftover debugging stuff from finaliser
3412Ben.Lippmeier@anu.edu.au**20100220090322
3413 Ignore-this: 13b3e2e298f4461ec02eb5595a1418ec
3414]
3415[Remove the old test/Simple-skip dir
3416Ben.Lippmeier@anu.edu.au**20100220044902
3417 Ignore-this: 9eaa85478e6e2e2d0d3aad804615674f
3418 These were little tests I was using before anything else worked.
3419 They're all covered by the real testsuite now.
3420]
3421[Use TConstrain form in the plugger
3422Ben.Lippmeier@anu.edu.au**20100220043403
3423 Ignore-this: 6eb24b40add525063e39b30c815afa8
3424]
3425[Use TConstrain form in the loop cutter
3426Ben.Lippmeier@anu.edu.au**20100219235049
3427 Ignore-this: 7d36ab56e45f2e5ead03461e131499fd
3428]
3429[Comments only
3430Ben.Lippmeier@anu.edu.au**20100219110142
3431 Ignore-this: 9b9c1489855da358d8d519599b56acb5
3432]
3433[Comments and formatting only
3434Ben.Lippmeier@anu.edu.au**20100219104745
3435 Ignore-this: a5f0e872584d8b032d3c3560637e325
3436]
3437[#104 was already fixed
3438Ben.Lippmeier@anu.edu.au**20100218113046
3439 Ignore-this: 9373022acb68973b533f5b107144360
3440]
3441[Remove dead code
3442Ben.Lippmeier@anu.edu.au**20100218110912
3443 Ignore-this: b9afeec5ac69f27300d61cf5a7d3ea21
3444]
3445[Accept test wibbles
3446Ben.Lippmeier@anu.edu.au**20100218110633
3447 Ignore-this: 94323206be2578def2a980b2993d6f4f
3448]
3449[#158 is fixed, so long as you add an explicit module id to the source file
3450Ben.Lippmeier@anu.edu.au**20100218110124
3451 Ignore-this: d4fafcd7c81ec249034c291e99273af8
3452 The "index" var is magical, because its got its own syntactic
3453 sugar but is implemented as a library function. You'll still get a
3454 panic if you omit the module id, but this is part of the base library
3455 so should never be triggered by users.
3456]
3457[Remove some long dead code
3458Ben.Lippmeier@anu.edu.au**20100218104812
3459 Ignore-this: ebae332f6fe0453dacb215d1c7550634
3460]
3461[Use module ids given in source files
3462Ben.Lippmeier@anu.edu.au**20100218104615
3463 Ignore-this: 401c357f1538bd7e64fa75819d010497
3464]
3465[Remove old test
3466Ben.Lippmeier@anu.edu.au**20100218092744
3467 Ignore-this: 88be955dcfe46e703fe28a43379feb05
3468]
3469[Move error test to error dir
3470Ben.Lippmeier@anu.edu.au**20100218092308
3471 Ignore-this: 4e9dc9b31aaf4180fe9baae762002962
3472]
3473[Allow module ids at the start of modules
3474Ben.Lippmeier@anu.edu.au**20100218050852
3475 Ignore-this: 7d031f59044fd602e8ac6f4266203177
3476 
3477 I decided to use:
3478 
3479   module Graphics.Raster.Triangle
3480   import Data.List
3481   thing1 = ...
3482   thing2 = ...
3483   
3484 instead of the Haskell standard:
3485 
3486   module Graphics.Raster.Triangle where
3487   import Data.List
3488   thing1 = ...
3489   thing2 = ...
3490   
3491 That 'where' is funny because the bindings do not start to the right
3492 of 'module', which makes it unlike any other 'where' in the program.
3493   
3494 If we were going to be consistent we'd have
3495 
3496   module Graphics.Raster.Triangle where
3497       import Data.List
3498       thing1 = ...
3499       thing2 = ...
3500   
3501 With the bindings indented, but we don't want the whole program
3502 indented.
3503   
3504 If we want to support nested modules in the same source file at
3505 a later date then this last version would be easy to add.
3506   
3507 I hacked around for a while trying to get the Haskell standard
3508 version to work, but I'd have to handle it as a specicial case
3509 and rewrite other code. Taking that as an omen I gave up on it.
3510   
3511 We don't actually do anything with the module ids yet,
3512 besides parse them. Patch pending.
3513]
3514[Add test/Broken-skip/T158-TypeSolveFloatBranch.
3515Erik de Castro Lopo <erikd@mega-nerd.com>**20100218015923
3516 Ignore-this: 9973e047ed754e2d3c73c94873540170
3517]
3518[Add missing binding
3519Ben.Lippmeier@anu.edu.au**20100218013724
3520 Ignore-this: efcaba9536f1a1dc9fe644a25668d818
3521]
3522[Fix bug in Source.Lint
3523Ben.Lippmeier@anu.edu.au**20100218013214
3524 Ignore-this: 2f5552002acf8e13ee191ced9d1c7594
3525]
3526[Fix #143: check for signatures without bindings
3527Ben.Lippmeier@anu.edu.au**20100218012346
3528 Ignore-this: a57a0ee81f51d8170e53ccdfaf07c073
3529]
3530[Extend coverage of source linter
3531Ben.Lippmeier@anu.edu.au**20100218004737
3532 Ignore-this: b94bf4a516793af2e187ffaa0daf2b26
3533]
3534[Resurrect Source.Lint
3535Ben.Lippmeier@anu.edu.au**20100217120508
3536 Ignore-this: 3a21e9dfa9eaea394dfbf6f1030403f6
3537]
3538[Remove leftover war.order fiels. War doesn't use them anymore
3539Ben.Lippmeier@anu.edu.au**20100217104129
3540 Ignore-this: a1d5eb8bcaa3cc989fc07443d9d51fa7
3541]
3542[This renamer test works now
3543Ben.Lippmeier@anu.edu.au**20100217103929
3544 Ignore-this: 76a558041f590691e147a6444720f156
3545]
3546[Accept test wibbles
3547Ben.Lippmeier@anu.edu.au**20100217080425
3548 Ignore-this: e98164f640973c574dc98aab920d9b5c
3549]
3550[Cleanup renamer and fix resolution for lbindZ_bound things
3551Ben.Lippmeier@anu.edu.au**20100217074239
3552 Ignore-this: 15fd27b60a5c4e15ff75e9e3d7274307
3553]
3554[Fix renaming of list comprehensions
3555Ben.Lippmeier@anu.edu.au**20100217063702
3556 Ignore-this: c2869a0b58b9695933d5674ea50a0391
3557]
3558[Allow disambguation of names using explicit module ids
3559Ben.Lippmeier@anu.edu.au**20100217061226
3560 Ignore-this: 52705eb3a4a4ca89a5d2fd5cad5746fa
3561]
3562[Add missing Data.BoolU module
3563Ben.Lippmeier@anu.edu.au**20100217052330
3564 Ignore-this: ac88515ee27ce8c2de081546848789e8
3565]
3566[Redo handling of top-level vars, add Scope data type
3567Ben.Lippmeier@anu.edu.au**20100217051819
3568 Ignore-this: b450bc825558a69d7e1954dd42f6f940
3569]
3570[Rewrite the renamer
3571Ben.Lippmeier@anu.edu.au**20100216101614
3572 Ignore-this: ad26c4657b70cf68beae70be7b845fd1
3573 Making the renamer to allow different instances of the same name
3574 at top level, but in different modules, required a substantial rewrite.
3575]
3576[Refactor local var binding code to look like top level binding code
3577Ben.Lippmeier@anu.edu.au**20100212114317
3578 Ignore-this: 9f67083cb75f070b83a0e367ee110314
3579]
3580[Follow changes in type parser
3581Ben.Lippmeier@anu.edu.au**20100212114218
3582 Ignore-this: a796a5b843098adf913ce854d80f8605
3583]
3584[Split renamer code into its own module and rename lookup -> bind
3585Ben.Lippmeier@anu.edu.au**20100212112857
3586 Ignore-this: 3179561079b3b9552ce83f456f7b0ca8
3587]
3588[Split out variable binding code into its own module
3589Ben.Lippmeier@anu.edu.au**20100211111055
3590 Ignore-this: 1bc00dba0341887f6be082ad2553a8ac
3591]
3592[Split out object renamer stuff into its own module
3593Ben.Lippmeier@anu.edu.au**20100211110016
3594 Ignore-this: d0875734ccc1adc49dbdb81c47a2438d
3595]
3596[Respect Module ids when comparing variables
3597Ben.Lippmeier@anu.edu.au**20100211102108
3598 Ignore-this: 24439952765c5efc0d1c75b303932bdf
3599 Beore, we had Module ids associated with each variable but we weren't
3600 actually using them. We need to respect them now because we might use
3601 the same region variable in a top level decl. Eg:
3602 
3603 module Math.Consts where
3604   region %r1
3605   pi :: Float %r1.
3606 
3607 module Data.Bool where
3608   region %r1
3609   otherwise :: Bool %r1
3610 
3611 The variable %r1 is generated by the type inferencer, and it's not
3612 practical to try and keep region vars in constants unique across
3613 all modules.
3614]
3615[Handle TBot in Type.Check.Danger
3616Ben.Lippmeier@anu.edu.au**20100131064807
3617 Ignore-this: f56f23d77745d108803603c8451c993b
3618]
3619[Use TConstrain form in dangerous vars check and core trimmer
3620Ben.Lippmeier@anu.edu.au**20100131064124
3621 Ignore-this: 410c5fde9626b1c012a3c43f2f67cf13
3622]
3623[Use TConstrain form in the trimmer
3624Ben.Lippmeier@anu.edu.au**20100131062625
3625 Ignore-this: 5f22df171a1c142fb8dfbed931e716f6
3626]
3627[Comments and formatting only
3628Ben.Lippmeier@anu.edu.au**20100116014857
3629 Ignore-this: f91d205456c27a9282e32e4ef21a1c6b
3630]
3631[Core.Reconstruct wibble
3632Ben Sinclair <ben.d.sinclair@gmail.com>**20100215224045
3633 Ignore-this: 4eaad63bb20d9daf39e9d7edb81dbeee
3634]
3635[Convert Core.Reconstruct to use a State monad.
3636Ben Sinclair <ben.d.sinclair@gmail.com>**20100215145009
3637 Ignore-this: 7d89e39aeb144c300786c9b42246681
3638]
3639[Comment tweaks to Core.Reconstruct.
3640Ben Sinclair <ben.d.sinclair@gmail.com>**20100215041737
3641 Ignore-this: 8bd5400b96946b340e8116aa0b1cbe27
3642]
3643[Clean up error message for ErrorRedefined.
3644Erik de Castro Lopo <erikd@mega-nerd.com>**20100214051304
3645 Ignore-this: 504fb87dc151421ea962712fb6ba41de
3646]
3647[Move test for #146 to test/02-Error/20-Desugar.
3648Erik de Castro Lopo <erikd@mega-nerd.com>**20100213113001
3649 Ignore-this: 9015232aad633baf0917a1d7da7c882e
3650]
3651[Fix #146: Raise error on a redefined class instance.
3652Erik de Castro Lopo <erikd@mega-nerd.com>**20100213112523
3653 Ignore-this: 77ac58f4438b98fc18296787754ef6ca
3654]
3655[Fix irrefutable pattern failure in projections desugarer.
3656Erik de Castro Lopo <erikd@mega-nerd.com>**20100213065122
3657 Ignore-this: 2d3f53392ff2cd50fabeb6c95af2d9f0
3658]
3659[Minor refactoring of Type parser.
3660Erik de Castro Lopo <erikd@mega-nerd.com>**20100210200658
3661 Ignore-this: ca83ef3fa27258e5bab46a5ae4015f9f
3662]
3663[Refactor the projection combinator removing another Parsec.try.
3664Erik de Castro Lopo <erikd@mega-nerd.com>**20100210095725
3665 Ignore-this: bb506280ee52910183dc870087d5f346
3666]
3667[Minor refactoring of expression parser.
3668Erik de Castro Lopo <erikd@mega-nerd.com>**20100208071154
3669 Ignore-this: bdec5f99b225b11819ed7c8028a6c8ec
3670]
3671[Hlint clean ups in src/Source/Parser/ direcory.
3672Erik de Castro Lopo <erikd@mega-nerd.com>**20100207082936
3673 Ignore-this: ce95bd176c25684d3c3c1e5fd9d40f97
3674]
3675[Limit DDC run time heap to 50M.
3676Erik de Castro Lopo <erikd@mega-nerd.com>**20100206212318
3677 Ignore-this: 649ad40824488f0287edcefecb2380d2
3678 
3679 It would be nice to have a tool to do a more comprehensive check for excessive
3680 heap usage regressions but for now this should do.
3681 
3682 Tested with the full test suite on 32 and 64 bit Linux.
3683]
3684[Add --auto-all to profiling version of GHC_FLAGS.
3685Erik de Castro Lopo <erikd@mega-nerd.com>**20100206204153
3686 Ignore-this: 1472d60af28b921afabe359f487f7eb3
3687]
3688[Add unit test for propagateNeedsRebuild.
3689Erik de Castro Lopo <erikd@mega-nerd.com>**20100206204141
3690 Ignore-this: 1e225059314e8bb0cfe917270dd68c6d
3691]
3692[Fix #99 : Finding which modules need to be rebuilt is inefficient.
3693Erik de Castro Lopo <erikd@mega-nerd.com>**20100206120335
3694 Ignore-this: a2a62f5d5a439569b12904dcc83228e9
3695 
3696 Profing of the build of the Rover program in the test suite show that as much
3697 as 90% of the run time and 90% of the memory usage was used just to figure
3698 out which modules needed to be rebuilt.
3699 
3700 The problem turned out to be an O(n^2) (and possibly worse) algorithm which
3701 tried to build the ScrapeGraph and figure out which modules needed to be
3702 rebuild in a single pass. Separating this into two passed, one to build the
3703 ScrapeGraph and one to propagate the NeedsRebuild flag fixed the problem.
3704 Building the ScrapeGraph now takes less than 1% of the compile run time.
3705]
3706[Fix #156 : Move Quickcheck tests from a ddc runtime option to test suite.
3707Erik de Castro Lopo <erikd@mega-nerd.com>**20100206110437
3708 Ignore-this: ed3c7de23fecc4737d54e99c59b9ba3e
3709]
3710[Fix #109 : Quickcheck tests pass with quickcheck1, fail with quickcheck2.
3711Erik de Castro Lopo <erikd@mega-nerd.com>**20100206095847
3712 Ignore-this: abb4ddffea08a8e182627354c5fc396d
3713 
3714 The second part of the fix for this bug required redoing the Quickcheck
3715 Arbitrary instance for BackGraph to force it to generate sensible sized
3716 graphs that are guaranteed to be acyclic.
3717]
3718[Rename two files in test tree named Main.hs.
3719Erik de Castro Lopo <erikd@mega-nerd.com>**20100206074107
3720 Ignore-this: e22924df1811338b94c81e3968a2e52a
3721]
3722[Make target cleanWar now only clean tests, not library.
3723Erik de Castro Lopo <erikd@mega-nerd.com>**20100206073125
3724 Ignore-this: a5a179a1e6a5db58e4312e84b2d7dca1
3725]
3726[Rearrange test directory.
3727Erik de Castro Lopo <erikd@mega-nerd.com>**20100206071047
3728 Ignore-this: 2f32acf09f60e54fe16a14bf40c74729
3729 
3730 Rename test/00-Staged -> test/01-Staged and test/01-Error -> ./test/02-Error
3731 to make way for unit and Quickcheck tests in test/00-Unit.
3732]
3733[Extend war driver to build and run Haskell tests.
3734Erik de Castro Lopo <erikd@mega-nerd.com>**20100206065914
3735 Ignore-this: fdd321ebdcee2aec23bd791f3199921
3736]
3737[Move packages needed to build DDC to a make var in make/build.mk.
3738Erik de Castro Lopo <erikd@mega-nerd.com>**20100206044511
3739 Ignore-this: c8892c1104d7203207c49dd1914f5f69
3740]
3741[Fixes for Quickcheck2 (partial fix for #109).
3742Erik de Castro Lopo <erikd@mega-nerd.com>**20100204101303
3743 Ignore-this: fa511ddcffcbefa4b12ba873b0c0633f
3744 
3745 These tests would pass with Quickcheck 1.X and fail for 2.X which seemed
3746 to give up when it fails to generate enough data that satisfies the
3747 pre-requisites. The solution is to recast the test so that any list can
3748 be used in the test.
3749]
3750[Makefile wibble in TinyPTC
3751Ben.Lippmeier@anu.edu.au**20100204054423
3752 Ignore-this: 5c5e7ae406ad4dc2f0b691e1ebda9df1
3753]
3754[Add a test for bug #155.
3755Erik de Castro Lopo <erikd@mega-nerd.com>**20100201212014
3756 Ignore-this: ec638a01bc5e7b774aa84c73e773036
3757]
3758[Haddock tweaks.
3759Ben Sinclair <ben.d.sinclair@gmail.com>**20100201085032
3760 Ignore-this: 76f758f940ddd100203eda6ec3f3d844
3761]
3762[Reduce time DDC takes to compile disciple code.
3763Erik de Castro Lopo <erikd@mega-nerd.com>**20100201071933
3764 Ignore-this: 31760d7f943fab967c4f6c3dce8fcd42
3765 
3766 Replace Control.Monad.State with Control.Monad.State.Strict to force
3767 strict evaluation of the State monad. Tested this on my machines showed
3768 a 30% compile time speedup on x86/linux and a 40% speedup on x86_64/
3769 linux.
3770]
3771[Remove 3 more Parsec.try.
3772Erik de Castro Lopo <erikd@mega-nerd.com>**20100131062251
3773 Ignore-this: 6041407ba3c4b0013bcbf833c9533b3e
3774]
3775[Remove one of a pair of nested Parsec.trys.
3776Erik de Castro Lopo <erikd@mega-nerd.com>**20100131052103
3777 Ignore-this: 18434a8e9d2157f4173c360281c1f109
3778]
3779[Fixes for ghc-6.12.1
3780Ben Sinclair <ben.d.sinclair@gmail.com>**20100118044025
3781 Ignore-this: fce75c6ee86ad6a7cb9ba9677b3651c0
3782 ghc-6.12.1 parses implicit arguments as part of function context so I've
3783 adjusted affected functions to be in that form, and some type defaulting was
3784 causing warnings so added explicit types for those values.
3785]
3786[Rename Type.Port to Type.Strengthen
3787Ben.Lippmeier@anu.edu.au**20100116013017
3788 Ignore-this: de383459c9d9b2e9b4d02bf74aea40a8
3789 Horray for understanding what this was trying to do...
3790]
3791[Use TConstrain form in Data.Port
3792Ben.Lippmeier@anu.edu.au**20100115063649
3793 Ignore-this: c19d57d079f25d88fa37059937f78daa
3794]
3795[Make the trimmer handle TConstrain as well as TFetters
3796Ben.Lippmeier@anu.edu.au**20100114105438
3797 Ignore-this: de7b85fbe7997ba233e4e57ad222d7f5
3798]
3799[Comments only
3800Ben.Lippmeier@anu.edu.au**20100114100855
3801 Ignore-this: 12630e43b9a946d5ac507fbd294db087
3802]
3803[Produce TConstrain form directly in the tracer
3804Ben.Lippmeier@anu.edu.au**20100114100258
3805 Ignore-this: a7b4a5cebb1b9412d1f93cd3785c8e91
3806]
3807[Test wibble
3808Ben.Lippmeier@anu.edu.au**20100114092950
3809 Ignore-this: cd72c5e6afe11e20bf2c400730a81b94
3810]
3811[Refactor the tracer to use an accumulating list
3812Ben.Lippmeier@anu.edu.au**20100114092334
3813 Ignore-this: f77cf9f68fc817fdde94f7adf33881a3
3814]
3815[Reused TFree terms during tracing
3816Ben.Lippmeier@anu.edu.au**20100114082921
3817 Ignore-this: 8788c52ea8ec0aa317c5bc6809e33244
3818]
3819[Cleanup and add comments to the tracer
3820Ben.Lippmeier@anu.edu.au**20100114072559
3821 Ignore-this: 8a2cc8060048df1c6688dfc91431e21
3822]
3823[Trim closure terms as we load them from the graph
3824Ben.Lippmeier@anu.edu.au**20100114015559
3825 Ignore-this: b4990e7c362d7b5b47cb8ee2a3ce562a
3826 The volume of closure information is huge, try and cut it down
3827 as soon as possible and avoid processing it in later stages
3828 during extraction.
3829]
3830[Comments and cleanup
3831Ben.Lippmeier@anu.edu.au**20100114014200
3832 Ignore-this: 613112af57b7dc7ed556d4ff43965458
3833]
3834[Comments and formatting only
3835Ben.Lippmeier@anu.edu.au**20100113110533
3836 Ignore-this: 7e1ba537e86f7c032923e264fa374c06
3837]
3838[Remove dead code
3839Ben.Lippmeier@anu.edu.au**20100113110125
3840 Ignore-this: 20c8de9292a173c11afec147327de281
3841]
3842[We're not doing a separate aliasing pass anymore
3843Ben.Lippmeier@anu.edu.au**20100113105601
3844 Ignore-this: f2bf710053e3b34d7359a0b6066dbb5d
3845]
3846[Follow changes in source locations
3847Ben.Lippmeier@anu.edu.au**20100113103836
3848 Ignore-this: 7b3f3894e191552eb0fd69cddd87e374
3849]
3850[Crush WriteT like ReadT
3851Ben.Lippmeier@anu.edu.au**20100113103114
3852 Ignore-this: 8e0bff5ad86f461a4d69fdb750b08b82
3853]
3854[We don't need Type.Diagnose anymore
3855Ben.Lippmeier@anu.edu.au**20100113101959
3856 Ignore-this: 8db94d4d022c2845dbe4f66eccd994c9
3857]
3858[We don't need the fetter source tracing code anymore
3859Ben.Lippmeier@anu.edu.au**20100113100947
3860 Ignore-this: b07212880e3cb1b636fb58dfe9c84c12
3861 Justifications are propagated through by the crusher, so we
3862 don't have to go tracing through the graph anymore.
3863]
3864[Remove old ErrorPurifiedRead code
3865Ben.Lippmeier@anu.edu.au**20100113094741
3866 Ignore-this: a903bc7e6719f0b5c199d21377110dc5
3867 This sort of error is now handled by the regular constraint conflict code.
3868]
3869[Remove old code, we don't need the purity error diag code anymore
3870Ben.Lippmeier@anu.edu.au**20100113092014
3871 Ignore-this: c1d03fde9cceb0083dcc6c85b2b73abf
3872 Justifications are stored directly in each node, so we don't
3873 need to go tracing through if we hit an error.
3874]
3875[Remove unused debug code
3876Ben.Lippmeier@anu.edu.au**20100113091843
3877 Ignore-this: 533c75d3f58032d5da5a37577aa009d2
3878]
3879[Remove dead code
3880Ben.Lippmeier@anu.edu.au**20100113091039
3881 Ignore-this: 553ca8961a044eb8fb03b4d04709db83
3882]
3883[Remove dead code
3884Ben.Lippmeier@anu.edu.au**20100113090431
3885 Ignore-this: acd17d6a56466904670e46dab5d4891e
3886]
3887[Comments and cleanup
3888Ben.Lippmeier@anu.edu.au**20100113085750
3889 Ignore-this: 933256c910a5b7043ae444be103d56df
3890]
3891[Refactor: ditch sDataFields and friends, we weren't using them consistently.
3892Ben.Lippmeier@anu.edu.au**20100113082352
3893 Ignore-this: 97924fe000ead9cbc0df7a60db2dc561
3894]
3895[Comments and cleanup for the solver
3896Ben.Lippmeier@anu.edu.au**20100112233132
3897 Ignore-this: b8b127f763ecb8287b34865634b49c0f
3898]
3899[Split the finaliser into its owm module
3900Ben.Lippmeier@anu.edu.au**20100112222219
3901 Ignore-this: 4ee53cb7444b87e8da66523648add65
3902]
3903[Split the generaliser into its own module
3904Ben.Lippmeier@anu.edu.au**20100112220731
3905 Ignore-this: cb0b4a005ba52230f8a4c7bc475c34a9
3906]
3907[Split the binding group determinator into its own module
3908Ben.Lippmeier@anu.edu.au**20100112214051
3909 Ignore-this: f6a8b61de96824aa1e2daa6985e0273b
3910]
3911[Split the grinder into its own module
3912Ben.Lippmeier@anu.edu.au**20100112213345
3913 Ignore-this: d223a8901bc764166714ef44302d7a3
3914]
3915[Fix failing test ProjOfExp.
3916Ben.Lippmeier@anu.edu.au**20100112081254
3917 Ignore-this: 850d326c8fc3430aa8afefa507236fd6
3918 Another problem with instance types being different from
3919 the type in the class definition.
3920]
3921[#75 is supposed to fail
3922Ben.Lippmeier@anu.edu.au**20100112074933
3923 Ignore-this: 398bac9091033a767c68a73bcba00310
3924]
3925[#76 is fixed: Compilation time exponential in depth of constructor matching
3926Ben.Lippmeier@anu.edu.au**20100112073549
3927 Ignore-this: 93660588802384548cedc4c5d92ba01e
3928 Not sure what the original problem was, but it seems ok now.
3929 Maybe it was fixed in the type inferencer refactoring.
3930]
3931[#150 was fixed by the inferencer refactoring
3932Ben.Lippmeier@anu.edu.au**20100112071259
3933 Ignore-this: 2267e39138465cccde7555f7a2ad7fb2
3934]
3935[#75 is fixed
3936Ben.Lippmeier@anu.edu.au**20100112070723
3937 Ignore-this: 5b8e809c73e126b1c59eabadff502f70
3938]
3939[The complexity tests work now
3940Ben.Lippmeier@anu.edu.au**20100112062715
3941 Ignore-this: 27c96de693faa2cbc9ceb4d8e7a997e0
3942]
3943[Test dir wibble
3944Ben.Lippmeier@anu.edu.au**20100112061931
3945 Ignore-this: a5ace10078ffb4dc60222708a7dfa433
3946]
3947[Repair more error reporting for purity conflicts
3948Ben.Lippmeier@anu.edu.au**20100112061337
3949 Ignore-this: ec5c00e4f604fc06607b749c35617f53
3950]
3951[Fix displaying of some purity errors
3952Ben.Lippmeier@anu.edu.au**20100112054729
3953 Ignore-this: 360d74db7b0a41d5b25f03feb3da4577
3954]
3955[Refactor crushing of single param type classes
3956Ben.Lippmeier@anu.edu.au**20100112044715
3957 Ignore-this: de3380702fbbe949a30bf770fa077238
3958]
3959[Fix threading of witnesses in core, that wasn't decending into existing TWitJoins
3960Ben.Lippmeier@anu.edu.au**20100112025130
3961 Ignore-this: 325e1a7f773bc42af98e5a3e2b39585a
3962]
3963[Repair crushing of MutableT and ConstT constraints
3964Ben.Lippmeier@anu.edu.au**20100112023307
3965 Ignore-this: 5cf66d21c1625b225408849e3dc516a3
3966]
3967[Accept test wibbles
3968Ben.Lippmeier@anu.edu.au**20100112014412
3969 Ignore-this: 97701368c02f06e76d4ca2defddbf42b
3970]
3971[Repair handling of kind mismatch errors
3972Ben.Lippmeier@anu.edu.au**20100112004415
3973 Ignore-this: 2475080c863f23281275f36916025aa0
3974]
3975[Accept test wibbles
3976Ben.Lippmeier@anu.edu.au**20100111115604
3977 Ignore-this: 3277399be6ad2506b8ca7f305b830e9a
3978]
3979[Fix error reporting for infinite type errors
3980Ben.Lippmeier@anu.edu.au**20100111115103
3981 Ignore-this: 2e1e3787677ada9c4eb9f76758a2a163
3982]
3983[Refactor more collect fns to use sets
3984Ben.Lippmeier@anu.edu.au**20100111104008
3985 Ignore-this: 661c3518bbb1ab7d60ec41315a1fef78
3986]
3987[Refactor collection fns to use sets instead of lists
3988Ben.Lippmeier@anu.edu.au**20100111100453
3989 Ignore-this: 6cac91cf0ea332bf07e84a54f40766b7
3990]
3991[comments only
3992Ben.Lippmeier@anu.edu.au**20100111004927
3993 Ignore-this: d2e3bbbc5b36b3e7a902f95bf8649d4d
3994]
3995[Refactor config for loop handling in PackType
3996Ben.Lippmeier@anu.edu.au**20100111004412
3997 Ignore-this: ea2b0d41cd620e6539b7ea30fcbde055
3998]
3999[formatting only
4000Ben.Lippmeier@anu.edu.au**20100111001914
4001 Ignore-this: 6a6f263efed4b4e8f137633f50a7d232
4002]
4003[Refactor TErrors
4004Ben.Lippmeier@anu.edu.au**20100111001712
4005 Ignore-this: cdd25e5c9f604d52d057c495861d798
4006]
4007[Accept test wibble
4008Ben.Lippmeier@anu.edu.au**20100110233449
4009 Ignore-this: 135273a79b431ef38018850d2e1114ac
4010]
4011[Fix errors involving projections of non-data types
4012Ben.Lippmeier@anu.edu.au**20100110233302
4013 Ignore-this: dbf78511125aca23d46a6c43bbe85420
4014]
4015[Fix 'field not present' error message
4016Ben.Lippmeier@anu.edu.au**20100110232906
4017 Ignore-this: 88cb5c68c3c21f6c505f78c9c7548acd
4018]
4019[Accept some more test wibbles
4020Ben.Lippmeier@anu.edu.au**20100110082113
4021 Ignore-this: 5787fa102effb4197ebff7d3ab59ab42
4022]
4023[Accept some test wibbles
4024Ben.Lippmeier@anu.edu.au**20100110081946
4025 Ignore-this: 2a72d1a8a1dc8d882e3c8194e257e19
4026]
4027[Fix reporting of purification errors
4028Ben.Lippmeier@anu.edu.au**20100110081513
4029 Ignore-this: b006c7d8bd60a0a252760edc91ef77a8
4030]
4031[Accept some test wibbles
4032Ben.Lippmeier@anu.edu.au**20100110074431
4033 Ignore-this: 27487da278628f6d88ec4b70d12a68a4
4034]
4035[Remember about fetterSources when merging classes
4036Ben.Lippmeier@anu.edu.au**20100110074037
4037 Ignore-this: 5ba95bc5d9299d71c812d25e129f1e1d
4038]
4039[Fix detection of TCon conflict errors
4040Ben.Lippmeier@anu.edu.au**20100110072720
4041 Ignore-this: a82c81f7054e5fdaf24e3de0f44e706c
4042]
4043[With traceDownLeftSpine, allow general types, not just classIds
4044Ben.Lippmeier@anu.edu.au**20100110070628
4045 Ignore-this: eeaad0c0f7cc3f1c41c5b3e41903e219
4046]
4047[Allow region vars, not cids when deciding which ones are dangerous
4048Ben.Lippmeier@anu.edu.au**20100110035253
4049 Ignore-this: 1a818083a3ad371b4f9634b4125cf933
4050]
4051[Store fetters separately from Types, no more TFetter nonsense.
4052Ben.Lippmeier@anu.edu.au**20100110034051
4053 Ignore-this: 3bb49bcc1dff0f232d28b3d1247c60dd
4054]
4055[Trim closures inside sums, to help flatten them out.
4056Ben.Lippmeier@anu.edu.au**20100110030446
4057 Ignore-this: c31e4cdb4f0cb321638ac72865be37d9
4058]
4059[Comments only
4060Ben.Lippmeier@anu.edu.au**20100110024141
4061 Ignore-this: 7e2653e4d3bd4dec7516881997a91861
4062]
4063[Don't check kinds during kindOfType, rely on core lint to find kind problems
4064Ben.Lippmeier@anu.edu.au**20100110013214
4065 Ignore-this: 5ba82b3b8b87c0af0a872815ba7c9785
4066]
4067[Comments only
4068Ben.Lippmeier@anu.edu.au**20100110004507
4069 Ignore-this: 53b6024b842677c13c7100c2d7b6d02a
4070]
4071[Remove old source type packer
4072Ben.Lippmeier@anu.edu.au**20100110002907
4073 Ignore-this: 399491f296d9d4e8e31b95b2f3e76f8d
4074]
4075[Use fast packing instead of old packClosure_noLoops when trimming closures
4076Ben.Lippmeier@anu.edu.au**20100110002141
4077 Ignore-this: 7a3111de758eb7dbda0f7e1ac4ec10ac
4078]
4079[Flatten closure sums during fast packing
4080Ben.Lippmeier@anu.edu.au**20100109112249
4081 Ignore-this: e6ae9110420cf724737686910bb1a8
4082]
4083[Nicer panic message
4084Ben.Lippmeier@anu.edu.au**20100109112204
4085 Ignore-this: ae09cac6c613a3a6173018cfaaacb5b9
4086]
4087[Simplify test
4088Ben.Lippmeier@anu.edu.au**20100109112139
4089 Ignore-this: 19bff9100ae348a83243d942a66e0d55
4090]
4091[When crushing projections, reactivate the class if we can't crush it yet.
4092Ben.Lippmeier@anu.edu.au**20100109112043
4093 Ignore-this: 8868a7c3e8458686d6977486167eeb0e
4094]
4095[Add comments and tracing to projection crusher
4096Ben.Lippmeier@anu.edu.au**20100109105309
4097 Ignore-this: b616b47e6392ef46bffbc0df4ae0546a
4098]
4099[Add test for projecting result of expressions
4100Ben.Lippmeier@anu.edu.au**20100109090903
4101 Ignore-this: bcc01a0f53cd0e24d4e450f152325fa5
4102]
4103[Dump projection resolution table
4104Ben.Lippmeier@anu.edu.au**20100109090748
4105 Ignore-this: ece2d179f8c02e2d43760080b65292c8
4106]
4107[remove old war.order file
4108Ben.Lippmeier@anu.edu.au**20100109084814
4109 Ignore-this: 8d9bce05f70f2251d0bd17198fb12e0b
4110]
4111[Don't worry about the complexity tests for now.. the inferencer is stil too slow.
4112Ben.Lippmeier@anu.edu.au**20100107032251
4113 Ignore-this: 8c4513a22f8fd66db1eb7ee3f1b3db77
4114]
4115[Use fast packing in source types trimmer
4116Ben.Lippmeier@anu.edu.au**20100107030122
4117 Ignore-this: b67a51a6133bc1d1318c599c9ad14b3e
4118]
4119[Use fast packing during elaboration
4120Ben.Lippmeier@anu.edu.au**20100106010621
4121 Ignore-this: ad27e2ca9532919dd842cfffe5a6b392
4122]
4123[use fast packing in type finaliser
4124Ben.Lippmeier@anu.edu.au**20100106004356
4125 Ignore-this: 2bf8830e7f2b85af8426c82ee92b0b16
4126]
4127[Use fast packing during constraint simplification
4128Ben.Lippmeier@anu.edu.au**20100106004013
4129 Ignore-this: 6d9de152034513df8026f555b2e1bf3e
4130]
4131[Use fast packing after cutting loops
4132Ben.Lippmeier@anu.edu.au**20100106003014
4133 Ignore-this: 55a7f81d20175d316e1ef19cd3f1ce2a
4134]
4135[Include eq constraints reachable from body in PackFast
4136Ben.Lippmeier@anu.edu.au**20100106002236
4137 Ignore-this: af25b921b7a84a73e2f964ae4311710e
4138]
4139[Wibbles to Class.Show
4140Ben.Lippmeier@anu.edu.au**20100106002149
4141 Ignore-this: 97a82452ed487b3429dff8e9eabaf715
4142]
4143[Freshen binders on sigs used for instance functions
4144Ben.Lippmeier@anu.edu.au**20100106001526
4145 Ignore-this: ed8ee2e6daf5f18044d61f0f0cb1a9f3
4146]
4147[Start on a saner version of Type.Util.Pack
4148Ben.Lippmeier@anu.edu.au**20091212034307
4149 Ignore-this: 4bdd3c44da6ad7820feab6f83c34ca72
4150]
4151[Refactoring of Fetter and Effect Crushing
4152Ben.Lippmeier@anu.edu.au**20091212034226
4153 Ignore-this: 3a9d1ee53ffe492e3a055786e13620ad
4154]
4155[Remove some useless nubs
4156Ben.Lippmeier@anu.edu.au**20091211035056
4157 Ignore-this: 13f3a3d24ce5f0e58065fc81d8bd00b1
4158]
4159[Don't hammer kindOfType as much in Type.Util.Trim
4160Ben.Lippmeier@anu.edu.au**20091209093813
4161 Ignore-this: 6963e0fdcd16d8ab49408abdac28fc21
4162]
4163[Use TConstrain form in Type.Util.Pack
4164Ben.Lippmeier@anu.edu.au**20091209090153
4165 Ignore-this: 452b15f90778e48cb39fa89e309bd3cc
4166]
4167[Don't sort fetters during packing
4168Ben.Lippmeier@anu.edu.au**20091209073350
4169 Ignore-this: b5632c6da6ff044818f55bfb81e9e959
4170]
4171[Add a TConstrain, a version of TFetters that holds the constraints in a Map instead of a List
4172Ben.Lippmeier@anu.edu.au**20091209073240
4173 Ignore-this: 1272bd9bb6b593d826c7eea4ab5ad13a
4174]
4175[remove dead code
4176Ben.Lippmeier@anu.edu.au**20091124093023
4177 Ignore-this: 75ddadf3b2cf793a649a10004a64dccf
4178]
4179[Don't don't return Maybe from kindOfType
4180Ben.Lippmeier@anu.edu.au**20091124085759
4181 Ignore-this: 38ea2f4f3f7ec7315257ae897cddf3ae
4182 kindOfType gets hammered by the compiler, and 80% of total allocations
4183 from some tests were due to the allocation of Justs.
4184]
4185[Clean up fetter crushing code
4186Ben.Lippmeier@anu.edu.au**20091123092001
4187 Ignore-this: 8d5cb4075af367acc31a4c66244ad2c0
4188 
4189 Untangle the code that crushes fetters while they are in the graph from
4190 the code that crushes them when we have a full traced type. The first
4191 is done during a graph grind, but the second when reducing the context
4192 of a traced type scheme.
4193]
4194[Refactor representation of type expressions
4195Ben.Lippmeier@anu.edu.au**20091123074659
4196 Ignore-this: 96ef2322f030d484171dfe2401bd66be
4197 
4198 We now always use a general type application form TApp
4199 instead of constructors specific to functions (TFun) and
4200 data types (TData). This makes the inferencer somewhat
4201 slower as there are more nodes in the graph, but also makes
4202 it simpler, more sane, and easier to work on.
4203 
4204 Inferencer runtime performance to be addressed in a
4205 subsequent patch.
4206]
4207[Add test/21-Defib/JensensDevice.
4208Erik de Castro Lopo <erikd@mega-nerd.com>**20091129055931
4209 Ignore-this: 6a70a7b0ccbbd6004bd01e66aa7bdf0
4210]
4211[In cleanWar target, only delete files named *.bin.
4212Erik de Castro Lopo <erikd@mega-nerd.com>**20091127112108
4213 Ignore-this: 28fb554bcb34184abe5e31332caf9837
4214]
4215[Add test test/70-Driver/OutputIsDir.
4216Erik de Castro Lopo <erikd@mega-nerd.com>**20091123101757
4217 Ignore-this: 8caa60920286add2950329429fdd473a
4218]
4219[Fail without panic when directory already exists.
4220chris@eidhof.nl**20091120104220
4221 Ignore-this: 669fdb00dcb5e96c0f889fc39cf2ec95
4222]
4223[Add test/Broken-skip/T151-DefixAppsPanic/Main.ds.
4224Erik de Castro Lopo <erikd@mega-nerd.com>**20091121074357
4225 Ignore-this: 581bedf94f4701b6aaac08bfa0d439e8
4226]
4227[Rename test/Broken-skip/T147-SuperfluousLet to T147-ParseLet and update.
4228Erik de Castro Lopo <erikd@mega-nerd.com>**20091121005500
4229 Ignore-this: 7be05495a031ac9a6ed17a5ed21b2ae6
4230]
4231[Progress on support for type synonyms.
4232Erik de Castro Lopo <erikd@mega-nerd.com>**20091115103854
4233 Ignore-this: 58ef735803c2327d9c039fd1167474b4
4234]
4235[Move ManOrBoy test to test/21-Defib.
4236Erik de Castro Lopo <erikd@mega-nerd.com>**20091117112147
4237 Ignore-this: b85a59024c2d46c4e3c3ef43df624f80
4238]
4239[Add test/Broken-skip/T150-TypeLocationPanic/Main.ds.
4240Erik de Castro Lopo <erikd@mega-nerd.com>**20091117084805
4241 Ignore-this: f7bcb6008eae870cde597d185be3b3fd
4242]
4243[Add test/Broken-skip/T149-PanicTypeCrushUnify/Test.ds.
4244Erik de Castro Lopo <erikd@mega-nerd.com>**20091117071544
4245 Ignore-this: 84ad707c53166c310df05ce80fe4c700
4246]
4247[Don't require TFetter to have a Kind when adding it to an equiv class
4248Ben.Lippmeier@anu.edu.au**20091117055910
4249 Ignore-this: 67f6475b263518322fa1129d12aa9a2d
4250]
4251[Refactor KWitness into KProp
4252Ben.Lippmeier@anu.edu.au**20091116121332
4253 Ignore-this: a192a798c239834e9e335933ca11fb71
4254]
4255[Refactor parser to remove 3 Parsec.try instances.
4256Erik de Castro Lopo <erikd@mega-nerd.com>**20091116200742
4257 Ignore-this: 48465ad6d00696529d2da1d81a88104e
4258]
4259[this time for sure
4260Ben.Lippmeier@anu.edu.au**20091116110441
4261 Ignore-this: 8048da6e2002686cd517de1f9c75a1af
4262]
4263[Add test to check that all dump flags work
4264Ben.Lippmeier@anu.edu.au**20091116105822
4265 Ignore-this: 959e74d0e4e8e80d3d97cedf9c5bc215
4266]
4267[Add hello world test
4268Ben.Lippmeier@anu.edu.au**20091116104255
4269 Ignore-this: 7fb8225e935937ddc378d459d8402106
4270]
4271[Add test/Broken-skip/T148-ManOrBoy.
4272Erik de Castro Lopo <erikd@mega-nerd.com>**20091116070717
4273 Ignore-this: ef394b725be02136baf1782f05b7b880
4274]
4275[Add test/Broken-skip/T147-SuperfluousLet .
4276Erik de Castro Lopo <erikd@mega-nerd.com>**20091116070027
4277 Ignore-this: d77d0843655b3ba3a5088942c0b9b13c
4278]
4279[Unbreak T72-RecursiveProjKind
4280Ben.Lippmeier@anu.edu.au**20091115123227
4281 Ignore-this: a94b7f44887d27915e83ba100698fb13
4282]
4283[Refactor: Change representation of Kinds to use KCon instead of KValue and friends
4284Ben.Lippmeier@anu.edu.au**20091115120837
4285 Ignore-this: 5578e2ceb0e5a16497438b1040c791c
4286 First stage in simplifying type/kind expressions.
4287        use kValue = KCon KiConValue SBox  (and friends)
4288 instead of KValue                         (and friends)
4289 
4290 Next step is to also use KCon for KWitness and KClass.
4291]
4292[Fix handling of PTypeSynonym in Renamer.
4293Erik de Castro Lopo <erikd@mega-nerd.com>**20091115054004
4294 Ignore-this: f3015fd837b8cb333774f53b8aa4b9c2
4295]
4296[Move test/Broken-skip/T33-FieldCollision to test/01-Error/20-Desugar and update.
4297Erik de Castro Lopo <erikd@mega-nerd.com>**20091115003415
4298 Ignore-this: b692681381edb95bec3442e08fb0987d
4299]
4300[Fix #33 : Report error on projection name collision.
4301Erik de Castro Lopo <erikd@mega-nerd.com>**20091115001150
4302 Ignore-this: 6181ac2eff1697ff4515102508fb027f
4303 
4304 Name collision is detected when projecting over both local and imported data
4305 types.
4306]
4307[Move T39-RecursiveModule to test/01-Error/70-Driver and update.
4308Erik de Castro Lopo <erikd@mega-nerd.com>**20091113121328
4309 Ignore-this: d4e28c650e43135000fa06910c9b9dec
4310]
4311[Fix #39 : Error out on mutually recursive module import.
4312Erik de Castro Lopo <erikd@mega-nerd.com>**20091113113431
4313 Ignore-this: d2d11b4ce3983c52d6e01ecaa21370eb
4314]
4315[Rename war2 to war
4316Ben.Lippmeier@anu.edu.au**20091113114048
4317 Ignore-this: e7b7d958068972745de357afe2cabca
4318 
4319 The old war is long over.
4320]
4321[Update war to handle executables that are expected to fail
4322Ben.Lippmeier@anu.edu.au**20091113103500
4323 Ignore-this: 619d56f79d4a7cd2a459a6879d623f4e
4324 
4325 If there is a Main.runerror.check file in the same dir as the test
4326 then we're expecing the build to succeed, but the executable to fail
4327 at runtime.
4328]
4329[Panic on mutually recursive modules instead of blowing the stack.
4330Erik de Castro Lopo <erikd@mega-nerd.com>**20091113091840
4331 Ignore-this: 6ab6ef588918f8421733d3dc01fa4aaa
4332 
4333 Still need to convert the panic to an error.
4334]
4335[Update test T39-RecursiveModule to have a 3 module loop.
4336Erik de Castro Lopo <erikd@mega-nerd.com>**20091113064149
4337 Ignore-this: ff24ae3863cfc607e4372b5315f638da
4338 
4339 Also use OPTIONS -no-implicit-prelude to reduce compile time of this test.
4340]
4341[Bug #71 was fixed in some previous patch, so move the test into the main test suite.
4342Erik de Castro Lopo <erikd@mega-nerd.com>**20091112062159
4343 Ignore-this: a225f804e49aaa33cdf92e4f781d42ee
4344]
4345[Rename T36-RecursiveModule -> T39-RecursiveModule.
4346Erik de Castro Lopo <erikd@mega-nerd.com>**20091111221112
4347 Ignore-this: 41f507882b9027ac84ad3b5741e6cf57
4348]
4349[Add new tests to test/Broken-skip.
4350Erik de Castro Lopo <erikd@mega-nerd.com>**20091111102325
4351 Ignore-this: f38424868bcff0a65e9b2ebf1f656bbc
4352]
4353[Add test/Broken-skip/ddc-T68-KindCheckConstraint/Test.ds.
4354Erik de Castro Lopo <erikd@mega-nerd.com>**20091111090528
4355 Ignore-this: aaeb57a96c59e27b3470746a6970d5ab
4356]
4357[Fix #45 : Add proper source position for RTS errors.
4358Erik de Castro Lopo <erikd@mega-nerd.com>**20091110075130
4359 Ignore-this: 65008c5d942c63c5ab22b48f6e9d01ea
4360]
4361[Update test/Broken-skip/T45-PatternMatchFailure.
4362Erik de Castro Lopo <erikd@mega-nerd.com>**20091110074132
4363 Ignore-this: 3a3155cc67409c0c7be4499ed9e4373e
4364]
4365[Modify parser to accept 'type A = ...'.
4366Erik de Castro Lopo <erikd@mega-nerd.com>**20091109095142
4367 Ignore-this: 1290c5c262766ea5172650ae255f8a02
4368]
4369[Add test/Broken-skip/T16-AddTypeBindings/Test.ds.
4370Erik de Castro Lopo <erikd@mega-nerd.com>**20091109082153
4371 Ignore-this: 7d0b9a6df0912fab58ae5ba0c6a11c58
4372]
4373[Add test/01-Error/10-Renamer/T53-CheckShadowForall/ .
4374Erik de Castro Lopo <erikd@mega-nerd.com>**20091109064332
4375 Ignore-this: 17fbd4d169898c07de55eb16d57b4d5b
4376]
4377[Fix #53 : Add check for name shadowing in forall quantifiers.
4378Erik de Castro Lopo <erikd@mega-nerd.com>**20091109063433
4379 Ignore-this: 36684de811ba2a9e410ed0810b35f57d
4380]
4381[Move test/Broken-skip/T77-ProjTypeErrorPanic -> test/01-Error/30-Typing/T77-ProjTypeErrorPanic.
4382Erik de Castro Lopo <erikd@mega-nerd.com>**20091108183740
4383 Ignore-this: 5faf6312433d6da05afa5dbfa7e579ed
4384]
4385[Fix #77 : crushProjClassT panics. Panic should be converted to an error.
4386Erik de Castro Lopo <erikd@mega-nerd.com>**20091108104757
4387 Ignore-this: 153893f86b6419324b3fd1ecb60d404e
4388]
4389[Add test/Broken-skip/T146-InstanceRedef/Test.ds.
4390Erik de Castro Lopo <erikd@mega-nerd.com>**20091108055238
4391 Ignore-this: e8874dbb8af8b93b3d5eae359ed10e61
4392]
4393[Add a test for #82: Shape crusher not linking effect and closure params of ctors
4394Ben.Lippmeier@anu.edu.au**20091106124644
4395 Ignore-this: cbd9915b78e6c9dec46722d788d88416
4396]
4397[Move stray test file
4398Ben.Lippmeier@anu.edu.au**20091106124113
4399 Ignore-this: 284056c1841c2ad92c0bf74239342a8a
4400]
4401[validate fixes
4402Ben.Lippmeier@anu.edu.au**20091106123040
4403 Ignore-this: 992b285a2b453f041597fc0339b61c37
4404]
4405[Expunge TWild constructor
4406Ben.Lippmeier@anu.edu.au**20091106121420
4407 Ignore-this: be0c7974861fb0da3744376a9cd4a0c0
4408 At the time, it seemed useful to have a wildcard in type expressions,
4409 to take the place of type information that wasn't filled in yet.
4410 
4411 However, we can use TBot for this instead, and save having to handle
4412 a separate constructor throughout the compiler. Less is more.
4413]
4414[Add TApp rewrite rule in Desugarer.
4415Erik de Castro Lopo <erikd@mega-nerd.com>**20091106023534
4416 Ignore-this: 34b0a429b01467260a2a44ffcc438cbd
4417]
4418[#72 is fixed now
4419Ben.Lippmeier@anu.edu.au**20091106011303
4420 Ignore-this: 811dfec1eb08415078d1b8198c19339b
4421]
4422[Fix #72: Add missing kind case for TFetter
4423Ben.Lippmeier@anu.edu.au**20091106010904
4424 Ignore-this: eff907029b4e2fc5d5548695e38f484a
4425 This fixes the problem, but we should really be storing constraints
4426 in another way and not just mashing them into types with TFetter.
4427]
4428[Move  test/Broken-skip/T42-TopLevelUnboxed/ to test/18-Sea/ and update.
4429Erik de Castro Lopo <erikd@mega-nerd.com>**20091104194626
4430 Ignore-this: 9704630bd3179941a2135dc397942687
4431]
4432[Fix #42 : Support unboxed CAFs.
4433Erik de Castro Lopo <erikd@mega-nerd.com>**20091104194544
4434 Ignore-this: d3a39314b7f5ebfdaf658f1c6def8377
4435]
4436[Annotate Sea's XVar/XSlot/XSlotCAF with their Type.
4437Erik de Castro Lopo <erikd@mega-nerd.com>**20091104171522
4438 Ignore-this: e7c90de54397a0307d303aa15cf56bcb
4439]
4440[Fix #144 : Give better error message when source file does not exist.
4441Erik de Castro Lopo <erikd@mega-nerd.com>**20091104090547
4442 Ignore-this: c39c45d0fc77470cbfcb12da884c6fbb
4443]
4444[Add test/Broken-skip/T143-TypeLacksBinding/Test.ds.
4445Erik de Castro Lopo <erikd@mega-nerd.com>**20091104072926
4446 Ignore-this: a38691a8ffdf148f97a42ea129fa8c19
4447]
4448[Clean up Var ctors in Sea.Exp
4449Ben.Lippmeier@anu.edu.au**20091104060908
4450 Ignore-this: e34ca31aa999fcb49bc86d24c0871566
4451]
4452[Fix syntax of types with implicit parameters
4453Ben.Lippmeier@anu.edu.au**20091104060836
4454 Ignore-this: 285d3a1e214ce560f89eb0cc95cad167
4455]
4456[Remove export type statements from Raytracer demo, this feature isn't finished.
4457Ben.Lippmeier@anu.edu.au**20091104060755
4458 Ignore-this: e934c6c02074b8c6332693c2255c5b7f
4459]
4460[Add test/Broken-skip/T70-OperatorSectioning/Test.ds.
4461Erik de Castro Lopo <erikd@mega-nerd.com>**20091102203429
4462 Ignore-this: 9b2659b26323c4c789c9d1f8684a735c
4463]
4464[Add '*.di' to the files removed during cleanLibrary.
4465Erik de Castro Lopo <erikd@mega-nerd.com>**20091102114123
4466 Ignore-this: bebb3c0c466ac4d09556acf4dd9fe5db
4467]
4468[Add test/Broken-skip/T142-ExportRedef/Test.ds.
4469Erik de Castro Lopo <erikd@mega-nerd.com>**20091102112056
4470 Ignore-this: 11090492bd169edd7fb014d18079db1c
4471]
4472[Move T78-RenameDataDefs from Broken-skip to 13-Renamer.
4473Erik de Castro Lopo <erikd@mega-nerd.com>**20091102105147
4474 Ignore-this: edc8bd5446d973e3360701e39a63d11
4475]
4476[Update 01-Error/Redefined to test for redefined Data and Ctor names.
4477Erik de Castro Lopo <erikd@mega-nerd.com>**20091102104438
4478 Ignore-this: ad19f09a69167940c43acdaeba2c322d
4479]
4480[Catch and error out on redfinition of data and constructor names.
4481Erik de Castro Lopo <erikd@mega-nerd.com>**20091102103452
4482 Ignore-this: d2d10be7a5c8d02f32a8bc1bdc51b5cc
4483]
4484[Remove duplicate type defs from library.
4485Erik de Castro Lopo <erikd@mega-nerd.com>**20091102095900
4486 Ignore-this: 457a6a8d381c6786203c2bc9c461e4f1
4487]
4488[Add test/Broken-skip/T79-MutableTuple/Test.ds.
4489Erik de Castro Lopo <erikd@mega-nerd.com>**20091102085902
4490 Ignore-this: 7f1965935b534bc2ca4e97011038455f
4491]
4492[Remove duplicate type defs from Base.ds
4493Ben.Lippmeier@anu.edu.au**20091102072355
4494 Ignore-this: 3d0ae0c271e9a5adc4f9b0e7797bd518
4495]
4496[Remove duplicate test.
4497Erik de Castro Lopo <erikd@mega-nerd.com>**20091101105424
4498 Ignore-this: 10caccc9702ef5c269a545150432ee30
4499]
4500[Add test/Broken-skip/T88-CtorDataOffside .
4501Erik de Castro Lopo <erikd@mega-nerd.com>**20091101104450
4502 Ignore-this: 49dc0e0d9021bb36651ebab395b91875
4503]
4504[Fix #58 : Type interferencer panic.
4505Erik de Castro Lopo <erikd@mega-nerd.com>**20091030045454
4506 Ignore-this: bc4bfc551923a5cc062bffe2df926965
4507]
4508[Move T58-InferencerPanic from Broken-skip to test/15-Typing.
4509Erik de Castro Lopo <erikd@mega-nerd.com>**20091030052343
4510 Ignore-this: 71b7722d2d2c7ad449a140a4dded5737
4511]
4512[Add test/Broken-skip/T88CtorDataOffside/
4513Erik de Castro Lopo <erikd@mega-nerd.com>**20091029081829
4514 Ignore-this: 8352b66dd566e9cfeb5099a55ad60370
4515]
4516[Add defintions for ErrorRedefinedCtor and ErrorRedefinedData.
4517Erik de Castro Lopo <erikd@mega-nerd.com>**20091029035842
4518 Ignore-this: 974bbca60fd44f84f2e48bf7b76e2797
4519]
4520[Update build rules to handle Snow Leopard
4521Ben.Lippmeier@anu.edu.au**20090927013058
4522 Ignore-this: e8ddc70db26a5a5098a4f086fb736827
4523]
4524[T105-ListComp
4525Amos Robinson <amos.robinson@gmail.com>**20090924115801
4526 Ignore-this: ce4bc1430583118e1a8a2423520fc001
4527]
4528[whitspace
4529Ben.Lippmeier@anu.edu.au**20090916080237
4530 Ignore-this: 8cd8cea5a54bd4e0766dbc3462b34c88
4531]
4532[Comments
4533Ben.Lippmeier@anu.edu.au**20090916075407
4534 Ignore-this: f9e6f09da571ab2b1149006d06540563
4535]
4536[Add missing file
4537Ben.Lippmeier@anu.edu.au**20090916075209
4538 Ignore-this: bc3d7342f92025e3d62dbfd0c7d8df31
4539]
4540[Break up pretty printer into smaller modules
4541Ben.Lippmeier@anu.edu.au**20090916075116
4542 Ignore-this: f28120d8b87a94257d44fb9a897ac4e5
4543]
4544[Cleanup namespaces
4545Ben.Lippmeier@anu.edu.au**20090916070524
4546 Ignore-this: 4b936b663a58d171e486e6617b59fc2c
4547]
4548[Start shifting code to the new DDC source tree
4549Ben.Lippmeier@anu.edu.au**20090916065027
4550 Ignore-this: 4450ee2caabc60e12e433bcd45eca82d
4551 
4552 We're moving to a situation where we can break up DDC into
4553 several independent parts, so we can compile bits of it as
4554 separate binaries. eg parser, constraint slurper, desugarer..
4555   
4556 This will serve several purposes:
4557   * Move towards "DDC as a library".
4558   
4559   * Force us to define some cleaner interfaces between the modules.
4560   
4561   * Force us to look at the code and clean out left-over cruft.
4562     Only "clean", working code with a good set of tests
4563     gets moved over to the new tree.
4564   
4565   * Writing data to the file system effectively deepSeq's each intermediate
4566     representation, so I'm hoping this will kill a lot of space leaks
4567   
4568   * Make boot-strapping easier. The plan is that the whole compiler
4569     gets split into 6-8 separate binaries. We can then boot-strap one
4570     at a time, using the behavior of the Haskell version as the target,
4571     and while keeping the compiler working.
4572]
4573[Add some DeepSeq stuff
4574Ben.Lippmeier@anu.edu.au**20090916060518
4575 Ignore-this: 87ece5672d736d288091d2d3c1a6201
4576]
4577[Add HLint to makefile and clean some hlint warnings
4578Ben.Lippmeier@anu.edu.au**20090916040247
4579 Ignore-this: 59ed8f35a153425f3c5357411642bf27
4580]
4581[Move T1 test into Broken-skip as it's still failing
4582Ben.Lippmeier@anu.edu.au**20090916011305
4583 Ignore-this: 39c5e7900c963c17a7292e0797a8ed9
4584]
4585[Update T1-CurryUnboxed so that the test builds and runs when optimisation is on.
4586Erik de Castro Lopo <erikd@mega-nerd.com>**20090904101820
4587 Ignore-this: 94b5a109df0c9ffb90f962de73a90a90
4588]
4589[Finalize fix for #91 : Be a little more lenient.
4590Erik de Castro Lopo <erikd@mega-nerd.com>**20090903102707
4591 Ignore-this: 45178724788284b1bc219938feb54bf1
4592 
4593 Accept all imports, exports and pragmas in any order, then accept everything
4594 other than imports, exports and pragmas.
4595]
4596[Fix #91 : Restrict ordering of export, import and other top level constructs.
4597Erik de Castro Lopo <erikd@mega-nerd.com>**20090903065804
4598 Ignore-this: 7541262fc211f56ce54c612b30c45dfc
4599]
4600[Add test for other half of #1.
4601Ben.Lippmeier@anu.edu.au**20090831214556
4602 Ignore-this: 9e7ce8954abe79461fc3f7ac2dd956d5
4603 We shouldn't be able to instantiate the types of polymorphic
4604 data constructors at unboxed types. We don't have support in
4605 the runtime system to represent the fact that the elements of
4606 a value of type List Int# shouldn't be followed by the garbage collector.
4607]
4608[Fix #1 : Check for partial application of functions to unboxed args.
4609Erik de Castro Lopo <erikd@mega-nerd.com>**20090831200858
4610 Ignore-this: 6c164d9132199127439906e54da0cca2
4611 
4612 Also move test/Broken-skip/T1-CurryUnboxed to test/01-Error/60-ToSea/T1-CurryUnboxed
4613 and add an error.check file.
4614 
4615]
4616[Fix Int64 -> String conversions so it works on 32 and 64 bit systems.
4617Erik de Castro Lopo <erikd@mega-nerd.com>**20090831094331
4618 Ignore-this: 5add4e9078a558600d86baec9179409b
4619]
4620[Add preliminary tests for Int64 and Float64.
4621Erik de Castro Lopo <erikd@mega-nerd.com>**20090829234221
4622 Ignore-this: 257a2d7e3ba8ea0235e1d7cf3fcc7e55
4623]
4624[Add primtive operations (+,-,* etc) on Int64 and Float64.
4625Erik de Castro Lopo <erikd@mega-nerd.com>**20090829232334
4626 Ignore-this: aad927def464168361f4f8cb2dc10e03
4627]
4628[Add library support for Int64 and Float64.
4629Erik de Castro Lopo <erikd@mega-nerd.com>**20090829231642
4630 Ignore-this: 97ecd42c6dd5cd0edcb2ed921702bc23
4631]
4632[Add runtime handling for Int64 and Float64.
4633Erik de Castro Lopo <erikd@mega-nerd.com>**20090829223910
4634 Ignore-this: 56b82405bf4c11569bd724f6478e5c39
4635]
4636[Add check file for #92
4637Ben.Lippmeier@anu.edu.au**20090827131331
4638 Ignore-this: d4da98d690a8529d392e85a6f546e53b
4639]
4640[Rover: clean up code now that #56 is sorted
4641Ben.Lippmeier@anu.edu.au**20090827043220
4642 Ignore-this: c79cb85f9d7238ab6303726d1b754993
4643]
4644[Fix #56: This was another case of class instances not being checked against their defs
4645Ben.Lippmeier@anu.edu.au**20090827042248
4646 Ignore-this: 86438df9b2f130af05316ebaee5af210
4647]
4648[Fix #92: Give a sensible error message when defining an instance of an unknown type class
4649Ben.Lippmeier@anu.edu.au**20090827040518
4650 Ignore-this: bc15f511e42f61a69db7aa3e3eb6163c
4651]
4652[Add test for a type var defaulting problem
4653Ben.Lippmeier@anu.edu.au**20090827033846
4654 Ignore-this: 49b46398dcf83e9fa54f144b4cce8184
4655]
4656[Fix #68: Give proper error message when there are region/effect/closure vars in value expressions
4657Ben.Lippmeier@anu.edu.au**20090827033426
4658 Ignore-this: 13cb7386190a4667d30488aceef480f
4659]
4660[Clean up RenamerM and add comments
4661Ben.Lippmeier@anu.edu.au**20090827015908
4662 Ignore-this: 900b19180df4313e889b7bbbd0b11996
4663]
4664[* #60 Desugar bindings against boxed literals into calls of Class.Eq.(==).
4665Richard Smith <richard-ddc@metafoo.co.uk>**20090827005840
4666 Ignore-this: 30dca21477b23980ec04f6a29e574ff8
4667]
4668[#55 Combine function bindings in projection dictionaries
4669Amos Robinson <amos.robinson@gmail.com>**20090827005316
4670 Ignore-this: e81ba6d23c1bf59bcf3fcf54a877e2cc
4671]
4672[Remove old Graphics check files.
4673Ben.Lippmeier@anu.edu.au**20090826015727
4674 Ignore-this: 67ae08975bcadfb6bca5a66770c5b1ff
4675 The file sizes are really too big to want to keep around.
4676 We'd be better off just keeping a hash instead of the whole output.
4677]
4678[Fix build if _eval*_* aren't inlined (for instance, when building with -g)
4679Richard Smith <richard-ddc@metafoo.co.uk>**20090820211141
4680 Ignore-this: f3f3dbb7cae4a7e3d1105fc3cdca5424
4681                                                                             
4682 C99 by default requires a separate out-of-line copy of inline functions if 
4683 they happen to not be inlined. Since _eval*_* are only used in one         
4684 translation unit, we may as well mark them 'static inline' to avoid this.
4685 
4686 Without this, BUILDFLAVOUR = devel_prof doesn't work for me.
4687]
4688[Runtime : Use symbolic names in objDump code.
4689Erik de Castro Lopo <erikd@mega-nerd.com>**20090823094121
4690 Ignore-this: 30dd7e0023f3f37df1330c6c00d3d04f
4691]
4692[Adjust coding style and add comments
4693Ben.Lippmeier@anu.edu.au**20090823064044
4694 Ignore-this: cbc4e03e3fbe3d8be2e389b8017fb88b
4695]
4696[Runtime : Improvements to objDump.
4697Erik de Castro Lopo <erikd@mega-nerd.com>**20090822224647
4698 Ignore-this: 6faf4d707a675da9e2ad37d5cfbd52cf
4699 
4700 Make objDump only dump a single object.
4701 Add objDumpGraph which dumps a graph of objects.
4702 Modify both so that they take a FILE* parameter specifying where to dump.
4703]
4704[Runtime : Add function objDump to help debugging runtime.
4705Erik de Castro Lopo <erikd@mega-nerd.com>**20090822112553
4706 Ignore-this: 9b2cb73c842befda85d98700f145c934
4707]
4708[Data.List.rangeInt for [n..m] where n > m should return [].
4709Erik de Castro Lopo <erikd@mega-nerd.com>**20090821215826
4710 Ignore-this: 6a715a2ec7a4cfb196babbe35cffd20
4711 
4712 Behave the same way as Haskell.
4713]
4714[Parser : Refactor type parser removing Parsec.try where possible.
4715Erik de Castro Lopo <erikd@mega-nerd.com>**20090821212818
4716 Ignore-this: f88cd49c2bdcc2f683591f6bd44312cb
4717]
4718[Parser : Refactor pattern parser (now Parsec.try free).
4719Erik de Castro Lopo <erikd@mega-nerd.com>**20090821125100
4720 Ignore-this: f2a998a496880666f584ffaf7a263220
4721]
4722[Parser : Use Parsec.option and Parsec.optionMaybe where appropriate.
4723Erik de Castro Lopo <erikd@mega-nerd.com>**20090821122509
4724 Ignore-this: bd4a83299b9a752e2362a549283ec874
4725]
4726[Fix patch conflicts
4727Ben.Lippmeier@anu.edu.au**20090821081317
4728 Ignore-this: e9afbd46ce3090a992f35be557ffa8af
4729]
4730[Add superkind type
4731Ben.Lippmeier@anu.edu.au**20090821080942
4732 Ignore-this: fb883f3a38473a95545017fb4edaf56e
4733]
4734[Define KiCon to represent kind constructors seprately from the Kind data type
4735Ben.Lippmeier@anu.edu.au**20090821041104
4736 Ignore-this: b37594f6735b6a26c401d66a95a48819
4737]
4738[Rename KFetter to KWitness.
4739Ben.Lippmeier@anu.edu.au**20090821033704
4740 Ignore-this: d8565173f21b2771bd804312acc34bbc
4741 We're using the word "fetter" to mean a general constraint on a type,
4742 be it an effect constraint or a type class context.
4743 
4744 A kind level expression like (Mutable %r1) now has the kind "+" (KWitness)
4745]
4746[Library improvements to length, charListOfString and read_file
4747Richard Smith <richard-ddc@metafoo.co.uk>**20090820234652
4748 Ignore-this: 138a1dc6c359f8305a76ad16601f7880
4749 
4750 length:
4751   Replaced length and lengthR with a pure tail-recursive version. In my
4752   profiling this is faster than the previous length implementation (using
4753   mutable state), and it doesn't tag the result's region as Mutable.
4754 
4755 charListOfString:
4756   charListOfFlatString now runs in constant stack space, rather than stack
4757   space linear in the size of the string.
4758 
4759 read_file:
4760   No longer returns Nothing when reading an empty file. Instead, Just ""
4761   is returned. No longer hits a pattern match error on an absent file.
4762   Instead, Nothing is returned. Plus test.
4763]
4764[Add a 'devel_debug' build flavour, for tracking down bugs in the runtime.
4765Richard Smith <richard-ddc@metafoo.co.uk>**20090820211551
4766 Ignore-this: 5e9beb8b61104816469365ce374ea108
4767]
4768[Fix #104 : Renamer problem with class functions
4769Erik de Castro Lopo <erikd@mega-nerd.com>**20090819203428
4770 Ignore-this: 9bfbf7cdfbda74d1848c4ddd6879c25
4771 
4772 Debugging and patch provided by Amos Robinson.
4773 Test from the bugtracker added as test/14-Desugar/T104-Renamer.
4774]
4775[Refactor Module parser.
4776Erik de Castro Lopo <erikd@mega-nerd.com>**20090819110542
4777 Ignore-this: 14d6c3a654bc3f1a1ac7ba19054e7159
4778]
4779[Rename test from old issue tracker
4780Ben.Lippmeier@anu.edu.au**20090819005802
4781 Ignore-this: 600e745de3c0cfec4ac58df1d5f2c8bc
4782]
4783[Add test for parsing of unary negation
4784Ben.Lippmeier@anu.edu.au**20090819005650
4785 Ignore-this: 3bb2463d1f8eae66999e28dfdfb3987f
4786]
4787[Runtime: reformat some and add comments
4788Ben.Lippmeier@anu.edu.au**20090818114536
4789 Ignore-this: 3c3a99168d72d9542d5ecc18fa9235d
4790]
4791[More refactoring to remove Parsec.try.
4792Erik de Castro Lopo <erikd@mega-nerd.com>**20090818110816
4793 Ignore-this: 16af9ab6f93f130c601b8ca3b90d621f
4794]
4795[Add parser list comprehension test and rearrange.
4796Erik de Castro Lopo <erikd@mega-nerd.com>**20090818095013
4797 Ignore-this: 460974001773276f13e337dc2a283c58
4798]
4799[Runtime: rename the Susp object to SuspIndir to reflect that it can also represent an indirection
4800Ben.Lippmeier@anu.edu.au**20090818110742
4801 Ignore-this: f2a360b4eca9da87ec3a4d4d0c176c5b
4802]
4803[Runtime: add comments to Macros.h
4804Ben.Lippmeier@anu.edu.au**20090818105357
4805 Ignore-this: dd094024424574056541146659b56307
4806]
4807[Clean more in cleanRuntime
4808Ben.Lippmeier@anu.edu.au**20090818104511
4809 Ignore-this: 6f319b06e568459dab82dd6806e43c2e
4810]
4811[Runtime: move object defs into Object.h and add comments
4812Ben.Lippmeier@anu.edu.au**20090818103429
4813 Ignore-this: 8fe81d66a3d7ab9e405882398a02a2f9
4814]
4815[Reformat some runtime modules and add comments
4816Ben.Lippmeier@anu.edu.au**20090817121949
4817 Ignore-this: 338ec0ca22f5199e374aa2b0c54ece48
4818]
4819[Remove old file
4820Ben.Lippmeier@anu.edu.au**20090817110832
4821 Ignore-this: de3f49fbde2498eb868125985631d886
4822]
4823[Clean up parsing of list comprehension production/qualifier/guard.
4824Erik de Castro Lopo <erikd@mega-nerd.com>**20090817134013
4825 Ignore-this: d7519f04dd44f55e9a88c226144a5317
4826 Add a list comprehension parser test.
4827]
4828[Refactor list expression parser to remove usage of Parsec.try.
4829Erik de Castro Lopo <erikd@mega-nerd.com>**20090817110416
4830 Ignore-this: 6cfe96ed473ee24df6f9a4df337704e0
4831 
4832 Parsec.try is problematic because:
4833 
4834  - The process of starting at the try, parsing forward, failing and then
4835    backtracking is slower than parsing with only a single token lookahead.
4836 
4837  - Using try means that any failure will backtrack to the inner most try
4838    which is not really where the parse failed. This means that Parsec will
4839    not be able to produce good parser error messages.
4840    For instance, with the old version of the parser, parsing:
4841 
4842       x = [ x + 2, y | x <- [ 1, 2, 3, 4 ]]
4843 
4844    would result in the list parser getting to the '|' token, failing and
4845    backtracking to the '=' token. When all other parser combinators also
4846    fail, the parser would flag an error at the '=' token.
4847    The try-less parser on the other hand would correctly flag the error at
4848    the '|' token.
4849 
4850 Above all, I do not believe that using try-less parsing makes the parser any
4851 more difficult to modify or extend. Quite the contrary, I beleive that the
4852 try-less parser is easier debug and easier to extend once the concepts of
4853 try-less parsing are understood.
4854]
4855[Add a list parser test.
4856Erik de Castro Lopo <erikd@mega-nerd.com>**20090817102451
4857 Ignore-this: e37435eef80fd32f48e53940c18247a8
4858]
4859[Refactor parser code putting single lookahead combinators ahead of Parsec.try
4860Erik de Castro Lopo <erikd@mega-nerd.com>**20090817084522
4861 Ignore-this: 3fba1580ee657670c3d7fd0d5acfe217
4862 combinators where possible.
4863]
4864[Int32 and Float32 only need 8 bytes in heap
4865Ben.Lippmeier@anu.edu.au**20090817034622
4866 Ignore-this: 8de9b3d01958b8e1f80a39c772bbc3b6
4867 Not sure why we were allocating 16 bytes before..
4868]
4869[Update contact details in error message
4870Ben.Lippmeier@anu.edu.au**20090816064539
4871 Ignore-this: 7161ce6faa628ba4015f7eda03edae32
4872]
4873[Add passing tests for bug #96.
4874Erik de Castro Lopo <erikd@mega-nerd.com>**20090816062626
4875 Ignore-this: 5e44acaecaf7c451c4535a9cfb0c2dcc
4876]
4877[Fixup uniqbinds for rangeIntStep, rangeIntStepL, rangeInfIntStepL
4878Ben.Lippmeier@anu.edu.au**20090816055539
4879 Ignore-this: d7f9b27b2231c19bb7617602ae79e38e
4880 The way primitive functions are handled is fairly nasty. It'd be
4881 good to have a better solution for the stuff in Shared.VarPrim
4882]
4883[Refactor Type.Util.Elaborate some.
4884Ben.Lippmeier@anu.edu.au**20090816051117
4885 Ignore-this: a1b525e836fcf6b367705c290fceacc1
4886]
4887[Expunge old Type.TMask and Type.TTag constructors
4888Ben.Lippmeier@anu.edu.au**20090816050256
4889 Ignore-this: df7ab4238650a518d7f365b10ca57b79
4890 Closure masking never really worked, and the code was buggy
4891 and complicated. Better to ditch it.
4892]
4893[Progress towards fixing #96.
4894Erik de Castro Lopo <erikd@mega-nerd.com>**20090816052806
4895 Ignore-this: 24101c987e57881f0c4d82aa83f2deb7
4896]
4897[Add function Data.List.rangeIntStep.
4898Erik de Castro Lopo <erikd@mega-nerd.com>**20090815114240
4899 Ignore-this: d35b2080e34203bd8061c32e97200ab8
4900]
4901[Update Data.List.rangeInt/rangeIntL to handle counting down eg [4 .. 1].
4902Erik de Castro Lopo <erikd@mega-nerd.com>**20090815054608
4903 Ignore-this: a30a1d68bb8188ac03837b2324b77112
4904]
4905[Update parser to handle [a, b .. c].
4906Erik de Castro Lopo <erikd@mega-nerd.com>**20090815042452
4907 Ignore-this: 865eab5e89f3b1d7149130001bbf8ccc
4908]
4909[Add extra field to XListRange to handle things like [a, b .. c].
4910Erik de Castro Lopo <erikd@mega-nerd.com>**20090815033827
4911 Ignore-this: 203b845450bab40630761a32f7bbf14
4912]
4913[src/Source/Parser/Exp.hs : Use Data.Maybe.isJust.
4914Erik de Castro Lopo <erikd@mega-nerd.com>**20090815030654
4915 Ignore-this: 34604d3b3bf8a7217757c5ba049ae5fc
4916]
4917[Add testcase for T104-ClassFnRenamerProblem
4918Ben.Lippmeier@anu.edu.au**20090815085830
4919 Ignore-this: e006e9dde56e425bb9b9cf2144201562
4920]
4921[Add better panic message
4922Ben.Lippmeier@anu.edu.au**20090815072244
4923 Ignore-this: 949cc44f327673e72febbbd5e794ede0
4924]
4925[Fix #84: LateExport / regeneralisation check
4926Ben.Lippmeier@anu.edu.au**20090814124744
4927 Ignore-this: d1e6e5c7ae5ac993b5f2b381362aecc3
4928 This test is fixed, the but the closure trimming stuff is still
4929 a mess and needs to be rewritten.
4930]
4931[Finalize fix for #103 with a test.
4932Erik de Castro Lopo <erikd@mega-nerd.com>**20090813104527
4933 Ignore-this: a930bc18af20634e43217318e8dad80a
4934]
4935[Add a cleanLibrary make target.
4936Erik de Castro Lopo <erikd@mega-nerd.com>**20090813081038
4937 Ignore-this: cdb7c9785f1e360331f7e50bc9ab91a4
4938]
4939[Partial fix for #103: Allow multiple vars in Source.Exp.Stmt.SSig
4940Ben.Lippmeier@anu.edu.au**20090813062540
4941 Ignore-this: 7ec737f8a9cb476409898d9a8286da20
4942]
4943[Fix #97: May be working around a bug in Alex.
4944Erik de Castro Lopo <erikd@mega-nerd.com>**20090810102304
4945 Ignore-this: 51b4f19fa93202ab91c62bf1d7d607f6
4946]
4947[Use ISO C uint*_t types instead of POSIX u_init*.t types.
4948Erik de Castro Lopo <erikd@mega-nerd.com>**20090805034911
4949 Ignore-this: 95cf75de55b0b04ddb7207644592ca2d
4950]
4951[Move broken test to test/Broken-skip. I moved the wrong one last time.
4952Ben.Lippmeier@anu.edu.au**20090809062835
4953 Ignore-this: e53fa9bea7bb14415e1d553eb6bfd31d
4954]
4955[Fix warnings
4956Ben.Lippmeier@anu.edu.au**20090809062507
4957 Ignore-this: 5a1a7b9beaa20c6ce12039d513f91d35
4958]
4959[Move known failing tests to test/Broken-skip
4960Ben.Lippmeier@anu.edu.au**20090805131025
4961 Ignore-this: 1427b02a6cef4d5d1d6c79b24531f4d1
4962]
4963[Don't check styrene test output, too much fp noise
4964Ben.Lippmeier@anu.edu.au**20090805034713
4965 Ignore-this: b23e32845133efa0bced5a88593c343e
4966]
4967[Provide more correct definition for primPtrVoid_null.
4968Erik de Castro Lopo <erikd@mega-nerd.com>**20090804134755
4969 Ignore-this: dddd6860f2efc63a8dcdcf003d97b38a
4970]
4971[Wibble in Styrene output
4972Ben.Lippmeier@anu.edu.au**20090804120320
4973 Ignore-this: 482ee9b0dc1ec1000afb5d22e5da27f4
4974]
4975[Fix #100: Type of main fn not being checked when module not called Main
4976Ben.Lippmeier@anu.edu.au**20090804120204
4977 Ignore-this: 9d785c26e0f106c0979bc02c9fd79973
4978]
4979[Add more Parsec <?> error handlers.
4980Erik de Castro Lopo <erikd@mega-nerd.com>**20090804090338
4981 Ignore-this: 83cc72dd224e8aa36674e014897e35bc
4982]
4983[Fix #95: Make parser accept lists with a single entry.
4984Erik de Castro Lopo <erikd@mega-nerd.com>**20090804090241
4985 Ignore-this: 39149c797ae7a60279f476b4d64c5363
4986]
4987[src/Source/Parser/ : Use Parec's <?> operator as first step in providing
4988Erik de Castro Lopo <erikd@mega-nerd.com>**20090803115108
4989 Ignore-this: e1c81ee6f3bea3dc58832e421d14e11e
4990 better parser error messages.
4991]
4992[Update error tests to match reorganisation
4993Ben.Lippmeier@anu.edu.au**20090803044239
4994 Ignore-this: c232cc974317da31c84522a4ccfbac84
4995]
4996[Reorganise error tests
4997Ben.Lippmeier@anu.edu.au**20090803043245
4998 Ignore-this: 5e44471153b220244f781b47061c3346
4999]
5000[Fix #21: Don't allow tab characters in string literals
5001Ben.Lippmeier@anu.edu.au**20090803042724
5002 Ignore-this: 8160d7397b15768dc586f6df88e5f4b9
5003]
5004[wibble
5005Ben.Lippmeier@anu.edu.au**20090731160242
5006 Ignore-this: 9847f34e917cd0de1cc6622c31970ab4
5007]
5008[Fix #98: Support building of executables from source not called Main.ds
5009Ben.Lippmeier@anu.edu.au**20090731155942
5010 Ignore-this: 2c56dddf9927fb7cde2c9c87ff54cddc
5011]
5012[War2: format wibble
5013Ben.Lippmeier@anu.edu.au**20090731144444
5014 Ignore-this: 1cfb1926f4e868f2b6f092cbdad8761a
5015]
5016[War2: Refactor GetTests
5017Ben.Lippmeier@anu.edu.au**20090731141842
5018 Ignore-this: 6b662ae4ff79202bbb5696531ca6d5dd
5019]
5020[Remove some check files. Too much floating point noise
5021Ben.Lippmeier@anu.edu.au**20090731141808
5022 Ignore-this: c156ce3873d37fc29d775e364af482c5
5023]
5024[War2: Refactor GetTests
5025Ben.Lippmeier@anu.edu.au**20090731140321
5026 Ignore-this: 57a012dac37e75bda7e6bb6b04605663
5027]
5028[War2: Fix cleaning again
5029Ben.Lippmeier@anu.edu.au**20090731133112
5030 Ignore-this: 4f92cee2f018d804ccbebcfef8331c4b
5031]
5032[War2: Refactor GetTests
5033Ben.Lippmeier@anu.edu.au**20090731132355
5034 Ignore-this: 291243643cae0f026713d61b477cc6af
5035]
5036[War2: name ways like opt-normal instead of opt.normal
5037Ben.Lippmeier@anu.edu.au**20090731122506
5038 Ignore-this: de122464cd29a64b17bfb97ff882934e
5039]
5040[War2: Show way in list of failed tests
5041Ben.Lippmeier@anu.edu.au**20090731122414
5042 Ignore-this: 2a2b6a5b820dcba8a7c96f24175d3ef
5043]
5044[War2: change arg format slightly
5045Ben.Lippmeier@anu.edu.au**20090731112648
5046 Ignore-this: 676da2ccbff4d68497331ac8a5cd1b6c
5047]
5048[Move Rover demo to test dir and follow changes in graphics libs
5049Ben.Lippmeier@anu.edu.au**20090731111232
5050 Ignore-this: b4775f76f745e7f0e22b779bee8e0611
5051]
5052[Move Graphics demos to test dir, so they're always run
5053Ben.Lippmeier@anu.edu.au**20090731103201
5054 Ignore-this: 52925f624d2b0f94d640ad5472273431
5055]
5056[Change graphics demos so they can dump their output as a PPM to the console
5057Ben.Lippmeier@anu.edu.au**20090731102034
5058 Ignore-this: b7ba9a7a281345d1358a54cf64214b05
5059 We want this so the buildbot can run them each night
5060]
5061[War2: fix pretty printing of times
5062Ben.Lippmeier@anu.edu.au**20090731074930
5063 Ignore-this: 6dd7487dd2ee527561a5de1d99f937d3
5064]
5065[War2: remove unused size output
5066Ben.Lippmeier@anu.edu.au**20090731072340
5067 Ignore-this: 52d5a6a2b93296a969296629a3ef830c
5068]
5069[remove old out.check files
5070Ben.Lippmeier@anu.edu.au**20090731071450
5071 Ignore-this: f547c97a3b540b98f74ceabc1c205a53
5072]
5073[War2: Add cleaning up after testing
5074Ben.Lippmeier@anu.edu.au**20090731071341
5075 Ignore-this: e32bfea3a54c829144f97b19ea2c9e79
5076]
5077[War2: Add support for compiling and running with different ways
5078Ben.Lippmeier@anu.edu.au**20090731065213
5079 Ignore-this: 6d086369256ce16ff8ea51fe003d5760
5080]
5081[Add parsing of escape options like +RTS and +WAY
5082Ben.Lippmeier@anu.edu.au**20090731043839
5083 Ignore-this: 713c995e917ef19fd068bed772aaa96d
5084]
5085[War2: Follow changes in options parsing
5086Ben.Lippmeier@anu.edu.au**20090731040844
5087 Ignore-this: 89dbca647c89acba8aa4b71bd7ddfca6
5088]
5089[Fix #94: Accept "ddc Main.ds -o main" with no --make flag
5090Ben.Lippmeier@anu.edu.au**20090731040128
5091 Ignore-this: 37c70b40255efe2376932a7859309cb9
5092]
5093[Refactor options parser
5094Ben.Lippmeier@anu.edu.au**20090731034835
5095 Ignore-this: 74ed7d03f3f1013aaf614bf0e975c2db
5096]
5097[Break up option parser and add comments
5098Ben.Lippmeier@anu.edu.au**20090731023245
5099 Ignore-this: e6101b46069bc4873f6311cb21c1d65d
5100]
5101[War2: wibble
5102Ben.Lippmeier@anu.edu.au**20090730062533
5103 Ignore-this: 463e38de956665d2a38fdc1f52f67c77
5104]
5105[Fix T93: Reject file names with symbols in them
5106Ben.Lippmeier@anu.edu.au**20090730061233
5107 Ignore-this: bef37e91479baa5c47843c6398272b88
5108]
5109[Fix test Library/File
5110Ben.Lippmeier@anu.edu.au**20090729113536
5111 Ignore-this: 4e1c43fa3baa53f5a5e3fedc0aa0d8a9
5112]
5113[War2: format wibble
5114Ben.Lippmeier@anu.edu.au**20090729072402
5115 Ignore-this: c62e9b2f1550fd734f8c92254ec01a61
5116]
5117[wibble
5118Ben.Lippmeier@anu.edu.au**20090729054636
5119 Ignore-this: 6183889cbfd65d237e69d51c65c321a7
5120]
5121[War2: Add logging of test failures to file
5122Ben.Lippmeier@anu.edu.au**20090729053809
5123 Ignore-this: b160f1dcf2c5c1352f738584f3a73090
5124]
5125[War2: Split GetTests into its own module
5126Ben.Lippmeier@anu.edu.au**20090729050001
5127 Ignore-this: ff5f487813b4956319b520ef674cfd98
5128]
5129[War2: Don't use color or prompt the user in batch mode
5130Ben.Lippmeier@anu.edu.au**20090729042854
5131 Ignore-this: dee77e474f1b992d795dbcdda844abb8
5132]
5133[Document why we want  make deps ; make   in Makefile
5134Ben.Lippmeier@anu.edu.au**20090724084803
5135 Ignore-this: 4a1359f962d8dc80c955c080c9b19096
5136]
5137[Make war2 more liberal about a trailing slash.
5138Ben Sinclair <ben.d.sinclair@gmail.com>**20090723124436
5139 Ignore-this: fe5912e2097f59e5596e33dee310841f
5140 
5141 System.Directory.canonicalizePath is used so it's possible it could rewrite a
5142 path to an unexpected form and mismatch with the test stdout/err logs.
5143]
5144[Add test and demo targets to the makefile
5145Ben.Lippmeier@anu.edu.au**20090723122252
5146 Ignore-this: 101c17baf7737a423c565773112ac466
5147]
5148[this time for sure..
5149Ben.Lippmeier@anu.edu.au**20090723121520
5150 Ignore-this: 2d0c4f41efed23f5e8f90aa422d92768
5151]
5152[Add doc target back to makefile
5153Ben.Lippmeier@anu.edu.au**20090723121236
5154 Ignore-this: c55bbbb75343b13cca1aa595653b3e1b
5155]
5156[Include make/config-override.mk (if present) from make/config.mk to allow TARGET/BUILDFLAVOUR/GHC to be overridden.
5157Erik de Castro Lopo <erikd@mega-nerd.com>**20090723114932
5158 Ignore-this: dd67901ec61b4ef8ce83c77cf718e34e
5159]
5160[Restore configurator thing in Makefile
5161Ben.Lippmeier@anu.edu.au**20090723114109
5162 Ignore-this: bc0cce0bf2b9e8f7ac2ceb5d98b0acc5
5163]
5164[Fix up Makefile
5165Ben.Lippmeier@anu.edu.au**20090723110418
5166 Ignore-this: 134ff98a78beeb1418c10d740e74f4a0
5167  - remove old junk
5168  - don't debuild deps when cleaning
5169  - fix deps for runtime system
5170  - auto-build DDC base libraries
5171]
5172[Autodetect works, so rename make/config.mk.sample -> make/config.mk.
5173Erik de Castro Lopo <erikd@mega-nerd.com>**20090723111702
5174 Ignore-this: 98ef603a3aff133f87628ff6285c6072
5175]
5176[make/config.mk.sample : Auto detect OS and CPU.
5177Erik de Castro Lopo <erikd@mega-nerd.com>**20090723110327
5178 Ignore-this: 9cb63f15e94637edbd65eac710960ee9
5179]
5180[TinyPTC : Comment out unneeded/unused #pragma.
5181Erik de Castro Lopo <erikd@mega-nerd.com>**20090723104035
5182 Ignore-this: 321d0c10d1e4cd0d5408777c6c59fb
5183]
5184[Running bin/ddc --test now runs embedded quick checks
5185Ben.Lippmeier@anu.edu.au**20090714154242
5186 Ignore-this: c8fb48732cbce45937f9f143f1dd2e24
5187]
5188[cleanup
5189Ben.Lippmeier@anu.edu.au**20090714145720
5190 Ignore-this: 3bddaea900e0704478d974c8a8acc438
5191]
5192[Splitup list utils and add tests
5193Ben.Lippmeier@anu.edu.au**20090714145145
5194 Ignore-this: 2f6b008172a0c61b1755ecd2c8c4abe5
5195]
5196[Start adding quickcheck tests
5197Ben.Lippmeier@anu.edu.au**20090714135103
5198 Ignore-this: 2dd1d1ccf1dd6428045f7844d52ac57e
5199]
5200[Update INSTALL to point to the development wiki.
5201Ben.Lippmeier@anu.edu.au**20090723070431
5202 Ignore-this: 476d08b2c746565797a96cd53d99a8e
5203]
5204[Use UNUSED macro as needed.
5205Erik de Castro Lopo <erikd@mega-nerd.com>**20090722123646
5206 Ignore-this: 71105122fd8e4e735d0f455669282909
5207]
5208[runtime/Profile.c : Remove dead code.
5209Erik de Castro Lopo <erikd@mega-nerd.com>**20090722123436
5210 Ignore-this: 66d124985017cd02974bdec1f0e3985e
5211]
5212[Add file runtime/Util.h which allows function parameters to be marked as UNUSED and not be flagged as a warning.
5213Erik de Castro Lopo <erikd@mega-nerd.com>**20090722101958
5214 Ignore-this: d557b9d49d240c82110963c92cee2569
5215]
5216[runtime/Main.c : Fix warnings in initialisation of flagNames.
5217Erik de Castro Lopo <erikd@mega-nerd.com>**20090722093944
5218 Ignore-this: 89573ee2e16a8eabe15c435f80c68867
5219]
5220[Add  -Wall -Wexta to GCC_FLAGS in devel mode.
5221Erik de Castro Lopo <erikd@mega-nerd.com>**20090722085337
5222 Ignore-this: dca6e8bca7ddc157fbe15de8e4fa6603
5223]
5224[Fix snprintf format string.
5225Erik de Castro Lopo <erikd@mega-nerd.com>**20090722075320
5226 Ignore-this: 374d2c378e90313ed44bb02f7e3a6ce2
5227]
5228[Updated doc/HACKING for war2
5229Ben Sinclair <ben.d.sinclair@gmail.com>**20090722072822
5230 Ignore-this: 460fa911d434b65c25d536fa95ae479f
5231]
5232[Comment wibbles for haddock
5233Ben Sinclair <ben.d.sinclair@gmail.com>**20090709124824
5234 Ignore-this: 259d899e47d1c3a1bd9c83416fdcb003
5235]
5236[Fix format specifier for Word64 on LLP64 archiectures.
5237erikd@mega-nerd.com**20090722051103
5238 Ignore-this: a27e1019c4810db7849a2977bc8614d6
5239]
5240[Remove bogus import
5241Ben.Lippmeier@anu.edu.au**20090721082308
5242 Ignore-this: 36cbe18e91121c7dcfc54a84aa599e04
5243]
5244[Update INSTALL instructions to follow changes in build process
5245Ben.Lippmeier@anu.edu.au**20090721061912
5246 Ignore-this: dbb3f08ba1e354e355fefbea71f2f7d2
5247]
5248[Move file path handing stuff into utils dir
5249Ben.Lippmeier@anu.edu.au**20090627143211
5250 Ignore-this: 144e68b526801cb88b1af770ecd0ce4d
5251]
5252[Move modules around and clean up
5253Ben.Lippmeier@anu.edu.au**20090627131425
5254 Ignore-this: 720ed21cfda6a9d2a3602d0dd1e7c83d
5255]
5256[remove old comments
5257Ben.Lippmeier@anu.edu.au**20090627120004
5258 Ignore-this: 841954cecd363bac1ac5868200c7ce07
5259]
5260[Add missing test
5261Ben.Lippmeier@anu.edu.au**20090627114011
5262 Ignore-this: 18dabcc4cd3dcf1142c8970e4bdf7489
5263]
5264[War: add interactive accepting of diffs
5265Ben.Lippmeier@anu.edu.au**20090627091203
5266 Ignore-this: 46939bf98dd10555cc7c40a3f98bfb91
5267]
5268[War: check existing files when doing diff
5269Ben.Lippmeier@anu.edu.au**20090627082052
5270 Ignore-this: 8e2c111cd491f6fedff279a4ae48f394
5271]
5272[War: add diff test
5273Ben.Lippmeier@anu.edu.au**20090627074035
5274 Ignore-this: 6e5b91735b5816843265625284c8ddc2
5275]
5276[War: add checking for compile errors
5277Ben.Lippmeier@anu.edu.au**20090627072209
5278 Ignore-this: f29348d2515ada90b930db51c29447e
5279]
5280[War: rename modules
5281Ben.Lippmeier@anu.edu.au**20090627063107
5282 Ignore-this: 827a891a64352b7aab45eb832c7b6245
5283]
5284[War: wait for running jobs to finish on interrupt
5285Ben.Lippmeier@anu.edu.au**20090627051754
5286 Ignore-this: d3c78c511228d3a35cf9521eab8125f
5287]
5288[War: adjust output colors to look better on black and white backgrounds
5289Ben.Lippmeier@anu.edu.au**20090627045840
5290 Ignore-this: 353b67be4297fea7b73798b4eff8ae71
5291]
5292[War: add missing files, order tests
5293Ben.Lippmeier@anu.edu.au**20090626160905
5294 Ignore-this: 63de237ae322bdb8b942e0b600e0d1d1
5295]
5296[War: rejig dispatcher setup
5297Ben.Lippmeier@anu.edu.au**20090626135511
5298 Ignore-this: d0c011ab93935b70a8fc4de04bd98a12
5299]
5300[War: use a state monad for the dispatcher
5301Ben.Lippmeier@anu.edu.au**20090626134603
5302 Ignore-this: 3f2a83d993036019342e96f18c51ee36
5303]
5304[War: shift thread setup into Dispatch module
5305Ben.Lippmeier@anu.edu.au**20090626131444
5306 Ignore-this: 9c1e2cf3f65295be853ae81fb287b310
5307]
5308[War: Genericify dispatcher and move into own module
5309Ben.Lippmeier@anu.edu.au**20090626130621
5310 Ignore-this: 23aa9916ff1e6afdd09fe176182a22de
5311]
5312[War: refactor
5313Ben.Lippmeier@anu.edu.au**20090626123018
5314 Ignore-this: 830a184d49f441830269f33d137850fe
5315]
5316[War: basic testing works
5317Ben.Lippmeier@anu.edu.au**20090626122057
5318 Ignore-this: 6d2f174ab683b55eac24161cb9870774
5319]
5320[War: rename graphs to be more like sets
5321Ben.Lippmeier@anu.edu.au**20090626113503
5322 Ignore-this: d9ed28d4ce048b31137ed54a66efabb3
5323]
5324[War: Move graph modules into dispatch tree
5325Ben.Lippmeier@anu.edu.au**20090626112729
5326 Ignore-this: 13ef0f986cb13c40da29e73736808c58
5327]
5328[War: Genericify dispatch workers
5329Ben.Lippmeier@anu.edu.au**20090626112349
5330 Ignore-this: d24f55079072b343bfbed368151050c2
5331]
5332[War: Reorganise test module hierarchy
5333Ben.Lippmeier@anu.edu.au**20090626110638
5334 Ignore-this: 335eb8950f67f130de4d028a2c83e7f2
5335]
5336[War: add missing source files
5337Ben.Lippmeier@anu.edu.au**20090626081312
5338 Ignore-this: c6bd64dd22e38f5742988aab5a4e0ed0
5339]
5340[War: working on concurrency
5341Ben.Lippmeier@anu.edu.au**20090626081244
5342 Ignore-this: fbfc5b0fddb9b3ffe83797fe2c6aa2e2
5343]
5344[War: colorise test results
5345Ben.Lippmeier@anu.edu.au**20090626053226
5346 Ignore-this: 4c0fb911f9b9f3908adb7055858ed24e
5347]
5348[Update VT100 module
5349Ben.Lippmeier@anu.edu.au**20090626051936
5350 Ignore-this: ebf4771408410fad988262452fddd556
5351]
5352[War: if tests win then try to run their children next
5353Ben.Lippmeier@anu.edu.au**20090626051755
5354 Ignore-this: 1d76f448c44bd135507eed8c22c99fea
5355]
5356[War: ignore tests who's parents failed
5357Ben.Lippmeier@anu.edu.au**20090626035618
5358 Ignore-this: 6eaa445376934eff79df037564385950
5359]
5360[wibble
5361Ben.Lippmeier@anu.edu.au**20090625125436
5362 Ignore-this: fe2c146ec800259c17ae66ace02cd283
5363]
5364[Add removing nodes from work graph
5365Ben.Lippmeier@anu.edu.au**20090625125124
5366 Ignore-this: 5b2ce0cfd193ddce981d75e51a3726f3
5367]
5368[Start on new war driver
5369Ben.Lippmeier@anu.edu.au**20090625094450
5370 Ignore-this: f1af210f85e726b3851103bf5584afcc
5371]
5372[Fix parsing of contexts to match grammar on wiki
5373Ben.Lippmeier@anu.edu.au**20090625030806
5374 Ignore-this: 9d4554eaaed6b4c335d762c0f5231130
5375]
5376[Fix comment
5377Ben.Lippmeier@anu.edu.au**20090625015834
5378 Ignore-this: afc35b60d7e184c324096ad476f924e2
5379]
5380[Add a test for #78: Renamer problems with data decls
5381Ben.Lippmeier@anu.edu.au**20090625015805
5382 Ignore-this: 2f9dcaeb471d7deacf46d51ed3b238da
5383]
5384[Add missing test to VCS
5385Ben.Lippmeier@anu.edu.au**20090624053519
5386 Ignore-this: be066a7fbc3e12fef63d4ede503bfe3e
5387]
5388[Force parser and lexer to be compiled with optimisations on
5389Ben.Lippmeier@anu.edu.au**20090624053414
5390 Ignore-this: db949a8b931d4e4d94228aa213662ada
5391 Even when doing an "unoptimised" development build, we want to
5392 optimise these modules, otherwise everything runs too slow.
5393]
5394[Fix #59 Handle comments properly when scraping module imports
5395Ben.Lippmeier@anu.edu.au**20090624053251
5396 Ignore-this: 1b6f91a77e3ec85e062be1b93979256e
5397]
5398[Fix #62 Desugaring of field initializers
5399Ben.Lippmeier@anu.edu.au**20090624045204
5400 Ignore-this: 6e1f248e6bfdba6519e065f9373e7891
5401 
5402 Make sure to snip out plain ctors. They're not regular vars.
5403]
5404[Fix #65 Parsing problems with where and irrefutable patterns
5405Ben.Lippmeier@anu.edu.au**20090624042336
5406 Ignore-this: 1bae0465e34f7a33d119d05e97971ef2
5407]
5408[Follow test output
5409Ben.Lippmeier@anu.edu.au**20090622135646
5410 Ignore-this: 4fb5a8565fc4dac4287306077a098c38
5411]
5412[Fix #65 Parsing problems with irrefutable patterns
5413Ben.Lippmeier@anu.edu.au**20090622133806
5414 Ignore-this: 2da69fbd0530683d916b2164193c6ab6
5415]
5416[Fix #66 Parsing and printing of Bot for effects and closures
5417Ben.Lippmeier@anu.edu.au**20090622130345
5418 Ignore-this: 416a1a119dd3003ffea905aef3a1789a
5419]
5420[Rename tests that don't define a toplevel main function
5421Ben.Lippmeier@anu.edu.au**20090622120819
5422 Ignore-this: 9ab95e079d62424a9d508ee675b89e08
5423]
5424[Add test for failing #66, handling of bot effects and closures
5425Ben.Lippmeier@anu.edu.au**20090622092331
5426 Ignore-this: 2ded645e17e25e4c68ad088292aa067a
5427]
5428[Add missing case when checking for main function
5429Ben.Lippmeier@anu.edu.au**20090622091850
5430 Ignore-this: 56a94b384014285f87d53ae3f7823f56
5431]
5432[Add docs
5433Ben.Lippmeier@anu.edu.au**20090622091347
5434 Ignore-this: 7b5e9be8f636318075cd4e84cc003259
5435]
5436[Split out GraphScrape into its own module
5437Ben.Lippmeier@anu.edu.au**20090622091237
5438 Ignore-this: 53e94efbaea15dbb9e8eeabd13d6720b
5439]
5440[Remove empty module
5441Ben.Lippmeier@anu.edu.au**20090622090932
5442 Ignore-this: a5ca0ae463fb07170be6c6d03f7e07b0
5443]
5444[Don't try to link a binary if we're not compiling the Main module
5445Ben.Lippmeier@anu.edu.au**20090622090220
5446 Ignore-this: c9b264c6c2546e915067b3b9915e1bec
5447 
5448 This lets us do  ddc -make Module.ds, where Module.ds isn't the
5449 main module.
5450]
5451[Give an error if the Main module does not define the main function
5452Ben.Lippmeier@anu.edu.au**20090622085326
5453 Ignore-this: 636c125dfc0abae656d5e95dd312538e
5454]
5455[Fix #61, desugaring pattern matches with guards
5456Ben.Lippmeier@anu.edu.au**20090622080532
5457 Ignore-this: d4e5f5d1e2152d394776aa07cf00f282
5458]
5459[Add test for trac 77
5460Ben.Lippmeier@anu.edu.au**20090514101126
5461 Ignore-this: a0849dff4d844ed1c430a013ab8b176a
5462]
5463[Add tests for trac 64, 65, 72, 73, 75
5464Ben.Lippmeier@anu.edu.au**20090514035626
5465 Ignore-this: 53f431cd515bb033613eb22d6408233e
5466]
5467[Add tests for TRAC 50, 55, 58, 59, 60, 61, 62
5468Ben.Lippmeier@anu.edu.au**20090513063950
5469 Ignore-this: 2a795f19cd4c1914fabbacfc85e0c559
5470]
5471[Add tests for TRAC 33, 42, 44, 45
5472Ben.Lippmeier@anu.edu.au**20090513041053
5473 Ignore-this: 69fced46150965d69257e1fa93bad30
5474]
5475[Add tests for T1, T2, T7. Issues moved to trac.haskell.org.
5476Ben.Lippmeier@anu.edu.au**20090512114713
5477 Ignore-this: cafb75d0e1c16fe9704def4fabb42ac
5478]
5479[clean out ancient junk from test/Broken-skip
5480Ben.Lippmeier@anu.edu.au**20090512090057
5481 Ignore-this: c9ac0e7ec6378cc284ca55be8fdeb4d9
5482]
5483[Add test from thesis
5484Ben.Lippmeier@anu.edu.au**20090511092727
5485 Ignore-this: 79923e2575bca7b7b5948d8ae091779f
5486]
5487[Remove unused module
5488Ben.Lippmeier@anu.edu.au**20090425130758
5489 Ignore-this: a9a7c4dafb1b5cb65100a680f2109f68
5490]
5491[Add code documentation
5492Ben.Lippmeier@anu.edu.au**20090425130634
5493 Ignore-this: e41b0679ed62cacbd5098cf660f10170
5494]
5495[wibble
5496Ben.Lippmeier@anu.edu.au**20090425120141
5497 Ignore-this: 122b34a8e29fe8b815a9c394b2de80a8
5498]
5499[reformatting only
5500Ben.Lippmeier@anu.edu.au**20090425115936
5501 Ignore-this: f1def50f072559a1b6f980632f67e408
5502]
5503[Fix more of #145, desugaring of list patterns
5504Ben.Lippmeier@anu.edu.au**20090425115638
5505 Ignore-this: 38a1857f5d4b5db08608e69174a4a124
5506]
5507[war: always build System.Environment
5508Ben.Lippmeier@anu.edu.au**20090406130614
5509 Ignore-this: bbeeeed4578ac46bde2a08839d96247
5510]
5511[Add test for part of #145
5512Ben.Lippmeier@anu.edu.au**20090406125833
5513 Ignore-this: a4e849152aef9ec60fbd245132ee5c67
5514]
5515[Fix part of #145: Matching against literals
5516Ben.Lippmeier@anu.edu.au**20090406125240
5517 Ignore-this: 588a3a78ced62516b16317d4626f921c
5518 Still need to handle matching against literal boxed + unboxed strings
5519]
5520[wibble
5521Ben.Lippmeier@anu.edu.au**20090403075059
5522 Ignore-this: 7f17ca290543ad2d7b9afeb32843849
5523]
5524[test: Wadler style T monads, from "marriage of monads and effects"
5525Ben.Lippmeier@anu.edu.au**20090403074557
5526 Ignore-this: 6d45487d52d2c016ed7c38cda4999f56
5527]
5528[Add (broken) test of post-inference regeneralisation check
5529Ben.Lippmeier@anu.edu.au**20090325030337
5530 Ignore-this: e99bb95f0f42aac9920b2d12df21b43d
5531]
5532[Only record vars local to the module being compiled in stateGenDone
5533Ben.Lippmeier@anu.edu.au**20090325013452
5534 Ignore-this: 848f3b614e09fc160a228705fdc2a547
5535]
5536[Ensure contra-variance really doesn't matter
5537Ben.Lippmeier@anu.edu.au**20090325010851
5538 Ignore-this: 1daff40913a3ede761bc718ef063f628
5539]
5540[Add missing closure info to Data.Ref.#=
5541Ben.Lippmeier@anu.edu.au**20090325010825
5542 Ignore-this: 5a5fbda9b4888c2587de57e29fcac71e
5543]
5544[wibbles on demo/Parser
5545Ben.Lippmeier@anu.edu.au**20090325010653
5546 Ignore-this: 2b65a4b795d20a7629158b39359bdc
5547]
5548[Add doc/haddoc, and haddock wibbles
5549Ben.Lippmeier@anu.edu.au**20090303030051
5550 Ignore-this: 52d6dd344bec8ea7640e18597cbaca2a
5551]
5552[Fixed comments to make haddock glad.
5553Ben Sinclair <ben.d.sinclair@gmail.com>**20090302145842
5554 Ignore-this: af444726276054ee4c50d9a2279f40f
5555]
5556[Fix for 'make doc'
5557Ben Sinclair <ben.d.sinclair@gmail.com>**20090302143933
5558 Ignore-this: e26e3c262342839eaba774a406cde04a
5559]
5560[Add a test for nested comments
5561Ben.Lippmeier@anu.edu.au**20090303023750
5562 Ignore-this: 84fab6ef06a9abd8a2f2ea5769217ab
5563]
5564[Handle nested comments (closes #69)
5565Ben Sinclair <ben.d.sinclair@gmail.com>**20090302134456
5566 Ignore-this: 629c0e5c6841613b45ed94ec8408d9b
5567]
5568[Start fixing MaskFresh
5569Ben.Lippmeier@anu.edu.au**20090301073949
5570 Ignore-this: c02249667ea16ed34b759a67dd7d6fe9
5571]
5572[Reorganise applyTypeT so we can see when subsumption is really being used.
5573Ben.Lippmeier@anu.edu.au**20090301073838
5574 Ignore-this: 35f2367298bc8694da0edf367ab19d4
5575]
5576[Remove unused subsumption rules.
5577Ben.Lippmeier@anu.edu.au**20090301073622
5578 Ignore-this: 24fdc4c772d7b201326550e66401a245
5579 SubVarTrans handles both SubVar and SubTrans, but more efficiently.
5580 We don't need SubForall because the source language doesn't have
5581 impredicative polymorphism.
5582]
5583[Core pretty printer wibble
5584Ben.Lippmeier@anu.edu.au**20090301052214
5585 Ignore-this: 3188ae91566166c0bdfba90d495710a3
5586]
5587[Add another joinMax test
5588Ben.Lippmeier@anu.edu.au**20090227063637
5589 Ignore-this: 7cc0a9b1994e1d7449d165a3e7f6952c
5590]
5591[WAR: don't print currently running threads, we should really have an arg for this.
5592Ben.Lippmeier@anu.edu.au**20090227063310
5593 Ignore-this: 5f4a61ac943b9be190a0b5eeb26c52b3
5594]
5595[Clean up some comments
5596Ben.Lippmeier@anu.edu.au**20090227063109
5597 Ignore-this: f55403a8d1a40429009e9e1c4cd4741b
5598]
5599[Now we're doing proper joining, we don't need the hacky SubReplay rule anymore.
5600Ben.Lippmeier@anu.edu.au**20090227062505
5601 Ignore-this: f025a5e3da143182b359062003223de0
5602]
5603[Do proper joining when reconstructing the type of a match expression
5604Ben.Lippmeier@anu.edu.au**20090227060319
5605 Ignore-this: adc79069564a822c666b85c57f001e8b
5606]
5607[Add test for joining of types in core
5608Ben.Lippmeier@anu.edu.au**20090221114759]
5609[Add test for #174
5610Ben.Lippmeier@anu.edu.au**20090221113640]
5611[Re-enable test
5612Ben.Lippmeier@anu.edu.au**20090221113336]
5613[Undo workarounds for #174
5614Ben.Lippmeier@anu.edu.au**20090221111417]
5615[Fix #174: Closure info getting lost with & projections
5616Ben.Lippmeier@anu.edu.au**20090221104713]
5617[Clean up old comments
5618Ben.Lippmeier@anu.edu.au**20090220110044]
5619[Workarounds for issue #174
5620Ben.Lippmeier@anu.edu.au**20090220060936]
5621[add missing file
5622Ben.Lippmeier@anu.edu.au**20090220032501]
5623[Mask effects on local regions in XLam instead of XLocal.
5624Ben.Lippmeier@anu.edu.au**20090220032217
5625 
5626 This saves the core type checker from having to inspect the effect
5627 term every time it hits an XLocal.
5628]
5629[churn: add main routine
5630Ben.Lippmeier@anu.edu.au**20090130030629]
5631[Churn: hacks
5632Ben.Lippmeier@anu.edu.au**20090130020928]
5633[churn: add env
5634Ben.Lippmeier@anu.edu.au**20090129222700]
5635[churn: generate if exprs
5636Ben.Lippmeier@anu.edu.au**20090129050019]
5637[Start on new churner
5638Ben.Lippmeier@anu.edu.au**20090129041945]
5639[Add missing test check files
5640Ben.Lippmeier@anu.edu.au**20090129011138]
5641[Updates for GHC 6.10
5642Ben.Lippmeier@anu.edu.au**20090128075254]
5643[Wibbles to purity tests
5644Ben.Lippmeier@anu.edu.au**20090128071901]
5645[Discharge Shape constraints on effect and closure eq classes
5646Ben.Lippmeier@anu.edu.au**20081216062741]
5647[Add FreeBSD target, thanks to Alex Sepp
5648Ben.Lippmeier@anu.edu.au**20081208061536]
5649[Stick with GHC 6.8's exceptions for now.
5650Ben.Lippmeier@anu.edu.au**20081208055607]
5651[war: added a flag to keep going after an error.
5652Ben Sinclair <ben.d.sinclair@gmail.com>**20081207134543]
5653[war: stop running tests when an error occurs.
5654Ben Sinclair <ben.d.sinclair@gmail.com>**20081207133807]
5655[war: added a flag to print debugging traces.
5656Ben Sinclair <ben.d.sinclair@gmail.com>**20081207122906]
5657[Make trace output for war work again.
5658Ben Sinclair <ben.d.sinclair@gmail.com>**20081206073843]
5659[Add a -j option to war for how many threads to run.
5660Ben Sinclair <ben.d.sinclair@gmail.com>**20081204050630]
5661[Collect test output and display it cleanly, not all jumbled.
5662Ben Sinclair <ben.d.sinclair@gmail.com>**20081204022717
5663 The collectOut function works best with a rank-2 type, so I added
5664 -fglasgow-exts to the war rule in Makefile as churn has.
5665]
5666[War needs a threaded runtime.
5667Ben Sinclair <ben.d.sinclair@gmail.com>**20081203132801]
5668[Basic parallelisation of War test runner.
5669Ben Sinclair <ben.d.sinclair@gmail.com>**20081203132604]
5670[Fix up churn
5671Ben.Lippmeier@anu.edu.au**20081127073247
5672 Seems to have gotten broken when we refactored the literal handling.
5673 Maybe one day this will be run by a nightly build...
5674]
5675[Don't add so much closure info to graph now it's not being used.
5676Ben.Lippmeier@anu.edu.au**20081121031828]
5677[Base the closure for lambdas on free vars, not using the graph and masking operations.
5678Ben.Lippmeier@anu.edu.au**20081121024904
5679 
5680 I used to think it would be a good idea to use masking operations
5681 to build the closure information for functions, ie:
5682 
5683   fun :: a -($c1)> b -($c2)> c
5684       :- $c2 = x : a
5685       :- $c1 = $c2 \ x
5686 
5687 It makes the type terms smaller, but leads to problems when inferring
5688 types for higher order functions.
5689 
5690 For example, this function found with churn, from Typing.Subsumes.Trans test
5691 
5692   v29 = \v30 -> v30 (\v31 -> \v32 -> v32 (\v33 -> 1) (\v34 -> 86));
5693 
5694   foreign import v29
5695         :: forall t0 t1 .. blah
5696         .  ((t1 -(!e4 $c3)> ... blah
5697         :- !e3        :> !{!e2; !e1}
5698         ,  $c7        = $c3 \ v30
5699         ,  $c3        :> $c2 \ v31                 ****
5700         ,  $c2        :> ${$c0 \ v32; $c1 \ v32}   ****
5701         :$ Base.Thunk -> Base.Obj;
5702   
5703 highlighed lines show closure masking not being resolved. Masking nodes
5704 in graph get propageted too far during unification.
5705 Notes in journal 20/11/2008     
5706 
5707 Should look in to this later because I was planning to use a similar
5708 effect masking operator to cut execption effects out for try/catch exprs.
5709 
5710]
5711[Remove duplication of freeVars code in Code.Plate.FreeVars
5712Ben.Lippmeier@anu.edu.au**20081121002401]
5713[Fix #165 Unused return value in read_file, and wibbles.
5714Ben.Lippmeier@anu.edu.au**20080922054952]
5715[Skip dirs containing broken tests
5716Ben.Lippmeier@anu.edu.au**20080909024231]
5717[Run tests not mentioned in war.order files.
5718Ben Sinclair <ben.d.sinclair@gmail.com>**20080907033214
5719 Only looks inside sub-directories, it doesn't look for test files in the same
5720 directory as the war.order file.
5721]
5722[Slay a 1 char crash-bug in the runtime system, FFS.
5723Ben.Lippmeier@anu.edu.au**20080722124637]
5724[test wibble
5725Ben.Lippmeier@anu.edu.au**20080721141436]
5726[Redo Data.String from the ground up.
5727Ben.Lippmeier@anu.edu.au**20080721135650
5728 
5729 We now have String#, FlatString and String.
5730 
5731 String# is the unboxed C string type
5732 FlatString contains a single embedded String#, along with its size.
5733 String has the SChunk and SAppend constructors which provide fast append.
5734 
5735 FlatStrings are implemented with primitive store functions from DDC.Store.
5736 This lets us ditch the horror that was runtime/Prim/String.c 
5737 
5738 In future all base types should be implemented with DDC.Store primitives,
5739 instead of C functions in the runtime system as there's a lot less
5740 change we'll shoot ourselves in the foot wrt GC or forgetting to force
5741 an object.
5742 
5743 Actual support for unboxed data in ADTs would help.
5744]
5745[Be more explicit about why dangerUnboxString is dangerous
5746Ben.Lippmeier@anu.edu.au**20080721033613]
5747[Make Data.String safe.
5748Jared Putnam <jared.c.putnam@gmail.com>**20080719055806]
5749[String compare shouldn't modify its arguments.
5750Jared Putnam <jared.c.putnam@gmail.com>**20080713201755]
5751[Follow literal changes in tools/churn
5752Ben.Lippmeier@anu.edu.au**20080721020706]
5753[Redo handling of literals and primitive types
5754Ben.Lippmeier@anu.edu.au**20080721014052
5755 
5756 You can how import foreign unboxed types like:
5757   foreign import data "String" String# :: % -> *
5758   foreign import data "FILE"   File#   :: *
5759 
5760 Literals can be given specific types with format suffixes
5761   1234u      - Word
5762   1234u64    - Word64
5763   1234#i     - Int#
5764   12.002f64  - Float64
5765 etc
5766]
5767[wibble
5768Ben.Lippmeier@anu.edu.au**20080715043315]
5769[Add System.Network
5770Ben.Lippmeier@anu.edu.au**20080715042433]
5771[Add Class.Read
5772Ben.Lippmeier@anu.edu.au**20080715042403]
5773[Add Solution to the 2008 ICFP programming contest
5774Ben.Lippmeier@anu.edu.au**20080715033351
5775 This needs a running contest server to connect to,
5776 It crashes sometimes, suspect a bug in the String library or RTS
5777]
5778[Fail when BITS is not set and add BITS to the Config.hs.platform files.
5779Jared Putnam <jared.c.putnam@gmail.com>**20080708160346]
5780[Default static top level regions to Const, Default
5781Ben.Lippmeier@anu.edu.au**20080709053458
5782 This has the side-effect of requiring top level mutable data
5783 to have an explicit type sig, listing the mutability, which
5784 is probably a good thing.
5785]
5786[Add ghg-regress to test order
5787Ben.Lippmeier@anu.edu.au**20080707132053]
5788[Snaffle some ghc regression tests
5789Ben.Lippmeier@anu.edu.au**20080707131439]
5790[Fix #130: keyword name clash in generated code
5791Ben.Lippmeier@anu.edu.au**20080707121331]
5792[Stifle warnings from TinyPTC
5793Ben.Lippmeier@anu.edu.au**20080703091922]
5794[fix build
5795Ben.Lippmeier@anu.edu.au**20080703091040]
5796[TAG Release Alpha 1.1
5797Ben.Lippmeier@anu.edu.au**20080703084848]
5798Patch bundle hash:
5799d2849f84f2a15042e07a729af73a17ebbc6e99e4