{3} Active Tickets by Milestone (53 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 (25 matches)

Ticket Summary Component Version Type Owner Status Created
#15 Constant enumeration values are not being shared. Core Transforms 0.1.2 defect new May 12, 2009
#298 Need a more efficient way to compute the aliasing measure. Core to Sea Translation 0.2.1 defect new Dec 22, 2012
#301 Metadata generation is too slow Core to Sea Translation 0.3.0 defect new Jan 5, 2013
#320 Handle all the import/export combinations. Core to Sea Translation 0.3.2 defect new Mar 1, 2014
#332 Type inference does not handle deBruijn variables. Core Type Checker 0.4.1 defect new Aug 3, 2014
#339 Properly integrate llvm opt support Compilation Driver 0.4.1 defect new Oct 20, 2014
#347 Avoid name capture in dischargeConsWithElims Unknown 0.4.1 defect new Apr 17, 2016
#384 Unshare transform produces AST node with wrong type annotation. Core Transforms 0.4.2 defect new Sep 2, 2016
#392 Repair C code generator Core to Sea Translation 0.4.2 defect new Jan 3, 2017
#393 Repair 32-bit runtime. Runtime System 0.4.2 defect new Jan 3, 2017
#396 When there is no export declaration in a module then export everything. Source Desugarer 0.4.2 defect new Jan 3, 2017
#397 Shift ddc-war into ddc-tools package. Build System 0.4.2 defect new Jan 3, 2017
#399 Shift development docs and tutorial info into man repo. Unknown 0.4.2 defect new Jan 3, 2017
#400 In Resolver, build maps of tycon to binding to improve performance. Source Type Inferencer 0.4.2 defect new Jan 3, 2017
#401 In Resolver, check for incoherent instances. Source Type Inferencer 0.4.2 defect new Jan 3, 2017
#280 Rewrites should be done with the most specific rule. Core Transforms 0.2.1 enhancement new Nov 13, 2012
#281 Well-formedness check for distinct witnesses is too strict. Core Type Checker 0.2.1 enhancement tranma new Nov 14, 2012
#299 Bubble casts out of recursive lets. Core Transforms 0.2.1 enhancement new Dec 22, 2012
#322 Make wrappers for exported functions Core to Sea Translation 0.3.2 enhancement new Mar 1, 2014
#323 Insert type lambdas during inference with higher ranked types. Core Type Checker 0.3.2 enhancement new Mar 1, 2014
#327 Allow external symbol to be specified with foreign C imports and exports. Source Parser 0.3.2 enhancement new Mar 2, 2014
#391 Allow pattern bindings at top-level. Source Parser 0.4.2 enhancement new Jan 3, 2017
#395 Better inference for effectful case expressions. Source Type Inferencer 0.4.2 enhancement new Jan 3, 2017
#276 Delay lifting of indices in type environments. Core Type Checker 0.2.1 refactor new Nov 7, 2012
#330 Lambda lifter doesn't work with anonymous binders. Core Transforms 0.4.1 defect new Apr 5, 2014

0.4.3 Release (12 matches)

Ticket Summary Component Version Type Owner Status Created
#350 Tetra to Salt conversion of let-bound type applications is incomplete. Core to Sea Translation 0.4.1 defect new Apr 17, 2016
#362 Loading a .dct file loses the arity pragmas Compilation Driver 0.4.1 defect new Apr 30, 2016
#367 Block comments mess up line numbering in error messages. Source Parser 0.4.2 defect new Jul 21, 2016
#370 Unterminated comments are not being detected in T271-UnterminatedComment Source Parser 0.4.2 defect new Aug 23, 2016
#389 Fix parsing of local recursive functions in 'do' syntax. Source Parser 0.4.2 defect new Nov 22, 2016
#390 make where bindings mutually recursive. Unknown 0.4.2 defect new Dec 29, 2016
#398 Make github front page contain some getting started or tutorial info, rather than release notes. Unknown 0.4.2 defect new Jan 3, 2017
#360 Remove need for extra Unit parameter on main function Source to Core Translation 0.4.1 enhancement new Apr 27, 2016
#363 Support multi-module core tetra code compilation. Compilation Driver 0.4.1 enhancement new Apr 30, 2016
#364 Namify Salt type sigs that are added to interface files. Unknown 0.4.1 enhancement new Apr 30, 2016
#385 Make type inference work with non-trivial type synonyms Core Type Checker 0.4.2 enhancement benl new Sep 5, 2016
#394 Check that the dependency extractor is just parsing the module header. Source Parser 0.4.2 enhancement new Jan 3, 2017

0.5.0 Release (13 matches)

Ticket Summary Component Version Type Owner Status Created
#321 Use internal linkage for symbols that aren't exported. Core to Sea Translation 0.3.2 defect new Mar 1, 2014
#348 Restrict types of things that can be foreign imported Unknown 0.4.1 defect new Apr 17, 2016
#373 Check that type equations are not recursive. Core Type Checker 0.4.2 defect new Aug 31, 2016
#374 Check specified kinds of type equations against their inferrer kinds. Core Type Checker 0.4.2 defect new Aug 31, 2016
#380 In source lexer, handle hex literals with size specifiers. Source Parser 0.4.2 defect new Sep 2, 2016
#381 Escape non-printable characters in base Show library. Libraries 0.4.2 defect new Sep 2, 2016
#388 When the compliance checker fails give a source location and more feedback. Source Type Inferencer 0.4.2 defect new Nov 22, 2016
#273 Handle hierarchical module names Core Parser 0.2.1 enhancement kylevb assigned Nov 7, 2012
#369 Auto wrap foreign primitives and primops when passed to higher order functions. Core to Sea Translation 0.4.2 enhancement new Aug 23, 2016
#372 Implement name spacing Source to Core Translation 0.4.2 enhancement new Aug 31, 2016
#379 Track variance information in type synonyms. Source Type Inferencer 0.4.2 enhancement new Sep 2, 2016
#386 Better inference when case alternatives have differing effects. Core Type Checker 0.4.2 enhancement new Sep 6, 2016
#387 Insert local 'private' constructs. Source Type Inferencer 0.4.2 enhancement new Nov 22, 2016

_|_ Release (3 matches)

Ticket Summary Component Version Type Owner Status Created
#54 Support value recursion Core to Sea Translation 0.4.1 enhancement steggles new May 13, 2009
#108 Support infix operator definitions Source Parser 0.4.1 enhancement steggles new Aug 19, 2009
#303 Allow builtin type names to be reused as data constructor names. Core Parser 0.4.1 enhancement steggles new Mar 15, 2013
Note: See TracReports for help on using and creating reports.