{8} Active Tickets, Mine first (75 matches)

  • List all active tickets by priority.
  • Show all tickets owned by the logged in user in a group first.

Active Tickets (75 matches)

Ticket Summary Component Version Milestone Type Owner Status Created
#1 Check for partial application of functions to unboxed args. Core to Sea Translation 0.1.2 0.1.3 defect new 05/12/09
#2 Check class instances against their definitions. Type Inferencer 0.1.2 0.1.3 defect benl assigned 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
#6 Check format of source pragmas. Source Parser 0.1.2 defect new 05/12/09
#7 Merge projection dictionaries from different modules. Source Desugarer 0.1.2 0.1.3 defect erikd assigned 05/12/09
#8 Add a full set of unboxed casting operators. Libraries enhancement new 05/12/09
#9 Disallow unboxed data being present in function closures. Core Type Checker 0.1.2 0.1.4 defect new 05/12/09
#11 Resurrect Core.Inline Core Transforms 0.1.5 enhancement new 05/12/09
#12 Revisit exception mechanism Source Type Inferencer task 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
#15 Ensure we're sharing constant values of enumeration type. Core Transforms 0.1.3 newbie new 05/12/09
#16 Add type bindings Source Parser 0.1.3 enhancement erikd new 05/12/09
#17 Check profiling and ticky counters in runtime system and add tests Runtime System newbie new 05/12/09
#18 Refactor Core.Exp to push XPrim calls into new data type Core Transforms refactor new 05/12/09
#19 Erase calls to prim.force on objects in direct regions during Core.Simplify Core Transforms 0.1.4 enhancement new 05/12/09
#20 Implement the rest of the primitive types. Libraries 0.1.5 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
#24 Allow resumption of tests in bin/war test driver Build System enhancement new 05/13/09
#25 Investigate support for polymorphic recursion Source Type Inferencer task new 05/13/09
#27 Rewrite primitive functions from RTS in Disciple Libraries refactor new 05/13/09
#28 When defining projections, auto-open the other fns in the projection Source Parser enhancement new 05/13/09
#29 Check well-formedness of bound witnesses in letregion Build System enhancement new 05/13/09
#30 Emit a better error message when reading an empty interface file. Compilation Driver defect new 05/13/09
#31 Implement dictionary passing. Source to Core Translation enhancement new 05/13/09
#32 Don't panic if user Control-C's GCC Compilation Driver enhancement new 05/13/09
#34 Check inferred type against signatures. Source Type Inferencer 0.1.4 enhancement new 05/13/09
#35 Allow embedded mutually recursive definitions. Source Type Inferencer enhancement new 05/13/09
#37 Fix closure trimming of data types containing functions. Source Type Inferencer defect new 05/13/09
#38 Refactor Util.Pretty to use Data.Seq instead of Data.List Compilation Driver refactor new 05/13/09
#40 Check for overlapping projection dictionaries during type inference Source Parser 0.1.2 0.1.4 defect new 05/13/09
#41 Refactor occurance checker to improve speed. Source Type Inferencer 0.1.4 refactor new 05/13/09
#44 Fix elaboration of recursive data types. Source Type Inferencer defect new 05/13/09
#46 Compile base libraries into .so Compilation Driver enhancement new 05/13/09
#47 Package DDC into Cabal, and streamline install process. Build System task new 05/13/09
#48 Make a better graphics library Libraries task new 05/13/09
#49 Add monadic do expressions. Source Parser enhancement new 05/13/09
#50 Emit error for dangerous vars at top level. Source Type Inferencer 0.1.2 0.1.5 defect new 05/13/09
#52 Auto export class instance functions Source Desugarer 0.1.5 enhancement 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
#67 Compiler panic applying polymorphic functions to unboxed values Core Type Checker 0.1.2 0.1.4 defect new 05/14/09
#68 Do kind checking during constraint generation. Source Type Inferencer 0.1.2 0.1.4 defect new 05/14/09
#70 Implement operator sectioning Source Parser enhancement erikd new 05/14/09
#73 Bad core generated for recursive function with projections Source to Core Translation 0.1.2 0.1.3 defect new 05/14/09
#79 Kind inference checking problem for mutable tuples Source Type Inferencer 0.1.2 0.1.4 defect None new 05/14/09
#81 Bug in core type checker Build System 0.1.2 0.1.3 defect new 05/14/09
#83 Look in data definition when checking dangerous vars Source Type Inferencer 0.1.5 enhancement new 05/14/09
#85 Create large pinned memory blocks automatically Runtime System enhancement new 05/14/09
#86 Use Haskell/GHC style pragma instead of a pragma keyword Build System 0.1.2 0.1.5 newbie new 06/24/09
#87 Support type constraints on constructor Source Parser 0.1.2 0.1.5 enhancement new 06/24/09
#88 Allow data fields to be listed with the offside rule Source Parser 0.1.2 0.1.5 enhancement new 06/24/09
#89 Test out effect constructors with interesting kinds Source Type Inferencer 0.1.2 0.1.5 task new 06/24/09
#90 Support default instances in type class declarations. Source Parser 0.1.2 0.1.5 enhancement new 06/24/09
#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
#145 Add a point free case expression Source Parser enhancement new 11/05/09
#155 PANIC "mergeClasses: classes have differing kinds" in my Hashtable first cut Core Type Checker 0.1.2 0.1.3 defect benl assigned 02/01/10
#157 Do a more fine-grained dangerous variables check Source Type Inferencer 0.1.2 0.1.5 enhancement new 02/10/10
#160 Runtime crash with recursive bindings Runtime System 0.1.2 0.1.3 defect new 02/21/10
#161 Implement let qualifiers for list comprehensions Source Parser 0.1.2 0.1.3 enhancement erikd assigned 02/21/10
#163 Elaboration of class constructors isn't respecting their kinds Source Desugarer 0.1.2 0.1.3 defect new 02/22/10
#167 Missing constraints in interface files. Core Type Checker 0.1.3 defect new 02/25/10
#168 Module exporter re-exports projections it has imported Unknown 0.1.2 0.1.3 defect new 02/26/10
#172 Lexer generates incorrect token sequence Source Parser 0.1.3 defect erikd assigned 03/05/10
#173 Faliure to parse type annotations within list defintion Source Parser 0.1.3 defect erikd assigned 03/06/10
#181 Fix display of node effects in type error messages Source Type Inferencer 0.1.3 defect new 05/24/10
#185 Refactor function ddcCompile to use ddcMake Build System refactor new 07/17/10
#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
#188 Bad quantifier in type for "undefined" Source Type Inferencer 0.1.2 0.1.3 defect new 09/07/10
#189 Check for missing quantifiers in type class definitions. Source Desugarer 0.1.2 0.1.3 defect new 09/19/10
#190 Bad parser error message Source Parser 0.1.2 0.1.3 defect new 10/20/10
Note: See TracReports for help on using and creating reports.