Custom Query (6 matches)


Show under each result:

Status: closed (6 matches)

Ticket Summary Owner Type Priority Component Version
#235 Handle casts in head position. defect high Core Interpreter
#236 Lex )> symbol separately to avoid conflict with witness args. defect high Core Parser 0.1.2
#237 Handle spill components of sums in type equivalence checker. defect high Core Type Checker 0.1.2
#238 Check for witness conflicts in initial expresson defect high Core Interpreter 0.1.2
#239 Maintain proper source positions defect high Core Parser 0.1.2
#240 Treat parameter and return types of functions as immaterial. enhancement normal Core Type Checker 0.1.2
Note: See TracQuery for help on using queries.