Custom Query (358 matches)

Filters
 
Or
 
  
 
Columns

Show under each result:


Results (201 - 300 of 358)

1 2 3 4
Ticket Summary Owner Type Priority Milestone Component
#231 Rebuild library if a library file is changed erikd defect normal Build System
#233 Panic : thread_transX: can't find a witness for ... defect normal 0.3.0 Core Transforms
#234 Add type level natural numbers task normal Core Type Checker
#240 Treat parameter and return types of functions as immaterial. enhancement normal Core Type Checker
#241 Provide source locations in core type error messages enhancement normal Core Type Checker
#242 Better error message when constructors are used at the wrong level defect normal 0.3.0 Core Type Checker
#247 Can't parse import lists with type imports defect normal 0.3.0 Core Parser
#248 Constructing a Nil object writes a Unit object as the first field defect normal Core to Sea Translation
#249 -fvia-c doesn't actually compile via the C backend benl defect normal 0.3.0 Compilation Driver
#251 Fix nested case expressions that assign to nothing binders defect normal 0.3.0 Core to Sea Translation
#252 Give a better message when we run out of heap defect normal 0.4.3 Runtime System
#253 Better error message for redefined function at top-level of core defect normal 0.3.0 Core Type Checker
#254 Bad error message for function with Bools defect normal 0.3.0 Unknown
#256 Do fragment compliance check for nested functions. enhancement normal 0.3.0 Core Type Checker
#257 Add types of bindings used by inlined functions to imports list defect normal 0.3.0 Unknown
#258 Give a civilised error message for CAF binders. defect normal 0.3.0 Core Type Checker
#260 Track source locations, and give them in error messages enhancement normal Core Parser
#261 Implement tailcalls in the C backend enhancement normal Core to Sea Translation
#262 Transitive inlining fails with -to-c defect normal 0.3.0 Core Transforms
#263 Allow rewrite rules to be specified in core modules. enhancement normal 0.3.2 Core Parser
#264 Support multi-module compilation enhancement normal 0.5.0 Compilation Driver
#265 Clean up intermediate build files enhancement normal 0.3.0 Compilation Driver
#266 Tailcall optimisation doesn't work for exported functions. defect normal 0.5.0 Core to Sea Translation
#267 Tailcalls don't work with the C backend. defect normal 0.5.0 Core to Sea Translation
#269 Refactor DataModeSmall to hold DaCons instead of names. refactor normal Core Type Checker
#270 Compliance check for nested functions enhancement normal 0.3.0 Core Type Checker
#271 Better error message for unterminated comment blocks. enhancement normal 0.3.0 Core Parser
#272 Better error message for non-matching braces. defect normal 0.3.0 Core Parser
#274 Try to make the load functions take Strings instead of Tokens refactor normal Core Parser
#275 Transforms like 'Snip' don't propagate annots in a sensible way defect normal Unknown
#277 Make 'applySimplifier' return a TransformResult kylevb enhancement normal Core Transforms
#278 Snip transform doesn't handle over applications defect normal 0.3.0 Core Transforms
#279 Rewrite rule type matcher doesn't handle type sums amosrobinson defect normal 0.3.0 Core Transforms
#282 Rewrite rule lookup code doesn't distinguish between name levels defect normal 0.3.0 Core Transforms
#283 Lite to Salt transform doesn't check for partial application defect normal 0.3.0 Core to Sea Translation
#284 Reject case matches against float literals. defect normal 0.3.0 Core to Sea Translation
#285 Allow maching against unit literals defect normal 0.3.0 Core to Sea Translation
#286 Application of pointer constructor is treated as a boxed type. defect normal 0.3.0 Core to Sea Translation
#287 Check for valid promotion and truncation in to-C conversion defect normal 0.3.0 Core to Sea Translation
#288 Check for conflicting capabilities in Eval modules defect normal 0.3.0 Core Type Checker
#289 Better error for unmatches braces during offside rule enhancement normal 0.3.0 Core Parser
#290 Evaluator doesn't preserve closure typing. defect normal 0.5.0 Core Type Checker
#291 Check that exported names are actually defined. defect normal 0.3.0 Core Type Checker
#292 The -to-salt and -to-c passes don't run optimisations with -O defect normal 0.3.0 Compilation Driver
#293 Rewrite rule BuildFold test exports undefined binding. defect normal 0.3.0 Test suite
#295 Check for duplicate exported names in module parser kylevb defect normal Source Parser
#297 Taking the transitive orientation of an aliasing graph takes exponential time defect normal Core to Sea Translation
#299 Bubble casts out of recursive lets. enhancement normal Core Transforms
#300 Allow the default heap size to be set when compiling the program. enhancement normal Core Interpreter
#302 Don't try to lex the body of a block comment. kylevb defect normal 0.3.3 Core Parser
#305 Types of Eval primops are not stable under eta expansion benl defect normal Source Semantics
#306 Remove mention of lazy evaluation from core language. document normal 0.3.2 Unknown
#307 Shift lazy witness type constructors to Eval fragment refactor normal 0.4.2 Core Type Checker
#308 Handle tuple arities generically in Thread transform kylevb defect normal 0.3.3 Core Transforms
#309 Don't assume eval fragment after :set lang defect normal Compilation Driver
#310 Confusing error message defect normal Core Type Checker
#311 Better error message when trying to -make something without a main function enhancement normal 0.3.3 Compilation Driver
#312 Better error when applying -to-salt to a module with higher order functions. defect normal Core to Sea Translation
#313 Allow selection of whether to use type inference on command line enhancement normal 0.3.3 Compilation Driver
#314 Munge symbol names that aren't exported. defect normal Core to Sea Translation
#315 Respect -infer command with -check defect normal Compilation Driver
#316 Make String# a foreign C type defect normal 0.4.2 Libraries
#317 Lock down how the Void# type can be used. task normal 0.4.3 Core Type Checker
#318 Better error message for uninferrable intermediate region vars defect normal 0.4.2 Core Type Checker
#319 During type inference, ensure all annots on ctor fields refine type env before checking bodies. enhancement normal 0.4.2 Core Type Checker
#320 Handle all the import/export combinations. feature normal Core to Salt
#324 Don't display Bot in type error messages defect normal 0.4.3 Core Type Checker
#325 Do code generation for the primitive tuple type, and use <,,> syntax. enhancement normal 0.5.0 Core to Sea Translation
#326 Do free vars check in new inferencer defect normal 0.4.2 Core Type Checker
#327 Allow external symbol to be specified with foreign C imports and exports. benl feature normal Source Parser
#328 Element type for rep operators is hard-coded to Float32 defect normal Core Flow Transforms
#329 Don't anonymize exported names defect normal 0.4.3 Core Transforms
#333 Module parser silently discards anything after first let? defect normal 0.4.2 Core Parser
#334 Synth adding type parameters in wrong order? defect normal 0.4.2 Unknown
#335 Usage analysis doesn't handle shadowing (TODO better test) defect normal 0.4.2 Unknown
#336 Snip;Flatten;Forward removes original names defect normal 0.4.2 Unknown
#337 LLVM and C backends don't support NameExt defect normal 0.4.2 Unknown
#338 Lexer treats "_" as separate token defect normal 0.4.2 Unknown
#339 Properly integrate llvm opt support defect normal Compilation Driver
#340 Check for partial application of supers in Salt fragment check enhancement normal Unknown
#341 Implement suspensions and indirections in the salt runtime enhancement normal Runtime System
#342 Allow lambda binders without type/kind annots in Source tetra defect normal 0.4.3 Source to Core Translation
#343 Lambda lift locally-recursive function, eg local loops. defect normal 0.4.3 Unknown
#344 Add functions to take size and components of a TextLit enhancement normal 0.4.2 Unknown
#345 Give pattern inexhaustiveness message. benl defect normal 0.4.2 Unknown
#346 Fix duplicate import check for diamond imports. defect normal 0.4.2 Unknown
#349 Zero the payload of unboxed vectors when we allocate them. defect normal 0.4.3 Unknown
#351 Handle case where the name of type a type param in super type and binder are different. defect normal 0.4.2 Core to Sea Translation
#352 Tetra to Salt conversion for stand alone run and box defect normal 0.4.2 Source to Core Translation
#353 Purify effects on top-level regions where there is a global capability. enhancement normal 0.4.2 Libraries
#354 Local 'extend' forms don't work without an enclosing box cast. defect normal 0.4.2 Core Transforms
#355 Conversion of Tetra types to Salt does not use arity information. defect normal 0.4.2 Core to Sea Translation
#356 Fix rebuilding of interfaces when it's not needed. defect normal 0.4.2 Compilation Driver
#357 Fix the cabal install trigger that builds the base library defect normal 0.4.2 Build System
#358 Make -load, -to-salt etc work with multi-module compilation defect normal 0.4.2 Compilation Driver
#359 Allow arbitrary expressions on the right of an $ enhancement normal 0.5.0 Source Parser
#361 Need to apply Unshare transform to imported CAFs. defect normal 0.4.2 Unknown
#362 Loading a .dct file loses the arity pragmas defect normal Compilation Driver
#363 Support multi-module core tetra code compilation. enhancement normal Compilation Driver
#364 Namify Salt type sigs that are added to interface files. benl bug normal Core Transforms
1 2 3 4
Note: See TracQuery for help on using queries.