Custom Query (28 matches)

Filters
 
Or
 
  
 
Columns

Show under each result:


Status: closed (16 matches)

Ticket Summary Owner Type Priority Component Version
#382 Using '$' between to constructor and its argument causes a segfault. defect blocker Core to Sea Translation 0.4.2
#252 Give a better message when we run out of heap defect normal Runtime System 0.2.1
#317 Lock down how the Void# type can be used. task normal Core Type Checker 0.3.2
#324 Don't display Bot in type error messages defect normal Core Type Checker 0.3.2
#329 Don't anonymize exported names defect normal Core Transforms 0.3.2
#342 Allow lambda binders without type/kind annots in Source tetra defect normal Source to Core Translation 0.4.1
#343 Lambda lift locally-recursive function, eg local loops. defect normal Unknown 0.4.1
#349 Zero the payload of unboxed vectors when we allocate them. defect normal Unknown 0.4.1
#365 Support separate signatures in Source Tetra enhancement normal Source Parser 0.4.2
#366 Update LLVM meta-data syntax to work with LLVM 3.6 defect normal Compilation Driver 0.4.2
#368 Check for unconstrained meta-variables after inference. defect normal Unknown 0.4.2
#371 The status of the last test is not being displayed by the war driver. defect normal Test runner (war) 0.4.2
#375 Better inference with higher kinded type constructors. defect normal Source Type Inferencer 0.4.2
#376 Check variable elaboration in Applicative. defect normal Source Type Inferencer 0.4.2
#377 Look through type equations during Tetra to Salt transform defect normal Core Transforms 0.4.2
#378 Complete merging (~>) and (->) type constructors. enhancement normal Core Type Checker 0.4.2

Status: new (12 matches)

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