Custom Query (75 matches)

Filters
 
Columns

Show under each result:


Owner: benl (2 matches)

Ticket Summary Status Type Priority Milestone Component
#2 Check class instances against their definitions. assigned defect blocker 0.1.3 Type Inferencer
#155 PANIC "mergeClasses: classes have differing kinds" in my Hashtable first cut assigned defect blocker 0.1.3 Core Type Checker

Owner: erikd (6 matches)

Ticket Summary Status Type Priority Milestone Component
#7 Merge projection dictionaries from different modules. assigned defect blocker 0.1.3 Source Desugarer
#16 Add type bindings new enhancement blocker 0.1.3 Source Parser
#161 Implement let qualifiers for list comprehensions assigned enhancement normal 0.1.3 Source Parser
#172 Lexer generates incorrect token sequence assigned defect blocker 0.1.3 Source Parser
#173 Faliure to parse type annotations within list defintion assigned defect blocker 0.1.3 Source Parser
#70 Implement operator sectioning new enhancement project Source Parser

Owner: steggles (2 matches)

Ticket Summary Status Type Priority Milestone Component
#107 Definition order should not be important in where block assigned enhancement project _|_ Source Semantics
#108 No support for infix operator definitions new enhancement project _|_ Source Parser

Owner: None (65 matches)

Ticket Summary Status Type Priority Milestone Component
#79 Kind inference checking problem for mutable tuples new defect blocker 0.1.4 Source Type Inferencer
#1 Check for partial application of functions to unboxed args. new defect minor 0.1.3 Core to Sea Translation
#15 Ensure we're sharing constant values of enumeration type. new newbie normal 0.1.3 Core Transforms
#73 Bad core generated for recursive function with projections new defect blocker 0.1.3 Source to Core Translation
#81 Bug in core type checker new defect blocker 0.1.3 Build System
#160 Runtime crash with recursive bindings new defect blocker 0.1.3 Runtime System
#163 Elaboration of class constructors isn't respecting their kinds new defect blocker 0.1.3 Source Desugarer
#167 Missing constraints in interface files. new defect blocker 0.1.3 Core Type Checker
#168 Module exporter re-exports projections it has imported new defect blocker 0.1.3 Unknown
#181 Fix display of node effects in type error messages new defect blocker 0.1.3 Source Type Inferencer
#188 Bad quantifier in type for "undefined" new defect blocker 0.1.3 Source Type Inferencer
#189 Check for missing quantifiers in type class definitions. new defect normal 0.1.3 Source Desugarer
#190 Bad parser error message new defect normal 0.1.3 Source Parser
#9 Disallow unboxed data being present in function closures. new defect minor 0.1.4 Core Type Checker
#19 Erase calls to prim.force on objects in direct regions during Core.Simplify new enhancement normal 0.1.4 Core Transforms
#34 Check inferred type against signatures. new enhancement blocker 0.1.4 Source Type Inferencer
#40 Check for overlapping projection dictionaries during type inference new defect normal 0.1.4 Source Parser
#41 Refactor occurance checker to improve speed. new refactor normal 0.1.4 Source Type Inferencer
#67 Compiler panic applying polymorphic functions to unboxed values new defect blocker 0.1.4 Core Type Checker
#68 Do kind checking during constraint generation. new defect blocker 0.1.4 Source Type Inferencer
#11 Resurrect Core.Inline new enhancement normal 0.1.5 Core Transforms
#20 Implement the rest of the primitive types. new enhancement normal 0.1.5 Libraries
#50 Emit error for dangerous vars at top level. new defect normal 0.1.5 Source Type Inferencer
#52 Auto export class instance functions new enhancement normal 0.1.5 Source Desugarer
#83 Look in data definition when checking dangerous vars new enhancement blocker 0.1.5 Source Type Inferencer
#86 Use Haskell/GHC style pragma instead of a pragma keyword new newbie blocker 0.1.5 Build System
#87 Support type constraints on constructor new enhancement normal 0.1.5 Source Parser
#88 Allow data fields to be listed with the offside rule new enhancement normal 0.1.5 Source Parser
#89 Test out effect constructors with interesting kinds new task normal 0.1.5 Source Type Inferencer
#90 Support default instances in type class declarations. new enhancement normal 0.1.5 Source Parser
#157 Do a more fine-grained dangerous variables check new enhancement normal 0.1.5 Source Type Inferencer
#3 Check Shape witnesses in core new enhancement minor Core Type Checker
#4 Check for unsound erasure of type lambdas in core to sea translation new enhancement minor Core to Sea Translation
#6 Check format of source pragmas. new defect minor Source Parser
#8 Add a full set of unboxed casting operators. new enhancement project Libraries
#12 Revisit exception mechanism new task project Source Type Inferencer
#13 Share GC stack slots in Sea code new enhancement project Core to Sea Translation
#14 Implement full laziness transform new enhancement project Core Transforms
#17 Check profiling and ticky counters in runtime system and add tests new newbie normal Runtime System
#18 Refactor Core.Exp to push XPrim calls into new data type new refactor minor Core Transforms
#22 Mask mutability constraints on fresh data new enhancement project Source Type Inferencer
#23 Mask effects on fresh data new enhancement project Source Type Inferencer
#24 Allow resumption of tests in bin/war test driver new enhancement normal Build System
#25 Investigate support for polymorphic recursion new task project Source Type Inferencer
#27 Rewrite primitive functions from RTS in Disciple new refactor project Libraries
#28 When defining projections, auto-open the other fns in the projection new enhancement project Source Parser
#29 Check well-formedness of bound witnesses in letregion new enhancement minor Build System
#30 Emit a better error message when reading an empty interface file. new defect trivial Compilation Driver
#31 Implement dictionary passing. new enhancement project Source to Core Translation
#32 Don't panic if user Control-C's GCC new enhancement minor Compilation Driver
#35 Allow embedded mutually recursive definitions. new enhancement project Source Type Inferencer
#37 Fix closure trimming of data types containing functions. new defect normal Source Type Inferencer
#38 Refactor Util.Pretty to use Data.Seq instead of Data.List new refactor minor Compilation Driver
#44 Fix elaboration of recursive data types. new defect project Source Type Inferencer
#46 Compile base libraries into .so new enhancement minor Compilation Driver
#47 Package DDC into Cabal, and streamline install process. new task normal Build System
#48 Make a better graphics library new task project Libraries
#49 Add monadic do expressions. new enhancement project Source Parser
#54 Allow non-effectful CAFs to be recursive. new task project Build System
#63 Mask closure terms which are constant new task project Source Type Inferencer
#85 Create large pinned memory blocks automatically new enhancement minor Runtime System
#145 Add a point free case expression new enhancement minor Source Parser
#185 Refactor function ddcCompile to use ddcMake new refactor minor Build System
#186 Source.Defix.hs: Non-exhaustive patterns in lambda new newbie normal Source Semantics
#187 Write tests for Data,ArrayU module. new newbie normal Runtime System
Note: See TracQuery for help on using queries.