Ticket #175: 175.dpatch

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