Custom Query (358 matches)

Filters
 
Or
 
  
 
Columns

Show under each result:


Results (16 - 18 of 358)

1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16
Ticket Resolution Summary Owner Reporter
#420 fixed Pattern desugarer gets confused if variables are renamed. benl
Description

See SMR.Core.Exp.Step for example.

#419 fixed Explicit dictionaries needed in more places then they should be. benl
Description

With

makePrimOpsSmr {eqs: Eq s} (_ : Unit): List (PrimEval s Prim)
 = Cons (primOpSmrEqual {eqs})
 $ Cons primOpSmrPushHead

Application of {eqs}` should not be needed.

#413 fixed Infix parser does not allow multiple \lor in expression. benl benl
Description

The following fails if we remove the parens.

isNameBodyChar (c: Char): Bool
 = isLower c ∨ (isUpper c ∨ (isDigit c ∨ (c == '-' ∨ (c == '\'' ∨ c == '_'))))
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16
Note: See TracQuery for help on using queries.