Skip to content

Commit

Permalink
Add a transcript for #3752
Browse files Browse the repository at this point in the history
  • Loading branch information
dolio committed Jan 25, 2024
1 parent 1089152 commit 583df95
Show file tree
Hide file tree
Showing 2 changed files with 53 additions and 0 deletions.
22 changes: 22 additions & 0 deletions unison-src/transcripts/fix3752.md
Original file line number Diff line number Diff line change
@@ -0,0 +1,22 @@
```ucm:hide
.> builtins.merge
```

These were failing to type check before, because id was not
generalized.

```unison
foo = do
id x =
_ = 1
x
id ()
id "hello"
bar = do
id x = x
id ()
id "hello"
```

31 changes: 31 additions & 0 deletions unison-src/transcripts/fix3752.output.md
Original file line number Diff line number Diff line change
@@ -0,0 +1,31 @@
These were failing to type check before, because id was not
generalized.

```unison
foo = do
id x =
_ = 1
x
id ()
id "hello"
bar = do
id x = x
id ()
id "hello"
```

```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`:
bar : 'Text
foo : 'Text
```

0 comments on commit 583df95

Please sign in to comment.