{6} All Tickets By Milestone (Including closed) (159 matches)

A more complex example to show how to make advanced reports.

Results (1 - 100 of 159)

1 2 →

_|_ (2 matches)

Ticket Summary Component Status Resolution Version Type Priority Owner Modified
#107 Definition order should not be important in where block Source Semantics assigned None 0.1.2 enhancement project steggles 09/07/10
#108 No support for infix operator definitions Source Parser new None 0.1.2 enhancement project steggles 09/07/10

0.1.5 (16 matches)

Ticket Summary Component Status Resolution Version Type Priority Owner Modified
#83 Look in data definition when checking dangerous vars Source Type Inferencer new None enhancement blocker 02/10/10
#86 Use Haskell/GHC style pragma instead of a pragma keyword Build System new None 0.1.2 newbie blocker 08/25/10
#11 Resurrect Core.Inline Core Transforms new None enhancement normal 09/19/10
#20 Implement the rest of the primitive types. Libraries new None enhancement normal 05/13/09
#50 Emit error for dangerous vars at top level. Source Type Inferencer new None 0.1.2 defect normal 09/19/10
#52 Auto export class instance functions Source Desugarer new None enhancement normal 05/13/09
#87 Support type constraints on constructor Source Parser new None 0.1.2 enhancement normal 09/19/10
#88 Allow data fields to be listed with the offside rule Source Parser new None 0.1.2 enhancement normal 06/24/09
#89 Test out effect constructors with interesting kinds Source Type Inferencer new None 0.1.2 task normal 06/24/09
#90 Support default instances in type class declarations. Source Parser new None 0.1.2 enhancement normal 06/24/09
#157 Do a more fine-grained dangerous variables check Source Type Inferencer new None 0.1.2 enhancement normal 09/19/10
#74 Finish implementation of constructor classes Source Type Inferencer closed fixed 0.1.2 defect normal 05/24/10
#45 Better error message for runtime pattern match failure Runtime System closed fixed 0.1.2 defect normal erikd 11/13/09
#42 Support unboxed CAFs Core to Sea Translation closed fixed 0.1.2 enhancement normal 11/04/09
#91 Require module imports (and exports) to be at the start of the module Source Parser closed fixed 0.1.2 enhancement normal erikd 09/03/09
#60 Matching against literal strings is broken Source Desugarer closed fixed 0.1.2 defect blocker 08/27/09

0.1.4 (13 matches)

Ticket Summary Component Status Resolution Version Type Priority Owner Modified
#34 Check inferred type against signatures. Source Type Inferencer new None enhancement blocker 01/31/10
#67 Compiler panic applying polymorphic functions to unboxed values Core Type Checker new None 0.1.2 defect blocker 09/23/10
#68 Do kind checking during constraint generation. Source Type Inferencer new None 0.1.2 defect blocker 05/14/09
#79 Kind inference checking problem for mutable tuples Source Type Inferencer new None 0.1.2 defect blocker None 02/07/10
#19 Erase calls to prim.force on objects in direct regions during Core.Simplify Core Transforms new None enhancement normal 05/12/09
#40 Check for overlapping projection dictionaries during type inference Source Parser new None 0.1.2 defect normal 09/19/10
#41 Refactor occurance checker to improve speed. Source Type Inferencer new None refactor normal 11/18/09
#9 Disallow unboxed data being present in function closures. Core Type Checker new None 0.1.2 defect minor 05/12/09
#26 Improve runtime of Core.Reconstruct. Core Type Checker closed fixed enhancement normal 08/07/10
#33 Check for conflicting projection functions. Build System closed fixed 0.1.2 defect normal erikd 11/15/09
#39 Emit an error if modules are recursive. Compilation Driver closed fixed defect normal erikd 11/13/09
#71 Better error message for unimplemented class functions Source Parser closed fixed 0.1.2 defect blocker erikd 11/12/09
#53 Check for name shadowing in forall quantifiers. Source Parser closed fixed 0.1.2 defect blocker erikd 11/09/09

0.1.3 (69 matches)

Ticket Summary Component Status Resolution Version Type Priority Owner Modified
#2 Check class instances against their definitions. Type Inferencer assigned None 0.1.2 defect blocker benl 10/04/10
#7 Merge projection dictionaries from different modules. Source Desugarer assigned None 0.1.2 defect blocker erikd 03/06/10
#16 Add type bindings Source Parser new None enhancement blocker erikd 02/05/10
#73 Bad core generated for recursive function with projections Source to Core Translation new None 0.1.2 defect blocker 01/12/10
#81 Bug in core type checker Build System new None 0.1.2 defect blocker 05/14/09
#155 PANIC "mergeClasses: classes have differing kinds" in my Hashtable first cut Core Type Checker assigned None 0.1.2 defect blocker benl 02/15/10
#160 Runtime crash with recursive bindings Runtime System new None 0.1.2 defect blocker 02/21/10
#163 Elaboration of class constructors isn't respecting their kinds Source Desugarer new None 0.1.2 defect blocker 02/22/10
#167 Missing constraints in interface files. Core Type Checker new None defect blocker 02/25/10
#168 Module exporter re-exports projections it has imported Unknown new None 0.1.2 defect blocker 04/18/10
#172 Lexer generates incorrect token sequence Source Parser assigned None defect blocker erikd 03/07/10
#173 Faliure to parse type annotations within list defintion Source Parser assigned None defect blocker erikd 03/06/10
#181 Fix display of node effects in type error messages Source Type Inferencer new None defect blocker 05/24/10
#188 Bad quantifier in type for "undefined" Source Type Inferencer new None 0.1.2 defect blocker 09/07/10
#15 Ensure we're sharing constant values of enumeration type. Core Transforms new None newbie normal 08/25/10
#161 Implement let qualifiers for list comprehensions Source Parser assigned None 0.1.2 enhancement normal erikd 03/07/10
#189 Check for missing quantifiers in type class definitions. Source Desugarer new None 0.1.2 defect normal 09/19/10
#190 Bad parser error message Source Parser new None 0.1.2 defect normal 10/20/10
#1 Check for partial application of functions to unboxed args. Core to Sea Translation new None 0.1.2 defect minor 11/18/09
#191 ddc doesn't find modules in current directory Compilation Driver closed fixed 0.1.2 defect blocker erikd 11/07/10
#175 Bad pattern match code generated for list comprehension Core to Sea Translation closed fixed defect blocker erikd 10/03/10
#171 Parse error on list comprehension Source Parser closed fixed 0.1.2 defect blocker bens 10/03/10
#82 Shape crusher isn't preserving effect and closure terms Source Type Inferencer closed fixed 0.1.2 defect blocker benl 09/19/10
#102 Closure/IntFun test produces bad core when compiled with -O Core Transforms closed fixed 0.1.2 defect blocker 09/19/10
#182 Fix Order4-5 example Source Type Inferencer closed fixed defect blocker benl 08/26/10
#154 Refactor TFetters to TConstrained Source Type Inferencer closed fixed 0.1.2 refactor blocker benl 08/13/10
#152 Merge Core.Util.Pack with Type.Util.Pack Source Type Inferencer closed fixed 0.1.2 refactor blocker benl 08/08/10
#183 Fix minimumBy thing in raytracer Core Type Checker closed fixed 0.1.2 defect blocker 08/07/10
#153 Merge Core.Util.Trim with Type.Util.Trim Source Type Inferencer closed fixed 0.1.2 refactor blocker benl 06/07/10
#149 PANIC in Type.Crush.Unify Core Type Checker closed fixed 0.1.2 defect blocker benl 05/24/10
#178 PANIC in Core.Reconstruct reconX/Prim due to using boxInt32 where a polymorphic function is expected. Core Transforms closed duplicate defect blocker 05/04/10
#179 ddc: Bad code generated for statement containing nothing but a curried function. Core to Sea Translation closed fixed defect blocker erikd 05/02/10
#80 Allow projections to be added foreign imported unboxed types Source Desugarer closed fixed 0.1.2 defect blocker erikd 04/28/10
#180 Segmentation fault on updating a Ref Runtime System closed fixed defect blocker Tac-Tics 04/18/10
#177 Configure does not correctly detect 32 bit user space on 64 bit kernel Build System closed fixed defect blocker erikd 03/22/10
#43 Core.Reconstruct isn't using the PCtor defs. Source to Core Translation closed fixed refactor blocker 03/17/10
#174 Type mismatch during unification Source Parser closed fixed defect blocker erikd 03/08/10
#147 Parse error on let Source Parser closed fixed 0.1.2 defect blocker erikd 03/04/10
#162 Handle patterns in left of list comprehension generators. Source Desugarer closed fixed 0.1.2 defect blocker erikd 03/02/10
#170 Improve warning message output and extend war driver to check for warnings. Source Semantics closed fixed enhancement blocker erikd 02/28/10
#151 PANIC in Source.DefixApps ($ do) Source Desugarer closed fixed 0.1.2 defect blocker erikd 02/27/10
#169 Module exporter re-exports projections it has imported Unknown closed duplicate 0.1.2 defect blocker 02/26/10
#5 Check that top level CAFs don't have side effects. Core Type Checker closed fixed 0.1.2 defect blocker bens 02/26/10
#165 Fix build dependencies Build System closed fixed defect normal erikd 02/23/10
#159 Infix quotes have wrong precedence Libraries closed fixed 0.1.2 defect blocker erikd 02/23/10
#166 Infixl/Infixr do not accept backtick quote names Source Parser closed fixed 0.1.2 defect blocker erikd 02/23/10
#164 TinyPTC-X11 doesn't build on Debian unstable Build System closed fixed defect blocker erikd 02/23/10
#158 PANIC in Type.Solve : floatBranch: can't find branch for index Compilation Driver closed fixed 0.1.2 defect blocker benl 02/18/10
#143 Type signature without implementation should be an error Source Semantics closed fixed 0.1.2 defect blocker benl 02/18/10
#142 Export type followed by data definition incorrectly results in ErrorRdefinedData Source Parser closed fixed 0.1.2 defect blocker benl 02/17/10
#99 Finding which modules needs to be rebuilt is grossly inefficient. Runtime System closed fixed 0.1.2 defect blocker erikd 02/06/10
#76 Compilation time is exponential in depth of constructor nesting Source Type Inferencer closed fixed task blocker 01/12/10
#150 PANIC in Type.Location Core Type Checker closed fixed 0.1.2 defect blocker 01/12/10
#75 Unresolved TApp during inference Source Type Inferencer closed fixed 0.1.2 defect blocker 01/12/10
#148 DDC fails the man or boy test. Unknown closed invalid 0.1.2 defect blocker erikd 11/17/09
#77 crushProjClassT panics when there are type errors Source Type Inferencer closed fixed 0.1.2 defect blocker erikd 11/09/09
#72 Kind error with projections in recursive function Source Type Inferencer closed fixed 0.1.2 defect blocker None 11/06/09
#144 Need better error message when source file does not exist Compilation Driver closed fixed 0.1.2 defect blocker erikd 11/04/09
#78 Renamer problems in data type defs Source Parser closed fixed 0.1.2 defect blocker 11/02/09
#58 Panic in type inferencer Source Type Inferencer closed fixed 0.1.2 defect blocker 11/02/09
#55 Combine function bindings in projection dictionaries Source Desugarer closed fixed 0.1.2 defect blocker 08/27/09
#69 Better error message when region and closure vars appear in terms Source Parser closed fixed 0.1.2 defect blocker benl 08/27/09
#92 Better error message when trying to define an instance of an unknown class Source Parser closed fixed 0.1.2 defect blocker benl 08/27/09
#56 Bad core produced from lambda abstraction Source to Core Translation closed duplicate 0.1.2 defect blocker 08/27/09
#104 Renamer problem with class functions Source Desugarer closed fixed 0.1.2 defect blocker 08/20/09
#96 ellipsis in list generator expressions not comprehensive enough Unknown closed fixed defect normal erikd 08/16/09
#84 Fix postgeneralisation check. Source Type Inferencer closed fixed 0.1.2 defect blocker 08/16/09
#97 Error in parsing end of {- -} comments Source Parser closed fixed 0.1.2 defect normal erikd 08/10/09
#100 Output gets printed twice Source Type Inferencer closed fixed 0.1.2 defect blocker benl 08/04/09
1 2 →
Note: See TracReports for help on using and creating reports.