Opened 12 days ago

#405 new defect

Segfault when importing foreign function with suspension type.

Reported by: benl Owned by:
Priority: normal Milestone: 0.4.3
Component: Core to Sea Translation Version: 0.4.2
Keywords: Cc:

Description

-- Primitive functions that access the environment.
import foreign c value
 -- TODO: Importing this returning (S Env Nat) segfaults.
 --       We should attach the effects at this point.
 ddcEnvGetArgC : Nat# -> Nat#

Change History (0)

Note: See TracTickets for help on using tickets.