__color__ __group__ __style__ ticket summary component status resolution version type priority owner modified _time _reporter 7 _|_ None 107 Definition order should not be important in where block Source Semantics assigned None 0.1.2 enhancement project steggles 2010-09-07T12:26:43Z+0100 10:17:36Z+0100 erikd 7 _|_ None 108 No support for infix operator definitions Source Parser new None 0.1.2 enhancement project steggles 2010-09-07T12:27:05Z+0100 01:49:10Z+0100 benl 1 0.1.5 None 83 Look in data definition when checking dangerous vars Source Type Inferencer new None enhancement blocker 2010-02-10T04:00:09Z+0000 05:18:58Z+0100 benl 1 0.1.5 None 86 Use Haskell/GHC style pragma instead of a pragma keyword Build System new None 0.1.2 newbie blocker 2010-08-25T08:10:49Z+0100 08:11:36Z+0100 benl 4 0.1.5 None 11 Resurrect Core.Inline Core Transforms new None enhancement normal 2010-09-19T09:40:55Z+0100 12:39:16Z+0100 benl 4 0.1.5 None 20 Implement the rest of the primitive types. Libraries new None enhancement normal 2009-05-13T04:03:57Z+0100 14:02:12Z+0100 benl 4 0.1.5 None 50 Emit error for dangerous vars at top level. Source Type Inferencer new None 0.1.2 defect normal 2010-09-19T09:42:12Z+0100 05:03:23Z+0100 benl 4 0.1.5 None 52 Auto export class instance functions Source Desugarer new None enhancement normal 2009-05-13T05:07:38Z+0100 05:07:08Z+0100 benl 4 0.1.5 None 87 Support type constraints on constructor Source Parser new None 0.1.2 enhancement normal 2010-09-19T09:43:30Z+0100 08:42:22Z+0100 benl 4 0.1.5 None 88 Allow data fields to be listed with the offside rule Source Parser new None 0.1.2 enhancement normal 2009-06-24T08:46:28Z+0100 08:46:28Z+0100 benl 4 0.1.5 None 89 Test out effect constructors with interesting kinds Source Type Inferencer new None 0.1.2 task normal 2009-06-24T09:08:23Z+0100 09:08:23Z+0100 benl 4 0.1.5 None 90 Support default instances in type class declarations. Source Parser new None 0.1.2 enhancement normal 2009-06-24T09:40:04Z+0100 09:40:04Z+0100 benl 4 0.1.5 None 157 Do a more fine-grained dangerous variables check Source Type Inferencer new None 0.1.2 enhancement normal 2010-09-19T09:40:25Z+0100 04:05:35Z+0000 benl 4 0.1.5 color: #777; background: #ddd; border-color: #ccc; 74 Finish implementation of constructor classes Source Type Inferencer closed fixed 0.1.2 defect normal 2010-05-24T13:25:22Z+0100 04:50:04Z+0100 benl 4 0.1.5 color: #777; background: #ddd; border-color: #ccc; 45 Better error message for runtime pattern match failure Runtime System closed fixed 0.1.2 defect normal erikd 2009-11-13T11:52:19Z+0000 04:48:48Z+0100 benl 4 0.1.5 color: #777; background: #ddd; border-color: #ccc; 42 Support unboxed CAFs Core to Sea Translation closed fixed 0.1.2 enhancement normal 2009-11-04T20:03:55Z+0000 04:14:34Z+0100 benl 4 0.1.5 color: #777; background: #ddd; border-color: #ccc; 91 Require module imports (and exports) to be at the start of the module Source Parser closed fixed 0.1.2 enhancement normal erikd 2009-09-03T10:25:19Z+0100 02:15:59Z+0100 benl 1 0.1.5 color: #777; background: #ddd; border-color: #ccc; 60 Matching against literal strings is broken Source Desugarer closed fixed 0.1.2 defect blocker 2009-08-27T18:10:52Z+0100 05:41:40Z+0100 benl 1 0.1.4 None 34 Check inferred type against signatures. Source Type Inferencer new None enhancement blocker 2010-01-31T08:53:57Z+0000 03:48:29Z+0100 benl 1 0.1.4 None 67 Compiler panic applying polymorphic functions to unboxed values Core Type Checker new None 0.1.2 defect blocker 2010-09-23T08:01:14Z+0100 04:20:14Z+0100 benl 1 0.1.4 None 68 Do kind checking during constraint generation. Source Type Inferencer new None 0.1.2 defect blocker 2009-05-14T04:35:26Z+0100 04:22:15Z+0100 benl 1 0.1.4 None 79 Kind inference checking problem for mutable tuples Source Type Inferencer new None 0.1.2 defect blocker None 2010-02-07T23:42:31Z+0000 05:06:58Z+0100 benl 4 0.1.4 None 19 Erase calls to prim.force on objects in direct regions during Core.Simplify Core Transforms new None enhancement normal 2009-05-12T14:00:46Z+0100 14:00:46Z+0100 benl 4 0.1.4 None 40 Check for overlapping projection dictionaries during type inference Source Parser new None 0.1.2 defect normal 2010-09-19T09:40:01Z+0100 04:07:48Z+0100 benl 4 0.1.4 None 41 Refactor occurance checker to improve speed. Source Type Inferencer new None refactor normal 2009-11-18T07:06:52Z+0000 04:09:11Z+0100 benl 5 0.1.4 None 9 Disallow unboxed data being present in function closures. Core Type Checker new None 0.1.2 defect minor 2009-05-12T12:35:45Z+0100 12:33:06Z+0100 benl 4 0.1.4 color: #777; background: #ddd; border-color: #ccc; 26 Improve runtime of Core.Reconstruct. Core Type Checker closed fixed enhancement normal 2010-08-07T14:48:35Z+0100 03:14:16Z+0100 benl 4 0.1.4 color: #777; background: #ddd; border-color: #ccc; 33 Check for conflicting projection functions. Build System closed fixed 0.1.2 defect normal erikd 2009-11-15T00:50:53Z+0000 03:42:58Z+0100 benl 4 0.1.4 color: #777; background: #ddd; border-color: #ccc; 39 Emit an error if modules are recursive. Compilation Driver closed fixed defect normal erikd 2009-11-13T12:35:53Z+0000 04:02:34Z+0100 benl 1 0.1.4 color: #777; background: #ddd; border-color: #ccc; 71 Better error message for unimplemented class functions Source Parser closed fixed 0.1.2 defect blocker erikd 2009-11-12T06:25:10Z+0000 04:32:14Z+0100 benl 1 0.1.4 color: #777; background: #ddd; border-color: #ccc; 53 Check for name shadowing in forall quantifiers. Source Parser closed fixed 0.1.2 defect blocker erikd 2009-11-09T07:13:38Z+0000 05:08:22Z+0100 benl 1 0.1.3 None 2 Check class instances against their definitions. Type Inferencer assigned None 0.1.2 defect blocker benl 2010-10-04T03:12:49Z+0100 11:58:37Z+0100 benl 1 0.1.3 None 7 Merge projection dictionaries from different modules. Source Desugarer assigned None 0.1.2 defect blocker erikd 2010-03-06T02:17:55Z+0000 12:15:45Z+0100 benl 1 0.1.3 None 16 Add type bindings Source Parser new None enhancement blocker erikd 2010-02-05T03:19:38Z+0000 13:52:38Z+0100 benl 1 0.1.3 None 73 Bad core generated for recursive function with projections Source to Core Translation new None 0.1.2 defect blocker 2010-01-12T09:45:56Z+0000 04:47:22Z+0100 benl 1 0.1.3 None 81 Bug in core type checker Build System new None 0.1.2 defect blocker 2009-05-14T05:14:47Z+0100 05:14:33Z+0100 benl 1 0.1.3 None 155 "PANIC ""mergeClasses: classes have differing kinds"" in my Hashtable first cut" Core Type Checker assigned None 0.1.2 defect blocker benl 2010-02-15T01:24:46Z+0000 21:15:10Z+0000 blackh 1 0.1.3 None 160 Runtime crash with recursive bindings Runtime System new None 0.1.2 defect blocker 2010-02-21T10:01:32Z+0000 09:49:02Z+0000 benl 1 0.1.3 None 163 Elaboration of class constructors isn't respecting their kinds Source Desugarer new None 0.1.2 defect blocker 2010-02-22T11:47:14Z+0000 11:47:14Z+0000 benl 1 0.1.3 None 167 Missing constraints in interface files. Core Type Checker new None defect blocker 2010-02-25T05:16:25Z+0000 05:16:25Z+0000 bens 1 0.1.3 None 168 Module exporter re-exports projections it has imported Unknown new None 0.1.2 defect blocker 2010-04-18T06:18:50Z+0100 10:17:39Z+0000 erikd 1 0.1.3 None 172 Lexer generates incorrect token sequence Source Parser assigned None defect blocker erikd 2010-03-07T10:48:03Z+0000 10:03:08Z+0000 erikd 1 0.1.3 None 173 Faliure to parse type annotations within list defintion Source Parser assigned None defect blocker erikd 2010-03-06T05:36:24Z+0000 05:36:12Z+0000 erikd 1 0.1.3 None 181 Fix display of node effects in type error messages Source Type Inferencer new None defect blocker 2010-05-24T11:33:04Z+0100 11:33:04Z+0100 benl 1 0.1.3 None 188 "Bad quantifier in type for ""undefined""" Source Type Inferencer new None 0.1.2 defect blocker 2010-09-07T14:53:38Z+0100 14:53:38Z+0100 benl 4 0.1.3 None 15 Ensure we're sharing constant values of enumeration type. Core Transforms new None newbie normal 2010-08-25T08:11:51Z+0100 13:48:17Z+0100 benl 4 0.1.3 None 161 Implement let qualifiers for list comprehensions Source Parser assigned None 0.1.2 enhancement normal erikd 2010-03-07T10:45:48Z+0000 10:56:57Z+0000 benl 4 0.1.3 None 189 Check for missing quantifiers in type class definitions. Source Desugarer new None 0.1.2 defect normal 2010-09-19T09:39:20Z+0100 09:37:00Z+0100 benl 4 0.1.3 None 190 Bad parser error message Source Parser new None 0.1.2 defect normal 2010-10-20T06:57:27Z+0100 06:57:27Z+0100 benl 5 0.1.3 None 1 Check for partial application of functions to unboxed args. Core to Sea Translation new None 0.1.2 defect minor 2009-11-18T07:06:19Z+0000 10:06:46Z+0100 benl 1 0.1.3 color: #777; background: #ddd; border-color: #ccc; 191 ddc doesn't find modules in current directory Compilation Driver closed fixed 0.1.2 defect blocker erikd 2010-11-07T05:28:32Z+0000 03:57:19Z+0000 erikd 1 0.1.3 color: #777; background: #ddd; border-color: #ccc; 175 Bad pattern match code generated for list comprehension Core to Sea Translation closed fixed defect blocker erikd 2010-10-03T23:15:53Z+0100 01:40:37Z+0000 erikd 1 0.1.3 color: #777; background: #ddd; border-color: #ccc; 171 Parse error on list comprehension Source Parser closed fixed 0.1.2 defect blocker bens 2010-10-03T23:02:25Z+0100 11:02:23Z+0000 erikd 1 0.1.3 color: #777; background: #ddd; border-color: #ccc; 82 Shape crusher isn't preserving effect and closure terms Source Type Inferencer closed fixed 0.1.2 defect blocker benl 2010-09-19T10:01:40Z+0100 05:16:19Z+0100 benl 1 0.1.3 color: #777; background: #ddd; border-color: #ccc; 102 Closure/IntFun test produces bad core when compiled with -O Core Transforms closed fixed 0.1.2 defect blocker 2010-09-19T02:35:03Z+0100 14:07:15Z+0100 benl 1 0.1.3 color: #777; background: #ddd; border-color: #ccc; 182 Fix Order4-5 example Source Type Inferencer closed fixed defect blocker benl 2010-08-26T13:27:39Z+0100 12:13:10Z+0100 benl 1 0.1.3 color: #777; background: #ddd; border-color: #ccc; 154 Refactor TFetters to TConstrained Source Type Inferencer closed fixed 0.1.2 refactor blocker benl 2010-08-13T08:28:57Z+0100 11:02:35Z+0000 benl 1 0.1.3 color: #777; background: #ddd; border-color: #ccc; 152 Merge Core.Util.Pack with Type.Util.Pack Source Type Inferencer closed fixed 0.1.2 refactor blocker benl 2010-08-08T10:51:06Z+0100 10:55:48Z+0000 benl 1 0.1.3 color: #777; background: #ddd; border-color: #ccc; 183 Fix minimumBy thing in raytracer Core Type Checker closed fixed 0.1.2 defect blocker 2010-08-07T14:58:42Z+0100 02:33:28Z+0100 benl 1 0.1.3 color: #777; background: #ddd; border-color: #ccc; 153 Merge Core.Util.Trim with Type.Util.Trim Source Type Inferencer closed fixed 0.1.2 refactor blocker benl 2010-06-07T09:28:01Z+0100 10:56:37Z+0000 benl 1 0.1.3 color: #777; background: #ddd; border-color: #ccc; 149 PANIC in Type.Crush.Unify Core Type Checker closed fixed 0.1.2 defect blocker benl 2010-05-24T12:49:26Z+0100 07:06:57Z+0000 erikd 1 0.1.3 color: #777; background: #ddd; border-color: #ccc; 178 PANIC in Core.Reconstruct reconX/Prim due to using boxInt32 where a polymorphic function is expected. Core Transforms closed duplicate defect blocker 2010-05-04T10:24:36Z+0100 12:26:06Z+0100 erikd 1 0.1.3 color: #777; background: #ddd; border-color: #ccc; 179 ddc: Bad code generated for statement containing nothing but a curried function. Core to Sea Translation closed fixed defect blocker erikd 2010-05-02T12:59:09Z+0100 23:06:42Z+0100 Tac-Tics 1 0.1.3 color: #777; background: #ddd; border-color: #ccc; 80 Allow projections to be added foreign imported unboxed types Source Desugarer closed fixed 0.1.2 defect blocker erikd 2010-04-28T21:24:01Z+0100 05:10:06Z+0100 benl 1 0.1.3 color: #777; background: #ddd; border-color: #ccc; 180 Segmentation fault on updating a Ref Runtime System closed fixed defect blocker Tac-Tics 2010-04-18T06:53:46Z+0100 18:55:00Z+0100 Tac-Tics 1 0.1.3 color: #777; background: #ddd; border-color: #ccc; 177 Configure does not correctly detect 32 bit user space on 64 bit kernel Build System closed fixed defect blocker erikd 2010-03-22T07:51:48Z+0000 00:09:44Z+0000 erikd 1 0.1.3 color: #777; background: #ddd; border-color: #ccc; 43 Core.Reconstruct isn't using the PCtor defs. Source to Core Translation closed fixed refactor blocker 2010-03-17T08:35:05Z+0000 04:16:11Z+0100 benl 1 0.1.3 color: #777; background: #ddd; border-color: #ccc; 174 Type mismatch during unification Source Parser closed fixed defect blocker erikd 2010-03-08T11:07:47Z+0000 20:13:38Z+0000 erikd 1 0.1.3 color: #777; background: #ddd; border-color: #ccc; 147 Parse error on let Source Parser closed fixed 0.1.2 defect blocker erikd 2010-03-04T11:04:15Z+0000 06:56:26Z+0000 erikd 1 0.1.3 color: #777; background: #ddd; border-color: #ccc; 162 Handle patterns in left of list comprehension generators. Source Desugarer closed fixed 0.1.2 defect blocker erikd 2010-03-02T10:46:41Z+0000 11:53:54Z+0000 benl 1 0.1.3 color: #777; background: #ddd; border-color: #ccc; 170 Improve warning message output and extend war driver to check for warnings. Source Semantics closed fixed enhancement blocker erikd 2010-02-28T07:59:04Z+0000 02:55:35Z+0000 erikd 1 0.1.3 color: #777; background: #ddd; border-color: #ccc; 151 PANIC in Source.DefixApps ($ do) Source Desugarer closed fixed 0.1.2 defect blocker erikd 2010-02-27T03:12:49Z+0000 05:51:59Z+0000 erikd 1 0.1.3 color: #777; background: #ddd; border-color: #ccc; 169 Module exporter re-exports projections it has imported Unknown closed duplicate 0.1.2 defect blocker 2010-02-26T10:34:02Z+0000 10:33:18Z+0000 erikd 1 0.1.3 color: #777; background: #ddd; border-color: #ccc; 5 Check that top level CAFs don't have side effects. Core Type Checker closed fixed 0.1.2 defect blocker bens 2010-02-26T00:33:53Z+0000 12:12:22Z+0100 benl 4 0.1.3 color: #777; background: #ddd; border-color: #ccc; 165 Fix build dependencies Build System closed fixed defect normal erikd 2010-02-23T21:46:27Z+0000 22:49:20Z+0000 bens 1 0.1.3 color: #777; background: #ddd; border-color: #ccc; 159 Infix quotes have wrong precedence Libraries closed fixed 0.1.2 defect blocker erikd 2010-02-23T13:00:25Z+0000 00:54:57Z+0000 benl 1 0.1.3 color: #777; background: #ddd; border-color: #ccc; 166 Infixl/Infixr do not accept backtick quote names Source Parser closed fixed 0.1.2 defect blocker erikd 2010-02-23T11:56:20Z+0000 10:56:32Z+0000 erikd 1 0.1.3 color: #777; background: #ddd; border-color: #ccc; 164 TinyPTC-X11 doesn't build on Debian unstable Build System closed fixed defect blocker erikd 2010-02-23T10:20:46Z+0000 21:27:00Z+0000 erikd 1 0.1.3 color: #777; background: #ddd; border-color: #ccc; 158 PANIC in Type.Solve : floatBranch: can't find branch for index Compilation Driver closed fixed 0.1.2 defect blocker benl 2010-02-18T11:27:59Z+0000 01:40:38Z+0000 erikd 1 0.1.3 color: #777; background: #ddd; border-color: #ccc; 143 Type signature without implementation should be an error Source Semantics closed fixed 0.1.2 defect blocker benl 2010-02-18T01:55:02Z+0000 23:29:15Z+0000 erikd 1 0.1.3 color: #777; background: #ddd; border-color: #ccc; 142 Export type followed by data definition incorrectly results in ErrorRdefinedData Source Parser closed fixed 0.1.2 defect blocker benl 2010-02-17T10:42:48Z+0000 11:19:03Z+0000 erikd 1 0.1.3 color: #777; background: #ddd; border-color: #ccc; 99 Finding which modules needs to be rebuilt is grossly inefficient. Runtime System closed fixed 0.1.2 defect blocker erikd 2010-02-06T20:45:37Z+0000 12:07:55Z+0100 benl 1 0.1.3 color: #777; background: #ddd; border-color: #ccc; 76 Compilation time is exponential in depth of constructor nesting Source Type Inferencer closed fixed task blocker 2010-01-12T07:37:15Z+0000 04:55:36Z+0100 benl 1 0.1.3 color: #777; background: #ddd; border-color: #ccc; 150 PANIC in Type.Location Core Type Checker closed fixed 0.1.2 defect blocker 2010-01-12T07:14:01Z+0000 08:46:25Z+0000 erikd 1 0.1.3 color: #777; background: #ddd; border-color: #ccc; 75 Unresolved TApp during inference Source Type Inferencer closed fixed 0.1.2 defect blocker 2010-01-12T07:08:06Z+0000 04:53:18Z+0100 benl 1 0.1.3 color: #777; background: #ddd; border-color: #ccc; 148 DDC fails the man or boy test. Unknown closed invalid 0.1.2 defect blocker erikd 2009-11-17T10:07:53Z+0000 07:05:56Z+0000 erikd 1 0.1.3 color: #777; background: #ddd; border-color: #ccc; 77 crushProjClassT panics when there are type errors Source Type Inferencer closed fixed 0.1.2 defect blocker erikd 2009-11-09T07:17:54Z+0000 04:59:25Z+0100 benl 1 0.1.3 color: #777; background: #ddd; border-color: #ccc; 72 Kind error with projections in recursive function Source Type Inferencer closed fixed 0.1.2 defect blocker None 2009-11-06T01:58:25Z+0000 04:39:54Z+0100 benl 1 0.1.3 color: #777; background: #ddd; border-color: #ccc; 144 Need better error message when source file does not exist Compilation Driver closed fixed 0.1.2 defect blocker erikd 2009-11-04T09:08:34Z+0000 08:12:05Z+0000 erikd 1 0.1.3 color: #777; background: #ddd; border-color: #ccc; 78 Renamer problems in data type defs Source Parser closed fixed 0.1.2 defect blocker 2009-11-02T11:12:15Z+0000 05:03:03Z+0100 benl 1 0.1.3 color: #777; background: #ddd; border-color: #ccc; 58 Panic in type inferencer Source Type Inferencer closed fixed 0.1.2 defect blocker 2009-11-02T08:39:46Z+0000 05:30:20Z+0100 benl 1 0.1.3 color: #777; background: #ddd; border-color: #ccc; 55 Combine function bindings in projection dictionaries Source Desugarer closed fixed 0.1.2 defect blocker 2009-08-27T12:07:24Z+0100 05:18:04Z+0100 benl 1 0.1.3 color: #777; background: #ddd; border-color: #ccc; 69 Better error message when region and closure vars appear in terms Source Parser closed fixed 0.1.2 defect blocker benl 2009-08-27T12:03:17Z+0100 04:24:33Z+0100 benl 1 0.1.3 color: #777; background: #ddd; border-color: #ccc; 92 Better error message when trying to define an instance of an unknown class Source Parser closed fixed 0.1.2 defect blocker benl 2009-08-27T12:02:49Z+0100 03:47:11Z+0100 benl 1 0.1.3 color: #777; background: #ddd; border-color: #ccc; 56 Bad core produced from lambda abstraction Source to Core Translation closed duplicate 0.1.2 defect blocker 2009-08-27T12:02:08Z+0100 05:24:14Z+0100 benl 1 0.1.3 color: #777; background: #ddd; border-color: #ccc; 104 Renamer problem with class functions Source Desugarer closed fixed 0.1.2 defect blocker 2009-08-20T07:14:15Z+0100 09:57:21Z+0100 benl 4 0.1.3 color: #777; background: #ddd; border-color: #ccc; 96 ellipsis in list generator expressions not comprehensive enough Unknown closed fixed defect normal erikd 2009-08-16T09:03:35Z+0100 11:51:06Z+0100 erikd@… 1 0.1.3 color: #777; background: #ddd; border-color: #ccc; 84 Fix postgeneralisation check. Source Type Inferencer closed fixed 0.1.2 defect blocker 2009-08-16T04:33:58Z+0100 05:20:36Z+0100 benl 4 0.1.3 color: #777; background: #ddd; border-color: #ccc; 97 Error in parsing end of {- -} comments Source Parser closed fixed 0.1.2 defect normal erikd 2009-08-10T11:25:50Z+0100 12:20:55Z+0100 erikd@… 1 0.1.3 color: #777; background: #ddd; border-color: #ccc; 100 Output gets printed twice Source Type Inferencer closed fixed 0.1.2 defect blocker benl 2009-08-04T13:14:47Z+0100 01:32:54Z+0100 erikd@… 1 0.1.3 color: #777; background: #ddd; border-color: #ccc; 95 Parse error with lists Source Parser closed fixed 0.1.2 defect blocker erikd 2009-08-04T10:35:50Z+0100 08:01:57Z+0100 benl 4 0.1.3 color: #777; background: #ddd; border-color: #ccc; 94 Fix option parser to be more forgiving Compilation Driver closed fixed 0.1.2 defect normal 2009-07-31T08:54:01Z+0100 03:11:44Z+0100 benl 6 0.1.3 color: #777; background: #ddd; border-color: #ccc; 93 Module names need to be filtred in generated C code Compilation Driver closed fixed 0.1.2 defect trivial benl 2009-07-30T07:13:31Z+0100 13:23:50Z+0100 erikd@… 1 0.1.3 color: #777; background: #ddd; border-color: #ccc; 59 Parsing fails when a block comment ends on an import line Source Parser closed fixed 0.1.2 defect blocker 2009-06-24T06:35:57Z+0100 05:34:12Z+0100 benl 1 0.1.3 color: #777; background: #ddd; border-color: #ccc; 62 Parsing or desugaring of field initialisers is broken Source Desugarer closed fixed 0.1.2 defect blocker 2009-06-24T05:53:32Z+0100 05:54:11Z+0100 benl 1 0.1.3 color: #777; background: #ddd; border-color: #ccc; 65 Parsing problems with where/irrefutable patterns Source Parser closed fixed 0.1.2 defect blocker 2009-06-24T05:28:20Z+0100 04:15:23Z+0100 benl 1 0.1.3 color: #777; background: #ddd; border-color: #ccc; 64 Parsing problems with when/irrefutable patterns Source Parser closed fixed 0.1.2 defect blocker 2009-06-22T14:39:11Z+0100 04:02:57Z+0100 benl 1 0.1.3 color: #777; background: #ddd; border-color: #ccc; 66 Fix parsing and printing of Bot for effect and closures. Source Parser closed fixed 0.1.2 defect blocker 2009-06-22T14:04:58Z+0100 04:18:24Z+0100 benl 1 0.1.3 color: #777; background: #ddd; border-color: #ccc; 57 Don't try and make a module that doesn't include main Compilation Driver closed fixed 0.1.2 defect blocker 2009-06-22T10:04:15Z+0100 05:27:05Z+0100 benl 1 0.1.3 color: #777; background: #ddd; border-color: #ccc; 61 Desugaring pattern matches with guards is broken Source Desugarer closed fixed 0.1.2 defect blocker benl 2009-06-22T09:16:03Z+0100 05:49:05Z+0100 benl 4 None 17 Check profiling and ticky counters in runtime system and add tests Runtime System new None newbie normal 2010-08-25T08:04:03Z+0100 13:56:26Z+0100 benl 4 None 24 Allow resumption of tests in bin/war test driver Build System new None enhancement normal 2010-02-07T22:58:39Z+0000 03:08:11Z+0100 benl 4 None 37 Fix closure trimming of data types containing functions. Source Type Inferencer new None defect normal 2009-05-13T03:57:36Z+0100 03:57:36Z+0100 benl 4 None 47 Package DDC into Cabal, and streamline install process. Build System new None task normal 2009-05-13T04:51:30Z+0100 04:51:30Z+0100 benl 4 None 186 Source.Defix.hs: Non-exhaustive patterns in lambda Source Semantics new None newbie normal 2010-08-25T08:03:10Z+0100 09:30:44Z+0100 erikd 4 None 187 Write tests for Data,ArrayU module. Runtime System new None newbie normal 2010-08-26T11:50:19Z+0100 11:50:19Z+0100 erikd 5 None 3 Check Shape witnesses in core Core Type Checker new None enhancement minor 2009-05-12T13:54:06Z+0100 12:05:48Z+0100 benl 5 None 4 Check for unsound erasure of type lambdas in core to sea translation Core to Sea Translation new None enhancement minor 2009-05-12T13:54:20Z+0100 12:09:48Z+0100 benl 5 None 6 Check format of source pragmas. Source Parser new None 0.1.2 defect minor 2009-05-12T12:26:45Z+0100 12:14:13Z+0100 benl 5 None 18 Refactor Core.Exp to push XPrim calls into new data type Core Transforms new None refactor minor 2009-05-12T13:58:12Z+0100 13:58:12Z+0100 benl 5 None 29 Check well-formedness of bound witnesses in letregion Build System new None enhancement minor 2009-05-13T03:22:02Z+0100 03:22:02Z+0100 benl 5 None 32 Don't panic if user Control-C's GCC Compilation Driver new None enhancement minor 2010-04-15T19:28:36Z+0100 03:30:53Z+0100 benl 5 None 38 Refactor Util.Pretty to use Data.Seq instead of Data.List Compilation Driver new None refactor minor 2009-05-13T04:00:30Z+0100 04:00:10Z+0100 benl 5 None 46 Compile base libraries into .so Compilation Driver new None enhancement minor 2009-05-13T04:50:36Z+0100 04:50:36Z+0100 benl 5 None 85 Create large pinned memory blocks automatically Runtime System new None enhancement minor 2009-05-14T05:21:47Z+0100 05:21:47Z+0100 benl 5 None 145 Add a point free case expression Source Parser new None enhancement minor 2009-11-18T07:07:16Z+0000 19:28:16Z+0000 erikd 5 None 185 Refactor function ddcCompile to use ddcMake Build System new None refactor minor 2010-07-17T05:25:04Z+0100 05:23:43Z+0100 erikd 6 None 30 Emit a better error message when reading an empty interface file. Compilation Driver new None defect trivial 2009-11-18T07:07:38Z+0000 03:24:59Z+0100 benl 7 None 8 Add a full set of unboxed casting operators. Libraries new None enhancement project 2009-05-13T03:22:41Z+0100 12:26:30Z+0100 benl 7 None 12 Revisit exception mechanism Source Type Inferencer new None task project 2009-05-12T12:44:14Z+0100 12:43:27Z+0100 benl 7 None 13 Share GC stack slots in Sea code Core to Sea Translation new None enhancement project 2009-05-12T12:46:14Z+0100 12:46:14Z+0100 benl 7 None 14 Implement full laziness transform Core Transforms new None enhancement project 2009-05-12T13:45:47Z+0100 13:45:47Z+0100 benl 7 None 22 Mask mutability constraints on fresh data Source Type Inferencer new None enhancement project 2009-05-12T14:06:55Z+0100 14:06:55Z+0100 benl 7 None 23 Mask effects on fresh data Source Type Inferencer new None enhancement project 2009-05-13T03:02:09Z+0100 03:00:09Z+0100 anonymous 7 None 25 Investigate support for polymorphic recursion Source Type Inferencer new None task project 2009-05-13T03:12:03Z+0100 03:10:43Z+0100 benl 7 None 27 Rewrite primitive functions from RTS in Disciple Libraries new None refactor project 2009-05-13T03:17:04Z+0100 03:16:31Z+0100 benl 7 None 28 When defining projections, auto-open the other fns in the projection Source Parser new None enhancement project 2009-05-13T03:19:58Z+0100 03:19:21Z+0100 benl 7 None 31 Implement dictionary passing. Source to Core Translation new None enhancement project 2010-10-12T01:13:30Z+0100 03:27:58Z+0100 benl 7 None 35 Allow embedded mutually recursive definitions. Source Type Inferencer new None enhancement project 2009-05-13T03:51:24Z+0100 03:51:24Z+0100 benl 7 None 44 Fix elaboration of recursive data types. Source Type Inferencer new None defect project 2010-02-22T11:43:14Z+0000 04:17:47Z+0100 benl 7 None 48 Make a better graphics library Libraries new None task project 2009-05-13T04:52:35Z+0100 04:52:35Z+0100 benl 7 None 49 Add monadic do expressions. Source Parser new None enhancement project 2009-05-13T04:54:16Z+0100 04:54:16Z+0100 benl 7 None 54 Allow non-effectful CAFs to be recursive. Build System new None task project 2009-05-13T05:09:23Z+0100 05:09:23Z+0100 benl 7 None 63 Mask closure terms which are constant Source Type Inferencer new None task project 2009-11-12T11:37:29Z+0000 03:43:39Z+0100 benl 7 None 70 Implement operator sectioning Source Parser new None enhancement project erikd 2010-05-04T13:08:47Z+0100 04:26:03Z+0100 benl 4 color: #777; background: #ddd; border-color: #ccc; 51 Refactor representation of Effects and Closures to use Sets Source Type Inferencer closed fixed refactor normal 2010-08-07T14:46:15Z+0100 05:05:10Z+0100 benl 1 color: #777; background: #ddd; border-color: #ccc; 184 Main function not generated when needed using 'bin/ddc -c Module,ds' Compilation Driver closed fixed defect blocker erikd 2010-07-17T06:21:40Z+0100 04:58:04Z+0100 erikd 4 color: #777; background: #ddd; border-color: #ccc; 176 Race condition in war test driver / build all libraries before running tests. Build System closed fixed defect normal 2010-03-22T07:10:58Z+0000 00:12:54Z+0000 benl 5 color: #777; background: #ddd; border-color: #ccc; 10 Rewrite Core.Lint with Core.Trans Core Transforms closed wontfix refactor minor 2010-03-17T08:41:46Z+0000 12:37:42Z+0100 benl 1 color: #777; background: #ddd; border-color: #ccc; 146 Report error on instance redefinition Source Parser closed fixed 0.1.2 defect blocker erikd 2010-02-13T11:59:40Z+0000 05:50:22Z+0000 erikd 4 color: #777; background: #ddd; border-color: #ccc; 156 Refactor Quickcheck tests into a separate test binary Build System closed fixed task normal erikd 2010-02-06T11:18:07Z+0000 01:13:37Z+0000 erikd 1 color: #777; background: #ddd; border-color: #ccc; 109 Quickcheck tests pass with quickcheck1, fail with quickcheck2. Unknown closed fixed 0.1.2 defect blocker erikd 2010-02-06T10:27:53Z+0000 00:05:01Z+0100 erikd 4 color: #777; background: #ddd; border-color: #ccc; 36 Give better source location info for Const/Write errors. Source Type Inferencer closed fixed 0.1.2 defect normal 2010-01-12T07:17:52Z+0000 03:53:11Z+0100 benl 4 color: #777; background: #ddd; border-color: #ccc; 105 Strange error for list comprehension Source Type Inferencer closed fixed defect normal 2009-11-01T10:12:24Z+0000 14:24:07Z+0100 erikd 1 color: #777; background: #ddd; border-color: #ccc; 106 Add support for Int64 and Float64 types. Libraries closed fixed defect blocker erikd 2009-09-01T08:55:39Z+0100 08:59:41Z+0100 erikd 1 color: #777; background: #ddd; border-color: #ccc; 103 Not able to parse 'a, b, c :: Type' style type signatures Source Parser closed fixed defect blocker erikd 2009-08-13T11:55:11Z+0100 21:32:14Z+0100 erikd 4 color: #777; background: #ddd; border-color: #ccc; 101 Lazy list still results in stack overflow Build System closed invalid defect normal None 2009-08-03T06:27:12Z+0100 01:40:47Z+0100 erikd@… 6 color: #777; background: #ddd; border-color: #ccc; 21 Don't allow tab characters in string literals. Source Parser closed fixed enhancement trivial 2009-08-03T05:59:01Z+0100 14:03:38Z+0100 benl 4 color: #777; background: #ddd; border-color: #ccc; 98 No executable produced for 'ddc -make whatever.ds -o whatever' Compilation Driver closed fixed defect normal None 2009-07-31T17:04:01Z+0100 09:39:17Z+0100 erikd@…