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

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

Active Tickets (61 matches)

Ticket Summary Component Version Milestone Type Owner Status Created
#15 Share constant enumeration values. Core Transforms 0.1.2 feature new May 12, 2009
#273 Handle hierarchical module names Core Parser 0.2.1 feature benl new Nov 7, 2012
#281 Well-formedness check for distinct witnesses is too strict. Core Type Checker 0.2.1 feature new Nov 14, 2012
#385 Make type inference work with non-trivial type synonyms Source Typing 0.4.2 feature new Sep 5, 2016
#444 Build info tables for each object at module init time. Runtime System none memoizer feature benl new Mar 2, 2018
#446 Implement hashing for the Shimmer Expression AST Shimmer none memoizer feature benl new Mar 2, 2018
#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
#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
#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
#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
#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
#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
#280 Rewrites should be done with the most specific rule. Core Transforms 0.2.1 feature new Nov 13, 2012
#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
#360 Remove need for extra Unit parameter on main function Source to Core 0.4.1 feature new Apr 27, 2016
#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
#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
#276 Delay lifting of indices in type environments. Core Type Checker 0.2.1 refactor new Nov 7, 2012
#445 Add a compute cost stack and a primop to measure the cost of a computation. Runtime System none memoizer feature new Mar 2, 2018
#447 Add an index to Shimmer store files so we can lookup decls in constant-ish time. Shimmer none memoizer feature new Mar 2, 2018
#298 Need a more efficient way to compute the aliasing measure. Core Transforms 0.2.1 bug new Dec 22, 2012
#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
#301 Speed up generation of anti-aliasing metadata. Core to Salt 0.3.0 feature new Jan 5, 2013
Note: See TracReports for help on using and creating reports.