Opened 2 years ago

Closed 20 months ago

#425 closed bug (fixed)

In foreign import adding (S Console) to result type causes codegen problem and runtime crash.

Reported by: benl Owned by: benl
Priority: normal Milestone:
Component: Core to Salt Version: 0.4.2
Keywords: Cc:

Description (last modified by benl)

With

 primStdinGetString     : Nat# -> TextLit#

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

Change History (6)

comment:1 Changed 2 years ago by benl

  • Description modified (diff)

comment:2 Changed 21 months ago by benl

  • Milestone none deleted

Milestone deleted

comment:3 Changed 21 months ago by benl

  • Type changed from defect to bug

comment:4 Changed 21 months ago by benl

  • Component changed from Core to Sea Translation to Core to Salt

comment:5 Changed 20 months ago by benl

  • Owner set to benl

comment:6 Changed 20 months ago by benl

  • Resolution set to fixed
  • Status changed from new to closed
Note: See TracTickets for help on using tickets.