#15 |
Share constant enumeration values.
|
new
|
|
feature
|
normal
|
|
#273 |
Handle hierarchical module names
|
new
|
benl
|
feature
|
normal
|
|
#276 |
Delay lifting of indices in type environments.
|
new
|
|
refactor
|
normal
|
|
#280 |
Rewrites should be done with the most specific rule.
|
new
|
|
feature
|
normal
|
|
#321 |
Use internal linkage for symbols that aren't exported.
|
new
|
|
feature
|
normal
|
|
#322 |
Make wrappers for exported functions
|
new
|
|
feature
|
normal
|
|
#323 |
Insert type lambdas during inference with higher ranked types.
|
new
|
|
feature
|
normal
|
|
#347 |
Avoid name capture in dischargeConsWithElims
|
new
|
|
bug
|
normal
|
|
#348 |
Restrict types of things that can be foreign imported
|
new
|
|
bug
|
normal
|
|
#350 |
Core to Salt conversion of let-bound type applications is incomplete.
|
new
|
|
bug
|
normal
|
|
#360 |
Remove need for extra Unit parameter on main function
|
new
|
|
feature
|
normal
|
|
#367 |
Block comments mess up line numbering in error messages.
|
new
|
|
bug
|
normal
|
|
#369 |
Auto wrap foreign primitives and primops when passed to higher order functions.
|
new
|
|
feature
|
normal
|
|
#370 |
Unterminated comments are not being detected in T271-UnterminatedComment
|
new
|
|
bug
|
normal
|
|
#372 |
Implement name spacing
|
new
|
|
feature
|
normal
|
|
#373 |
Check that type equations are not recursive.
|
new
|
|
bug
|
normal
|
|
#374 |
Check specified kinds of type equations against their infered kinds.
|
new
|
|
bug
|
normal
|
|
#380 |
In source lexer, handle hex literals with size specifiers.
|
new
|
|
feature
|
normal
|
|
#385 |
Make type inference work with non-trivial type synonyms
|
new
|
|
feature
|
normal
|
|
#386 |
Better inference when case alternatives have differing effects.
|
new
|
|
feature
|
normal
|
|
#387 |
Insert local 'private' constructs.
|
new
|
|
feature
|
normal
|
|
#391 |
Allow pattern bindings at top-level.
|
new
|
|
feature
|
normal
|
|
#395 |
Better inference for effectful case expressions.
|
new
|
|
feature
|
normal
|
|
#396 |
When there is no export declaration in a module then export everything.
|
new
|
|
feature
|
normal
|
|
#403 |
Fix specification of separate signatures with higher kinded type vars.
|
new
|
|
bug
|
normal
|
|
#404 |
Need to freshen names of type vars when elaborating local sigs.
|
new
|
|
bug
|
normal
|
|
#406 |
Auto run and rebox suspension types in the body of private constructs.
|
new
|
|
feature
|
normal
|
|
#407 |
Auto box expressions if the expected type is a suspension
|
new
|
|
feature
|
normal
|
|
#408 |
No source locations for import and export errors.
|
new
|
|
bug
|
normal
|
|
#409 |
No source locations for kind mismatch errors
|
new
|
|
bug
|
normal
|
|
#410 |
Check for case on foreign abstract data.
|
new
|
|
bug
|
normal
|
|
#411 |
Allow types of pattern binders to be specified in source language
|
new
|
|
feature
|
normal
|
|
#414 |
Inlining a function with guards into a guard causes LLVM dominator error.
|
new
|
|
bug
|
normal
|
|
#415 |
Implicit resolver gets caught in a loop if result type of fn matches a parameter.
|
new
|
|
bug
|
normal
|
|
#416 |
Data type decls are not checked that all tyvars in result type of ctors appear as params.
|
new
|
|
bug
|
normal
|
|
#417 |
Do binding against a pattern yields a "bad pattern error"
|
new
|
|
bug
|
normal
|
|
#418 |
In Shimmer combinateSKI don't require all combinators to be supplied in public interface.
|
new
|
|
feature
|
normal
|
|
#423 |
Closing Shimmer REPL with Control-D causes prompt to print indefinately.
|
new
|
|
bug
|
normal
|
|
#424 |
Explicit box keyword required in more places than it should be.
|
new
|
|
bug
|
normal
|
|
#427 |
Clash in type var names with nested signatures.
|
new
|
|
bug
|
normal
|
|
#429 |
In Expand transform, env management is wrong for non-recursive clauses.
|
new
|
|
bug
|
normal
|
|
#430 |
In BoundX transform, management of debruijn depth is wrong.
|
new
|
|
bug
|
normal
|
|
#431 |
Sub_Implicit_Right rule assumes functional expression has no effects.
|
new
|
|
bug
|
normal
|
|
#433 |
Refactor constructData to take only the fields it uses.
|
new
|
|
refactor
|
normal
|
|
#438 |
Type checker instantiation judgement assumes all tycon params are covariant.
|
new
|
|
bug
|
normal
|
|
#439 |
Avoid copying strings via lists in Stdlib.ds
|
new
|
|
feature
|
normal
|
|
#440 |
Use Addr# type instead of Nat# in Stdlib.ds
|
new
|
|
feature
|
normal
|
|
#444 |
Build info tables for each object at module init time.
|
new
|
benl
|
feature
|
normal
|
memoizer
|
#445 |
Add a compute cost stack and a primop to measure the cost of a computation.
|
new
|
|
feature
|
normal
|
memoizer
|
#446 |
Implement hashing for the Shimmer Expression AST
|
new
|
benl
|
feature
|
normal
|
memoizer
|
#447 |
Add an index to Shimmer store files so we can lookup decls in constant-ish time.
|
new
|
|
feature
|
normal
|
memoizer
|
#450 |
Division by zero in the LLVM generated code has undefined behaviour
|
new
|
|
bug
|
normal
|
|
#451 |
The 'mod' function in LLVM generated code is not implemented.
|
new
|
|
bug
|
normal
|
|
#54 |
Support value recursion
|
new
|
steggles
|
feature
|
low
|
_|_
|
#108 |
Support infix operator definitions
|
new
|
steggles
|
feature
|
low
|
_|_
|
#298 |
Need a more efficient way to compute the aliasing measure.
|
new
|
|
bug
|
low
|
|
#303 |
Allow builtin type names to be reused as data constructor names.
|
new
|
steggles
|
feature
|
low
|
_|_
|
#330 |
Lambda lifter doesn't work with anonymous binders.
|
new
|
|
bug
|
low
|
|
#332 |
Type inference does not handle deBruijn variables.
|
new
|
|
bug
|
low
|
|