{2} Active Tickets by Version (61 matches)

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

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

0.1.2 (1 match)

Ticket Summary Component Version Type Owner Status Created
#15 Share constant enumeration values. Core Transforms 0.1.2 feature new May 12, 2009

0.2.1 (5 matches)

Ticket Summary Component Version Type Owner Status Created
#273 Handle hierarchical module names Core Parser 0.2.1 feature benl new Nov 7, 2012
#280 Rewrites should be done with the most specific rule. Core Transforms 0.2.1 feature new Nov 13, 2012
#281 Well-formedness check for distinct witnesses is too strict. Core Type Checker 0.2.1 feature new Nov 14, 2012
#276 Delay lifting of indices in type environments. Core Type Checker 0.2.1 refactor new Nov 7, 2012
#298 Need a more efficient way to compute the aliasing measure. Core Transforms 0.2.1 bug new Dec 22, 2012

0.3.0 (1 match)

Ticket Summary Component Version Type Owner Status Created
#301 Speed up generation of anti-aliasing metadata. Core to Salt 0.3.0 feature new Jan 5, 2013

0.3.2 (3 matches)

Ticket Summary Component Version Type Owner Status Created
#321 Use internal linkage for symbols that aren't exported. Salt to LLVM 0.3.2 feature new Mar 1, 2014
#322 Make wrappers for exported functions Core to Salt 0.3.2 feature new Mar 1, 2014
#323 Insert type lambdas during inference with higher ranked types. Core Type Checker 0.3.2 feature new Mar 1, 2014

0.4.1 (9 matches)

Ticket Summary Component Version Type Owner Status Created
#347 Avoid name capture in dischargeConsWithElims Core Transforms 0.4.1 bug new Apr 17, 2016
#348 Restrict types of things that can be foreign imported Source Typing 0.4.1 bug new Apr 17, 2016
#350 Core to Salt conversion of let-bound type applications is incomplete. Core to Salt 0.4.1 bug new Apr 17, 2016
#360 Remove need for extra Unit parameter on main function Source to Core 0.4.1 feature new Apr 27, 2016
#330 Lambda lifter doesn't work with anonymous binders. Core Transforms 0.4.1 bug new Apr 5, 2014
#332 Type inference does not handle deBruijn variables. Core Type Checker 0.4.1 bug new Aug 3, 2014
#54 Support value recursion Source Semantics 0.4.1 feature steggles new May 13, 2009
#108 Support infix operator definitions Source Parser 0.4.1 feature steggles new Aug 19, 2009
#303 Allow builtin type names to be reused as data constructor names. Core Parser 0.4.1 feature steggles new Mar 15, 2013

0.4.2 (38 matches)

Ticket Summary Component Version Type Owner Status Created
#367 Block comments mess up line numbering in error messages. Source Parser 0.4.2 bug new Jul 21, 2016
#370 Unterminated comments are not being detected in T271-UnterminatedComment Source Parser 0.4.2 bug new Aug 23, 2016
#373 Check that type equations are not recursive. Core Type Checker 0.4.2 bug new Aug 31, 2016
#374 Check specified kinds of type equations against their infered kinds. Core Type Checker 0.4.2 bug new Aug 31, 2016
#403 Fix specification of separate signatures with higher kinded type vars. Source to Core 0.4.2 bug new Apr 17, 2017
#404 Need to freshen names of type vars when elaborating local sigs. Source to Core 0.4.2 bug new Apr 17, 2017
#408 No source locations for import and export errors. Source Typing 0.4.2 bug new Jul 16, 2017
#409 No source locations for kind mismatch errors Source Typing 0.4.2 bug new Jul 16, 2017
#410 Check for case on foreign abstract data. Source Typing 0.4.2 bug new Jul 16, 2017
#414 Inlining a function with guards into a guard causes LLVM dominator error. Salt to LLVM 0.4.2 bug new Jul 18, 2017
#415 Implicit resolver gets caught in a loop if result type of fn matches a parameter. Core Transforms 0.4.2 bug new Jul 18, 2017
#416 Data type decls are not checked that all tyvars in result type of ctors appear as params. Source Typing 0.4.2 bug new Jul 18, 2017
#417 Do binding against a pattern yields a "bad pattern error" Source Desugarer 0.4.2 bug new Jul 18, 2017
#423 Closing Shimmer REPL with Control-D causes prompt to print indefinately. Shimmer 0.4.2 bug new Jul 18, 2017
#424 Explicit box keyword required in more places than it should be. Source Typing 0.4.2 bug new Jul 18, 2017
#427 Clash in type var names with nested signatures. Source Typing 0.4.2 bug new Jul 18, 2017
#429 In Expand transform, env management is wrong for non-recursive clauses. Core Transforms 0.4.2 bug new Jul 18, 2017
#430 In BoundX transform, management of debruijn depth is wrong. Core Transforms 0.4.2 bug new Jul 18, 2017
#431 Sub_Implicit_Right rule assumes functional expression has no effects. Source Typing 0.4.2 bug new Jul 18, 2017
#438 Type checker instantiation judgement assumes all tycon params are covariant. Source Typing 0.4.2 bug new Aug 6, 2017
#450 Division by zero in the LLVM generated code has undefined behaviour Salt to LLVM 0.4.2 bug new May 16, 2018
#451 The 'mod' function in LLVM generated code is not implemented. Salt to LLVM 0.4.2 bug new May 16, 2018
#369 Auto wrap foreign primitives and primops when passed to higher order functions. Core to Salt 0.4.2 feature new Aug 23, 2016
#372 Implement name spacing Source to Core 0.4.2 feature new Aug 31, 2016
#380 In source lexer, handle hex literals with size specifiers. Source Parser 0.4.2 feature new Sep 2, 2016
#385 Make type inference work with non-trivial type synonyms Source Typing 0.4.2 feature new Sep 5, 2016
#386 Better inference when case alternatives have differing effects. Source Typing 0.4.2 feature new Sep 6, 2016
#387 Insert local 'private' constructs. Core Transforms 0.4.2 feature new Nov 22, 2016
#391 Allow pattern bindings at top-level. Source Parser 0.4.2 feature new Jan 3, 2017
#395 Better inference for effectful case expressions. Source Typing 0.4.2 feature new Jan 3, 2017
#396 When there is no export declaration in a module then export everything. Source Desugarer 0.4.2 feature new Jan 3, 2017
#406 Auto run and rebox suspension types in the body of private constructs. Source Typing 0.4.2 feature new Apr 17, 2017
#407 Auto box expressions if the expected type is a suspension Source Typing 0.4.2 feature new Apr 17, 2017
#411 Allow types of pattern binders to be specified in source language Source Parser 0.4.2 feature new Jul 16, 2017
#418 In Shimmer combinateSKI don't require all combinators to be supplied in public interface. Shimmer 0.4.2 feature new Jul 18, 2017
#439 Avoid copying strings via lists in Stdlib.ds Libraries 0.4.2 feature new Oct 23, 2017
#440 Use Addr# type instead of Nat# in Stdlib.ds Libraries 0.4.2 feature new Oct 23, 2017
#433 Refactor constructData to take only the fields it uses. Core Transforms 0.4.2 refactor new Jul 18, 2017

none (4 matches)

Ticket Summary Component Version Type Owner Status Created
#444 Build info tables for each object at module init time. Runtime System none feature benl new Mar 2, 2018
#445 Add a compute cost stack and a primop to measure the cost of a computation. Runtime System none feature new Mar 2, 2018
#446 Implement hashing for the Shimmer Expression AST Shimmer none feature benl new Mar 2, 2018
#447 Add an index to Shimmer store files so we can lookup decls in constant-ish time. Shimmer none feature new Mar 2, 2018
Note: See TracReports for help on using and creating reports.