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

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

Active Tickets (53 matches)

Ticket Summary Component Version Milestone Type Owner Status Created
#15 Constant enumeration values are not being shared. Core Transforms 0.1.2 defect new May 12, 2009
#281 Well-formedness check for distinct witnesses is too strict. Core Type Checker 0.2.1 enhancement tranma new Nov 14, 2012
#385 Make type inference work with non-trivial type synonyms Core Type Checker 0.4.2 0.4.3 enhancement benl new Sep 5, 2016
#273 Handle hierarchical module names Core Parser 0.2.1 0.5.0 enhancement kylevb assigned Nov 7, 2012
#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
#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
#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
#350 Tetra to Salt conversion of let-bound type applications is incomplete. Core to Sea Translation 0.4.1 0.4.3 defect new Apr 17, 2016
#362 Loading a .dct file loses the arity pragmas Compilation Driver 0.4.1 0.4.3 defect new Apr 30, 2016
#367 Block comments mess up line numbering in error messages. Source Parser 0.4.2 0.4.3 defect new Jul 21, 2016
#370 Unterminated comments are not being detected in T271-UnterminatedComment Source Parser 0.4.2 0.4.3 defect new Aug 23, 2016
#389 Fix parsing of local recursive functions in 'do' syntax. Source Parser 0.4.2 0.4.3 defect new Nov 22, 2016
#390 make where bindings mutually recursive. Unknown 0.4.2 0.4.3 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 0.4.3 defect new Jan 3, 2017
#360 Remove need for extra Unit parameter on main function Source to Core Translation 0.4.1 0.4.3 enhancement new Apr 27, 2016
#363 Support multi-module core tetra code compilation. Compilation Driver 0.4.1 0.4.3 enhancement new Apr 30, 2016
#364 Namify Salt type sigs that are added to interface files. Unknown 0.4.1 0.4.3 enhancement new Apr 30, 2016
#394 Check that the dependency extractor is just parsing the module header. Source Parser 0.4.2 0.4.3 enhancement new Jan 3, 2017
#321 Use internal linkage for symbols that aren't exported. Core to Sea Translation 0.3.2 0.5.0 defect new Mar 1, 2014
#348 Restrict types of things that can be foreign imported Unknown 0.4.1 0.5.0 defect new Apr 17, 2016
#373 Check that type equations are not recursive. Core Type Checker 0.4.2 0.5.0 defect new Aug 31, 2016
#374 Check specified kinds of type equations against their inferrer kinds. Core Type Checker 0.4.2 0.5.0 defect new Aug 31, 2016
#380 In source lexer, handle hex literals with size specifiers. Source Parser 0.4.2 0.5.0 defect new Sep 2, 2016
#381 Escape non-printable characters in base Show library. Libraries 0.4.2 0.5.0 defect new Sep 2, 2016
#388 When the compliance checker fails give a source location and more feedback. Source Type Inferencer 0.4.2 0.5.0 defect new Nov 22, 2016
#369 Auto wrap foreign primitives and primops when passed to higher order functions. Core to Sea Translation 0.4.2 0.5.0 enhancement new Aug 23, 2016
#372 Implement name spacing Source to Core Translation 0.4.2 0.5.0 enhancement new Aug 31, 2016
#379 Track variance information in type synonyms. Source Type Inferencer 0.4.2 0.5.0 enhancement new Sep 2, 2016
#386 Better inference when case alternatives have differing effects. Core Type Checker 0.4.2 0.5.0 enhancement new Sep 6, 2016
#387 Insert local 'private' constructs. Source Type Inferencer 0.4.2 0.5.0 enhancement new Nov 22, 2016
#330 Lambda lifter doesn't work with anonymous binders. Core Transforms 0.4.1 defect new Apr 5, 2014
Note: See TracReports for help on using and creating reports.