{6} All Tickets By Milestone (Including closed) (375 matches)

A more complex example to show how to make advanced reports.

Results (1 - 100 of 375)

1 2 3 4

none (1 match)

Ticket Summary Component Status Resolution Version Type Priority Owner Modified
#341 Implement suspensions and indirections in the salt runtime Runtime System closed fixed 0.4.1 enhancement normal Mar 3, 2016

_|_ (5 matches)

Ticket Summary Component Status Resolution Version Type Priority Owner Modified
#54 Support value recursion Core to Sea Translation new 0.4.1 enhancement low steggles Mar 10, 2014
#108 Support infix operator definitions Source Parser new 0.4.1 enhancement low steggles Mar 10, 2014
#303 Allow builtin type names to be reused as data constructor names. Core Parser new 0.4.1 enhancement low steggles Mar 10, 2014
#296 Evaluator doesn't support over-applied primops Core Interpreter closed wontfix 0.4.1 defect low steggles Apr 17, 2016
#107 Definition order should not be important in where block Source Semantics closed wontfix enhancement low steggles Feb 27, 2014

0.5.0 (20 matches)

Ticket Summary Component Status Resolution Version Type Priority Owner Modified
#273 Handle hierarchical module names Core Parser assigned 0.2.1 enhancement normal kylevb Feb 27, 2014
#321 Use internal linkage for symbols that aren't exported. Core to Sea Translation new 0.3.2 defect normal Apr 17, 2016
#348 Restrict types of things that can be foreign imported Unknown new 0.4.1 defect normal Apr 17, 2016
#369 Auto wrap foreign primitives and primops when passed to higher order functions. Core to Sea Translation new 0.4.2 enhancement normal Aug 23, 2016
#372 Implement name spacing Source to Core Translation new 0.4.2 enhancement normal Aug 31, 2016
#373 Check that type equations are not recursive. Core Type Checker new 0.4.2 defect normal Aug 31, 2016
#374 Check specified kinds of type equations against their inferrer kinds. Core Type Checker new 0.4.2 defect normal Aug 31, 2016
#379 Track variance information in type synonyms. Source Type Inferencer new 0.4.2 enhancement normal Sep 2, 2016
#380 In source lexer, handle hex literals with size specifiers. Source Parser new 0.4.2 defect normal Sep 2, 2016
#381 Escape non-printable characters in base Show library. Libraries new 0.4.2 defect normal Sep 2, 2016
#386 Better inference when case alternatives have differing effects. Core Type Checker new 0.4.2 enhancement normal Nov 22, 2016
#387 Insert local 'private' constructs. Source Type Inferencer new 0.4.2 enhancement normal Nov 22, 2016
#388 When the compliance checker fails give a source location and more feedback. Source Type Inferencer new 0.4.2 defect normal Nov 22, 2016
#266 Tailcall optimisation doesn't work for exported functions. Core to Sea Translation closed fixed 0.2.1 defect normal Nov 22, 2016
#267 Tailcalls don't work with the C backend. Core to Sea Translation closed wontfix 0.2.1 defect normal Sep 5, 2016
#359 Allow arbitrary expressions on the right of an $ Source Parser closed fixed 0.4.1 enhancement normal Sep 5, 2016
#383 Redo name generation in Lambda lifter. Core Transforms closed fixed 0.4.2 defect normal Sep 5, 2016
#325 Do code generation for the primitive tuple type, and use <,,> syntax. Core to Sea Translation closed wontfix 0.4.1 enhancement normal Apr 17, 2016
#264 Support multi-module compilation Compilation Driver closed fixed 0.2.1 enhancement normal Apr 17, 2016
#290 Evaluator doesn't preserve closure typing. Core Type Checker closed fixed 0.2.1 defect normal Mar 3, 2016

0.4.3 (33 matches)

Ticket Summary Component Status Resolution Version Type Priority Owner Modified
#350 Tetra to Salt conversion of let-bound type applications is incomplete. Core to Sea Translation new 0.4.1 defect normal Apr 17, 2016
#360 Remove need for extra Unit parameter on main function Source to Core Translation new 0.4.1 enhancement normal Apr 27, 2016
#362 Loading a .dct file loses the arity pragmas Compilation Driver new 0.4.1 defect normal Apr 30, 2016
#363 Support multi-module core tetra code compilation. Compilation Driver new 0.4.1 enhancement normal Nov 22, 2016
#364 Namify Salt type sigs that are added to interface files. Unknown new 0.4.1 enhancement normal Apr 30, 2016
#367 Block comments mess up line numbering in error messages. Source Parser new 0.4.2 defect normal Jul 21, 2016
#370 Unterminated comments are not being detected in T271-UnterminatedComment Source Parser new 0.4.2 defect normal Aug 23, 2016
#385 Make type inference work with non-trivial type synonyms Core Type Checker new 0.4.2 enhancement normal benl Sep 5, 2016
#389 Fix parsing of local recursive functions in 'do' syntax. Source Parser new 0.4.2 defect normal Nov 22, 2016
#390 make where bindings mutually recursive. Unknown new 0.4.2 defect normal Dec 29, 2016
#394 Check that the dependency extractor is just parsing the module header. Source Parser new 0.4.2 enhancement normal Jan 3, 2017
#398 Make github front page contain some getting started or tutorial info, rather than release notes. Unknown new 0.4.2 defect normal Jan 3, 2017
#403 Fix specification of separate signatures with higher kinded type vars. Source to Core Translation new 0.4.2 defect normal Apr 17, 2017
#404 Need to freshen names of type vars when elaborating local sigs. Source to Core Translation new 0.4.2 defect normal Apr 17, 2017
#405 Segfault when importing foreign function with suspension type. Core to Sea Translation new 0.4.2 defect normal Apr 17, 2017
#406 Auto run and rebox suspension types in the body of private constructs. Source Type Inferencer new 0.4.2 defect normal Apr 17, 2017
#407 Auto box expressions if the expected type is a suspension Source Type Inferencer new 0.4.2 defect normal Apr 17, 2017
#378 Complete merging (~>) and (->) type constructors. Core Type Checker closed fixed 0.4.2 enhancement normal Dec 23, 2016
#371 The status of the last test is not being displayed by the war driver. Test runner (war) closed fixed 0.4.2 defect normal Dec 23, 2016
#377 Look through type equations during Tetra to Salt transform Core Transforms closed fixed 0.4.2 defect normal Dec 23, 2016
#368 Check for unconstrained meta-variables after inference. Unknown closed fixed 0.4.2 defect normal Nov 22, 2016
#324 Don't display Bot in type error messages Core Type Checker closed worksforme 0.3.2 defect normal Nov 22, 2016
#329 Don't anonymize exported names Core Transforms closed fixed 0.3.2 defect normal Nov 22, 2016
#317 Lock down how the Void# type can be used. Core Type Checker closed invalid 0.3.2 task normal Nov 22, 2016
#349 Zero the payload of unboxed vectors when we allocate them. Unknown closed fixed 0.4.1 defect normal Nov 22, 2016
#252 Give a better message when we run out of heap Runtime System closed fixed 0.2.1 defect normal Nov 22, 2016
#382 Using '$' between to constructor and its argument causes a segfault. Core to Sea Translation closed fixed 0.4.2 defect blocker Sep 5, 2016
#366 Update LLVM meta-data syntax to work with LLVM 3.6 Compilation Driver closed fixed 0.4.2 defect normal Sep 5, 2016
#375 Better inference with higher kinded type constructors. Source Type Inferencer closed fixed 0.4.2 defect normal Sep 5, 2016
#376 Check variable elaboration in Applicative. Source Type Inferencer closed fixed 0.4.2 defect normal Sep 5, 2016
#343 Lambda lift locally-recursive function, eg local loops. Unknown closed fixed 0.4.1 defect normal Sep 5, 2016
#365 Support separate signatures in Source Tetra Source Parser closed fixed 0.4.2 enhancement normal Aug 31, 2016
#342 Allow lambda binders without type/kind annots in Source tetra Source to Core Translation closed fixed 0.4.1 defect normal Jul 21, 2016

0.4.2 (23 matches)

Ticket Summary Component Status Resolution Version Type Priority Owner Modified
#361 Need to apply Unshare transform to imported CAFs. Unknown closed fixed 0.4.1 defect normal Apr 30, 2016
#358 Make -load, -to-salt etc work with multi-module compilation Compilation Driver closed fixed 0.4.1 defect normal Apr 30, 2016
#352 Tetra to Salt conversion for stand alone run and box Source to Core Translation closed fixed 0.4.1 defect normal Apr 27, 2016
#355 Conversion of Tetra types to Salt does not use arity information. Core to Sea Translation closed fixed 0.4.1 defect normal Apr 26, 2016
#351 Handle case where the name of type a type param in super type and binder are different. Core to Sea Translation closed fixed 0.4.1 defect normal Apr 26, 2016
#319 During type inference, ensure all annots on ctor fields refine type env before checking bodies. Core Type Checker closed fixed 0.3.2 enhancement normal Apr 26, 2016
#354 Local 'extend' forms don't work without an enclosing box cast. Core Transforms closed fixed 0.4.1 defect normal Apr 26, 2016
#353 Purify effects on top-level regions where there is a global capability. Libraries closed fixed 0.4.1 enhancement normal Apr 26, 2016
#346 Fix duplicate import check for diamond imports. Unknown closed fixed 0.4.1 defect normal Apr 25, 2016
#345 Give pattern inexhaustiveness message. Unknown closed fixed 0.4.1 defect normal benl Apr 25, 2016
#326 Do free vars check in new inferencer Core Type Checker closed fixed 0.3.2 defect normal Apr 19, 2016
#318 Better error message for uninferrable intermediate region vars Core Type Checker closed invalid 0.3.2 defect normal Apr 19, 2016
#357 Fix the cabal install trigger that builds the base library Build System closed fixed 0.4.1 defect normal Apr 18, 2016
#356 Fix rebuilding of interfaces when it's not needed. Compilation Driver closed fixed 0.4.1 defect normal Apr 18, 2016
#307 Shift lazy witness type constructors to Eval fragment Core Type Checker closed wontfix 0.3.1 refactor normal Apr 17, 2016
#344 Add functions to take size and components of a TextLit Unknown closed fixed 0.4.1 enhancement normal Apr 17, 2016
#334 Synth adding type parameters in wrong order? Unknown closed fixed 0.4.1 defect normal Apr 17, 2016
#316 Make String# a foreign C type Libraries closed wontfix 0.3.2 defect normal Dec 29, 2014
#336 Snip;Flatten;Forward removes original names Unknown closed fixed 0.4.1 defect normal Oct 15, 2014
#335 Usage analysis doesn't handle shadowing (TODO better test) Unknown closed fixed 0.4.1 defect normal Oct 15, 2014
#338 Lexer treats "_" as separate token Unknown closed fixed 0.4.1 defect normal Oct 15, 2014
#333 Module parser silently discards anything after first let? Core Parser closed fixed 0.4.1 defect normal Oct 14, 2014
#337 LLVM and C backends don't support NameExt Unknown closed fixed 0.4.1 defect normal Oct 13, 2014

0.4.1 (1 match)

Ticket Summary Component Status Resolution Version Type Priority Owner Modified
#1 Check for partial application of functions to unboxed args. Core to Sea Translation closed fixed 0.1.2 defect normal Mar 2, 2014

0.3.3 (4 matches)

Ticket Summary Component Status Resolution Version Type Priority Owner Modified
#313 Allow selection of whether to use type inference on command line Compilation Driver closed fixed 0.3.2 enhancement normal Feb 24, 2014
#311 Better error message when trying to -make something without a main function Compilation Driver closed fixed 0.3.2 enhancement normal Feb 24, 2014
#302 Don't try to lex the body of a block comment. Core Parser closed fixed 0.3.0 defect normal kylevb Dec 1, 2013
#308 Handle tuple arities generically in Thread transform Core Transforms closed fixed 0.3.1 defect normal kylevb Nov 25, 2013

0.3.2 (3 matches)

Ticket Summary Component Status Resolution Version Type Priority Owner Modified
#306 Remove mention of lazy evaluation from core language. Unknown closed fixed 0.3.1 document normal Jul 25, 2013
#304 Force UPrim bounds to be suffixed with '#' Core Transforms closed invalid 0.3.1 defect high May 5, 2013
#263 Allow rewrite rules to be specified in core modules. Core Parser closed fixed 0.2.1 enhancement normal Dec 23, 2012

0.3.0 (10 matches)

Ticket Summary Component Status Resolution Version Type Priority Owner Modified
#294 Code generator bugs with transformed Reverse program. Core to Sea Translation closed fixed 0.2.1 defect blocker Dec 21, 2012
#293 Rewrite rule BuildFold test exports undefined binding. Test suite closed fixed 0.2.1 defect normal Dec 10, 2012
#282 Rewrite rule lookup code doesn't distinguish between name levels Core Transforms closed fixed 0.2.1 defect normal Dec 10, 2012
#292 The -to-salt and -to-c passes don't run optimisations with -O Compilation Driver closed fixed 0.2.1 defect normal Dec 2, 2012
#291 Check that exported names are actually defined. Core Type Checker closed fixed 0.2.1 defect normal Dec 2, 2012
#262 Transitive inlining fails with -to-c Core Transforms closed fixed 0.2.1 defect normal Dec 2, 2012
#279 Rewrite rule type matcher doesn't handle type sums Core Transforms closed fixed 0.2.1 defect normal amosrobinson Nov 25, 2012
#278 Snip transform doesn't handle over applications Core Transforms closed fixed 0.2.1 defect normal Nov 25, 2012
#283 Lite to Salt transform doesn't check for partial application Core to Sea Translation closed fixed 0.2.1 defect normal Nov 24, 2012
#257 Add types of bindings used by inlined functions to imports list Unknown closed duplicate 0.2.1 defect normal Nov 24, 2012
1 2 3 4
Note: See TracReports for help on using and creating reports.