Custom Query (358 matches)

Filters
 
Or
 
  
 
Columns

Show under each result:


Results (13 - 15 of 358)

1 2 3 4 5 6 7 8 9 10 11 12 13 14 15
Ticket Resolution Summary Owner Reporter
#425 fixed In foreign import adding (S Console) to result type causes codegen problem and runtime crash. benl benl
Description

With

 primStdinGetString     : Nat# -> TextLit#

This is really an effectful function, but making the result type S Console TextLit?# causes a runtime crash.

#422 fixed Explicit type arguments required in some places where they should not be. benl
Description

See SMR.Core.Exp.Eq for example.

#421 fixed Problem with shadowed type variables in Shimmer trainAppend. benl
Description

See SMR.Core.Exp.Train for example.

1 2 3 4 5 6 7 8 9 10 11 12 13 14 15
Note: See TracQuery for help on using queries.