Skip to content

second unison :error in transcript doesn't seem to function properly #5575

Closed
@mitchellwrosen

Description

In the following transcript, the second unison :error stanza is accepted by the transcript runner, even though it doesn't contain an error. The preceding unison :error stanza seems to be required to demonstrate the bug.

``` ucm
scratch/main> builtins.merge lib.builtin

  Done.
```

``` unison :error
foo : Nat
foo =
  1 +
```

``` ucm :added-by-ucm
  Loading changes detected in scratch.u.

  I got confused here:

      4 |

  I was surprised to find an end of section here.
  I was expecting one of these instead:

  * bang
  * do
  * false
  * force
  * handle
  * if
  * let
  * newline or semicolon
  * quote
  * termLink
  * true
  * tuple
  * typeLink
```

``` unison :error
foo : Nat
foo =
  1 + 2
```

``` ucm :added-by-ucm
  Loading changes detected in scratch.u.

  I found and typechecked these definitions in scratch.u. If you
  do an `add` or `update`, here's how your codebase would
  change:

    ⍟ These new definitions are ok to `add`:

      foo : Nat
```

Metadata

Assignees

No one assigned

    Labels

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions