Custom Query (38 matches)


Show under each result:

Ticket Summary Status Owner Type Priority Milestone
#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
#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
Note: See TracQuery for help on using queries.