hasura / eff

🚧 a work in progress effect system for Haskell 🚧
ISC License
551 stars 18 forks source link

Update Eff to make it work with GHC 9.6 #17

Open s-and-witch opened 1 year ago

s-and-witch commented 1 year ago

Problem: Delcont API used in the library, incompatible with the one implemented in upstream GHC, so eff just doesn't compile

Solution: Previous primitive semantic was build in that each control0# captures continuation to nearest prompt#, so having one PromptTag# for all prompt#'s seems to be a simple drop-in replacement.

Please tell me if this patch violates library or RTS semantics.