ceedubs

We create one (oops with the wrong value).

one = "two"

.>add

ceedubs

reference to unknown combinator when pretty-printing function

This transcript shows an example of a function that returns the expected result but causes the pretty-printer to fail with the error reference to unknown combinator: #0lib3

.> builtins.merge

There is probably a way to reproduce this issue with less code, but I ran into it while writing some recursion scheme code which I have simplified a bit for this transcript:

ceedubs

handleRemoteCustom : '{g, Remote} r -> {g, Remote} r
handleRemoteCustom =
  go : forall r. '{g, Remote} r -> {g, Remote} r
  go thunk = handle !thunk with cases
    { r } -> r
    { time.now! -> k } ->
      res = todo "what do you want to do for time?"
      go '(k res)
    { Promise.tryWrite x y -> k } ->
      res = Promise.tryWrite x y