{3} Active Tickets by Milestone (75 matches)

This report shows how to color results by priority, while grouping results by milestone.

Last modification time, description and reporter are included as hidden fields for useful RSS export.

Release (35 matches)

Ticket Summary Component Version Type Owner Status Created
#37 Fix closure trimming of data types containing functions. Source Type Inferencer defect new 05/13/09
#24 Allow resumption of tests in bin/war test driver Build System enhancement new 05/13/09
#17 Check profiling and ticky counters in runtime system and add tests Runtime System newbie new 05/12/09
#186 Source.Defix.hs: Non-exhaustive patterns in lambda Source Semantics newbie new 08/24/10
#187 Write tests for Data,ArrayU module. Runtime System newbie new 08/26/10
#47 Package DDC into Cabal, and streamline install process. Build System task new 05/13/09
#6 Check format of source pragmas. Source Parser 0.1.2 defect new 05/12/09
#3 Check Shape witnesses in core Core Type Checker enhancement new 05/12/09
#4 Check for unsound erasure of type lambdas in core to sea translation Core to Sea Translation enhancement new 05/12/09
#29 Check well-formedness of bound witnesses in letregion Build System enhancement new 05/13/09
#32 Don't panic if user Control-C's GCC Compilation Driver enhancement new 05/13/09
#46 Compile base libraries into .so Compilation Driver enhancement new 05/13/09
#85 Create large pinned memory blocks automatically Runtime System enhancement new 05/14/09
#145 Add a point free case expression Source Parser enhancement new 11/05/09
#18 Refactor Core.Exp to push XPrim calls into new data type Core Transforms refactor new 05/12/09
#38 Refactor Util.Pretty to use Data.Seq instead of Data.List Compilation Driver refactor new 05/13/09
#185 Refactor function ddcCompile to use ddcMake Build System refactor new 07/17/10
#30 Emit a better error message when reading an empty interface file. Compilation Driver defect new 05/13/09
#44 Fix elaboration of recursive data types. Source Type Inferencer defect new 05/13/09
#8 Add a full set of unboxed casting operators. Libraries enhancement new 05/12/09
#13 Share GC stack slots in Sea code Core to Sea Translation enhancement new 05/12/09
#14 Implement full laziness transform Core Transforms enhancement new 05/12/09
#22 Mask mutability constraints on fresh data Source Type Inferencer enhancement new 05/12/09
#23 Mask effects on fresh data Source Type Inferencer enhancement new 05/13/09
#28 When defining projections, auto-open the other fns in the projection Source Parser enhancement new 05/13/09
#31 Implement dictionary passing. Source to Core Translation enhancement new 05/13/09
#35 Allow embedded mutually recursive definitions. Source Type Inferencer enhancement new 05/13/09
#49 Add monadic do expressions. Source Parser enhancement new 05/13/09
#70 Implement operator sectioning Source Parser enhancement erikd new 05/14/09
#27 Rewrite primitive functions from RTS in Disciple Libraries refactor new 05/13/09
#12 Revisit exception mechanism Source Type Inferencer task new 05/12/09
#25 Investigate support for polymorphic recursion Source Type Inferencer task new 05/13/09
#48 Make a better graphics library Libraries task new 05/13/09
#54 Allow non-effectful CAFs to be recursive. Build System task new 05/13/09
#63 Mask closure terms which are constant Source Type Inferencer task new 05/14/09

0.1.3 Release (19 matches)

Ticket Summary Component Version Type Owner Status Created
#2 Check class instances against their definitions. Type Inferencer 0.1.2 defect benl assigned 05/12/09
#7 Merge projection dictionaries from different modules. Source Desugarer 0.1.2 defect erikd assigned 05/12/09
#73 Bad core generated for recursive function with projections Source to Core Translation 0.1.2 defect new 05/14/09
#81 Bug in core type checker Build System 0.1.2 defect new 05/14/09
#155 PANIC "mergeClasses: classes have differing kinds" in my Hashtable first cut Core Type Checker 0.1.2 defect benl assigned 02/01/10
#160 Runtime crash with recursive bindings Runtime System 0.1.2 defect new 02/21/10
#163 Elaboration of class constructors isn't respecting their kinds Source Desugarer 0.1.2 defect new 02/22/10
#167 Missing constraints in interface files. Core Type Checker defect new 02/25/10
#168 Module exporter re-exports projections it has imported Unknown 0.1.2 defect new 02/26/10
#172 Lexer generates incorrect token sequence Source Parser defect erikd assigned 03/05/10
#173 Faliure to parse type annotations within list defintion Source Parser defect erikd assigned 03/06/10
#181 Fix display of node effects in type error messages Source Type Inferencer defect new 05/24/10
#188 Bad quantifier in type for "undefined" Source Type Inferencer 0.1.2 defect new 09/07/10
#16 Add type bindings Source Parser enhancement erikd new 05/12/09
#189 Check for missing quantifiers in type class definitions. Source Desugarer 0.1.2 defect new 09/19/10
#190 Bad parser error message Source Parser 0.1.2 defect new 10/20/10
#161 Implement let qualifiers for list comprehensions Source Parser 0.1.2 enhancement erikd assigned 02/21/10
#15 Ensure we're sharing constant values of enumeration type. Core Transforms newbie new 05/12/09
#1 Check for partial application of functions to unboxed args. Core to Sea Translation 0.1.2 defect new 05/12/09

0.1.4 Release (8 matches)

Ticket Summary Component Version Type Owner Status Created
#67 Compiler panic applying polymorphic functions to unboxed values Core Type Checker 0.1.2 defect new 05/14/09
#68 Do kind checking during constraint generation. Source Type Inferencer 0.1.2 defect new 05/14/09
#79 Kind inference checking problem for mutable tuples Source Type Inferencer 0.1.2 defect None new 05/14/09
#34 Check inferred type against signatures. Source Type Inferencer enhancement new 05/13/09
#40 Check for overlapping projection dictionaries during type inference Source Parser 0.1.2 defect new 05/13/09
#19 Erase calls to prim.force on objects in direct regions during Core.Simplify Core Transforms enhancement new 05/12/09
#41 Refactor occurance checker to improve speed. Source Type Inferencer refactor new 05/13/09
#9 Disallow unboxed data being present in function closures. Core Type Checker 0.1.2 defect new 05/12/09

0.1.5 Release (11 matches)

Ticket Summary Component Version Type Owner Status Created
#83 Look in data definition when checking dangerous vars Source Type Inferencer enhancement new 05/14/09
#86 Use Haskell/GHC style pragma instead of a pragma keyword Build System 0.1.2 newbie new 06/24/09
#50 Emit error for dangerous vars at top level. Source Type Inferencer 0.1.2 defect new 05/13/09
#11 Resurrect Core.Inline Core Transforms enhancement new 05/12/09
#20 Implement the rest of the primitive types. Libraries enhancement new 05/12/09
#52 Auto export class instance functions Source Desugarer enhancement new 05/13/09
#87 Support type constraints on constructor Source Parser 0.1.2 enhancement new 06/24/09
#88 Allow data fields to be listed with the offside rule Source Parser 0.1.2 enhancement new 06/24/09
#90 Support default instances in type class declarations. Source Parser 0.1.2 enhancement new 06/24/09
#157 Do a more fine-grained dangerous variables check Source Type Inferencer 0.1.2 enhancement new 02/10/10
#89 Test out effect constructors with interesting kinds Source Type Inferencer 0.1.2 task new 06/24/09

_|_ Release (2 matches)

Ticket Summary Component Version Type Owner Status Created
#107 Definition order should not be important in where block Source Semantics 0.1.2 enhancement steggles assigned 08/18/09
#108 No support for infix operator definitions Source Parser 0.1.2 enhancement steggles new 08/19/09
Note: See TracReports for help on using and creating reports.