andrejbauer / coop Goto Github PK

Contributors

Stargazers

Forkers

matthew-hilty cmcl

type wrapper = Wrap of int

let f (n : int) @ wrapper =
  match getenv with {
    | Wrap m -> setenv (Wrap (user n+m with {})); ()
  }

let bug (_ : unit) : wrapper =
  kernel (f 42) @ 0 finally {
    return _ @ w -> Wrap w
  }

return _ @ w -> w

this computation should have type wrapper {} but has type int {}