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

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

Results (1 - 100 of 419)

1 2 3 4 5

memoizer (5 matches)

Ticket Summary Component Status Resolution Version Type Priority Owner Modified
#444 Build info tables for each object at module init time. Runtime System new none feature normal benl Apr 7, 2018
#445 Add a compute cost stack and a primop to measure the cost of a computation. Runtime System new none feature normal Mar 2, 2018
#446 Implement hashing for the Shimmer Expression AST Shimmer new none feature normal benl Aug 20, 2018
#447 Add an index to Shimmer store files so we can lookup decls in constant-ish time. Shimmer new none feature normal Mar 4, 2018
#443 Change runtime object headers to be uniformly 64 bit. Runtime System closed fixed none task normal benl Apr 7, 2018

_|_ (5 matches)

Ticket Summary Component Status Resolution Version Type Priority Owner Modified
#54 Support value recursion Source Semantics new 0.4.1 feature low steggles Mar 2, 2018
#108 Support infix operator definitions Source Parser new 0.4.1 feature low steggles Mar 2, 2018
#303 Allow builtin type names to be reused as data constructor names. Core Parser new 0.4.1 feature low steggles Mar 2, 2018
#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 (8 matches)

Ticket Summary Component Status Resolution Version Type Priority Owner Modified
#437 Don't leak space when using sprintf in prim library. Runtime System closed fixed 0.4.2 defect high Jul 31, 2017
#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 (17 matches)

Ticket Summary Component Status Resolution Version Type Priority Owner Modified
#389 Fix parsing of local recursive functions in 'do' syntax. Source Parser closed fixed 0.4.2 defect normal Jul 15, 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 (34 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
#256 Do fragment compliance check for nested functions. Core Type Checker closed fixed 0.2.1 enhancement normal Nov 24, 2012
#251 Fix nested case expressions that assign to nothing binders Core to Sea Translation closed fixed 0.2.1 defect normal Nov 24, 2012
#265 Clean up intermediate build files Compilation Driver closed fixed 0.2.1 enhancement normal Nov 24, 2012
#255 Anonymisation transform doesn't work with letregions construct Core Transforms closed fixed 0.2.1 defect high tranma Nov 24, 2012
#268 Race in 'war' test driver when running shell scripts Test runner (war) closed fixed 0.2.1 defect high Nov 24, 2012
#286 Application of pointer constructor is treated as a boxed type. Core to Sea Translation closed fixed 0.2.1 defect normal Nov 19, 2012
#270 Compliance check for nested functions Core Type Checker closed duplicate 0.2.1 enhancement normal Nov 18, 2012
#287 Check for valid promotion and truncation in to-C conversion Core to Sea Translation closed fixed 0.2.1 defect normal Nov 18, 2012
#253 Better error message for redefined function at top-level of core Core Type Checker closed fixed 0.2.1 defect normal Nov 18, 2012
#284 Reject case matches against float literals. Core to Sea Translation closed fixed 0.2.1 defect normal Nov 18, 2012
#288 Check for conflicting capabilities in Eval modules Core Type Checker closed fixed 0.2.1 defect normal Nov 18, 2012
#289 Better error for unmatches braces during offside rule Core Parser closed fixed 0.2.1 enhancement normal Nov 18, 2012
#285 Allow maching against unit literals Core to Sea Translation closed fixed 0.2.1 defect normal Nov 17, 2012
#272 Better error message for non-matching braces. Core Parser closed duplicate 0.2.1 defect normal Nov 17, 2012
#271 Better error message for unterminated comment blocks. Core Parser closed fixed 0.2.1 enhancement normal Nov 17, 2012
#259 Well-formedness check for distinct witnesses is too weak. Core Type Checker closed fixed 0.2.1 defect blocker tranma Nov 14, 2012
#258 Give a civilised error message for CAF binders. Core Type Checker closed fixed 0.2.1 defect normal Nov 4, 2012
#254 Bad error message for function with Bools Unknown closed fixed 0.2.1 defect normal Nov 4, 2012
#32 Don't panic if user Control-C's GCC Compilation Driver closed fixed enhancement normal Nov 4, 2012
#212 Tail-call optimisation doesn't work with 32-bit LLVM Unknown closed fixed 0.1.2 defect high benl Nov 4, 2012
#50 Emit error for dangerous vars at top level. Source Type Inferencer closed wontfix 0.1.2 defect normal Nov 4, 2012
#249 -fvia-c doesn't actually compile via the C backend Compilation Driver closed fixed 0.2.1 defect normal benl Oct 31, 2012
#247 Can't parse import lists with type imports Core Parser closed fixed 0.2.1 defect normal Sep 25, 2012
#250 We're not checking for heap overflow Runtime System closed fixed 0.2.1 defect high Sep 23, 2012
1 2 3 4 5
Note: See TracReports for help on using and creating reports.