unison/unison-src/transcripts/fix1421.md

mirror of https://github.com/unisonweb/unison.git synced 2024-09-11 02:25:39 +03:00
  ```ucm
  scratch/main> alias.type ##Nat Nat
  scratch/main> alias.term ##Nat.+ Nat.+
  ```
  ```unison
  unique type A = A Nat
  unique type B = B Nat Nat
  ```
Add transcripts for fixed issues This shows that this change fixes #1421, #2826, #5141, and #5168. 2024-07-10 19:57:36 +03:00			```ucm
			`scratch/main> alias.type ##Nat Nat`
			`scratch/main> alias.term ##Nat.+ Nat.+`
			```
			```unison
			`unique type A = A Nat`
			`unique type B = B Nat Nat`
			```