{1} Active Tickets (61 matches)

  • List all active tickets by priority.
  • Color each row based on priority.
  • If a ticket has been accepted, a '*' is appended after the owner's name
Ticket Summary Type Component Version Milestone Owner Created
#444 Build info tables for each object at module init time. feature Runtime System none memoizer benl Mar 2, 2018
#445 Add a compute cost stack and a primop to measure the cost of a computation. feature Runtime System none memoizer Mar 2, 2018
#446 Implement hashing for the Shimmer Expression AST feature Shimmer none memoizer benl Mar 2, 2018
#447 Add an index to Shimmer store files so we can lookup decls in constant-ish time. feature Shimmer none memoizer Mar 2, 2018
#347 Avoid name capture in dischargeConsWithElims bug Core Transforms 0.4.1 Apr 17, 2016
#348 Restrict types of things that can be foreign imported bug Source Typing 0.4.1 Apr 17, 2016
#350 Core to Salt conversion of let-bound type applications is incomplete. bug Core to Salt 0.4.1 Apr 17, 2016
#367 Block comments mess up line numbering in error messages. bug Source Parser 0.4.2 Jul 21, 2016
#370 Unterminated comments are not being detected in T271-UnterminatedComment bug Source Parser 0.4.2 Aug 23, 2016
#373 Check that type equations are not recursive. bug Core Type Checker 0.4.2 Aug 31, 2016
#374 Check specified kinds of type equations against their infered kinds. bug Core Type Checker 0.4.2 Aug 31, 2016
#403 Fix specification of separate signatures with higher kinded type vars. bug Source to Core 0.4.2 Apr 17, 2017
#404 Need to freshen names of type vars when elaborating local sigs. bug Source to Core 0.4.2 Apr 17, 2017
#408 No source locations for import and export errors. bug Source Typing 0.4.2 Jul 16, 2017
#409 No source locations for kind mismatch errors bug Source Typing 0.4.2 Jul 16, 2017
#410 Check for case on foreign abstract data. bug Source Typing 0.4.2 Jul 16, 2017
#414 Inlining a function with guards into a guard causes LLVM dominator error. bug Salt to LLVM 0.4.2 Jul 18, 2017
#415 Implicit resolver gets caught in a loop if result type of fn matches a parameter. bug Core Transforms 0.4.2 Jul 18, 2017
#416 Data type decls are not checked that all tyvars in result type of ctors appear as params. bug Source Typing 0.4.2 Jul 18, 2017
#417 Do binding against a pattern yields a "bad pattern error" bug Source Desugarer 0.4.2 Jul 18, 2017
#423 Closing Shimmer REPL with Control-D causes prompt to print indefinately. bug Shimmer 0.4.2 Jul 18, 2017
#424 Explicit box keyword required in more places than it should be. bug Source Typing 0.4.2 Jul 18, 2017
#427 Clash in type var names with nested signatures. bug Source Typing 0.4.2 Jul 18, 2017
#429 In Expand transform, env management is wrong for non-recursive clauses. bug Core Transforms 0.4.2 Jul 18, 2017
#430 In BoundX transform, management of debruijn depth is wrong. bug Core Transforms 0.4.2 Jul 18, 2017
#431 Sub_Implicit_Right rule assumes functional expression has no effects. bug Source Typing 0.4.2 Jul 18, 2017
#438 Type checker instantiation judgement assumes all tycon params are covariant. bug Source Typing 0.4.2 Aug 6, 2017
#450 Division by zero in the LLVM generated code has undefined behaviour bug Salt to LLVM 0.4.2 May 16, 2018
#451 The 'mod' function in LLVM generated code is not implemented. bug Salt to LLVM 0.4.2 May 16, 2018
#15 Share constant enumeration values. feature Core Transforms 0.1.2 May 12, 2009
#273 Handle hierarchical module names feature Core Parser 0.2.1 benl Nov 7, 2012
#280 Rewrites should be done with the most specific rule. feature Core Transforms 0.2.1 Nov 13, 2012
#281 Well-formedness check for distinct witnesses is too strict. feature Core Type Checker 0.2.1 Nov 14, 2012
#321 Use internal linkage for symbols that aren't exported. feature Salt to LLVM 0.3.2 Mar 1, 2014
#322 Make wrappers for exported functions feature Core to Salt 0.3.2 Mar 1, 2014
#323 Insert type lambdas during inference with higher ranked types. feature Core Type Checker 0.3.2 Mar 1, 2014
#360 Remove need for extra Unit parameter on main function feature Source to Core 0.4.1 Apr 27, 2016
#369 Auto wrap foreign primitives and primops when passed to higher order functions. feature Core to Salt 0.4.2 Aug 23, 2016
#372 Implement name spacing feature Source to Core 0.4.2 Aug 31, 2016
#380 In source lexer, handle hex literals with size specifiers. feature Source Parser 0.4.2 Sep 2, 2016
#385 Make type inference work with non-trivial type synonyms feature Source Typing 0.4.2 Sep 5, 2016
#386 Better inference when case alternatives have differing effects. feature Source Typing 0.4.2 Sep 6, 2016
#387 Insert local 'private' constructs. feature Core Transforms 0.4.2 Nov 22, 2016
#391 Allow pattern bindings at top-level. feature Source Parser 0.4.2 Jan 3, 2017
#395 Better inference for effectful case expressions. feature Source Typing 0.4.2 Jan 3, 2017
#396 When there is no export declaration in a module then export everything. feature Source Desugarer 0.4.2 Jan 3, 2017
#406 Auto run and rebox suspension types in the body of private constructs. feature Source Typing 0.4.2 Apr 17, 2017
#407 Auto box expressions if the expected type is a suspension feature Source Typing 0.4.2 Apr 17, 2017
#411 Allow types of pattern binders to be specified in source language feature Source Parser 0.4.2 Jul 16, 2017
#418 In Shimmer combinateSKI don't require all combinators to be supplied in public interface. feature Shimmer 0.4.2 Jul 18, 2017
#439 Avoid copying strings via lists in Stdlib.ds feature Libraries 0.4.2 Oct 23, 2017
#440 Use Addr# type instead of Nat# in Stdlib.ds feature Libraries 0.4.2 Oct 23, 2017
#276 Delay lifting of indices in type environments. refactor Core Type Checker 0.2.1 Nov 7, 2012
#433 Refactor constructData to take only the fields it uses. refactor Core Transforms 0.4.2 Jul 18, 2017
#298 Need a more efficient way to compute the aliasing measure. bug Core Transforms 0.2.1 Dec 22, 2012
#330 Lambda lifter doesn't work with anonymous binders. bug Core Transforms 0.4.1 Apr 5, 2014
#332 Type inference does not handle deBruijn variables. bug Core Type Checker 0.4.1 Aug 3, 2014
#54 Support value recursion feature Source Semantics 0.4.1 _|_ steggles May 13, 2009
#108 Support infix operator definitions feature Source Parser 0.4.1 _|_ steggles Aug 19, 2009
#301 Speed up generation of anti-aliasing metadata. feature Core to Salt 0.3.0 Jan 5, 2013
#303 Allow builtin type names to be reused as data constructor names. feature Core Parser 0.4.1 _|_ steggles Mar 15, 2013
Note: See TracReports for help on using and creating reports.