Custom Query (61 matches)


Show under each result:

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