Skip to content

Commit

Permalink
Replicate failure from unisonweb#4898
Browse files Browse the repository at this point in the history
  • Loading branch information
sellout committed May 29, 2024
1 parent 6805135 commit 8b46f81
Show file tree
Hide file tree
Showing 2 changed files with 75 additions and 0 deletions.
17 changes: 17 additions & 0 deletions unison-src/transcripts/fix4898.md
Original file line number Diff line number Diff line change
@@ -0,0 +1,17 @@
```ucm
.> builtins.merge
```

```unison
double : Int -> Int
double x = x + x
redouble : Int -> Int
redouble x = double x + double x
```

```ucm
.> add
.> dependents double
.> delete.term 1
```
58 changes: 58 additions & 0 deletions unison-src/transcripts/fix4898.output.md
Original file line number Diff line number Diff line change
@@ -0,0 +1,58 @@
```ucm
.> builtins.merge
Done.
```
```unison
double : Int -> Int
double x = x + x
redouble : Int -> Int
redouble x = double x + double x
```

```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`:
double : Int -> Int
redouble : Int -> Int
```
```ucm
.> add
⍟ I've added these definitions:
double : Int -> Int
redouble : Int -> Int
.> dependents double
Dependents of: double
Terms:
1. redouble
Tip: Try `view 1` to see the source of any numbered item in
the above list.
.> delete.term 1
```



🛑

The transcript failed due to an error in the stanza above. The error is:

Expected a name, but the numbered arg resulted in #1gupumeruksjs4sb5mg8jcb891dmbufmqrfblfss1sevbl62fr7oud24mpo03jm2qlbdt6ntordsmfj1jovhfsp3mij461odaahfh2g, which is a reference.

0 comments on commit 8b46f81

Please sign in to comment.