unisonweb/unison
1
0
Fork 0
mirror of https://github.com/unisonweb/unison.git synced 2024-08-15 13:30:27 +03:00
Code Issues Projects Releases Wiki Activity

added transcript test to verify using a hash in term declaration is an error

Browse Source
This commit is contained in:
Kyle Goetz 2023-08-06 14:58:21 -05:00
parent cd048f7bdd
commit e3e008857e
2 changed files with 12 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
unison-src/transcripts/no-hash-in-term-declaration.md Normal file
View File

@ -0,0 +1,8 @@
# No Hashes in Term Declarations
There should not be hashes in the names used in term declarations, either in the type signature or the type definition.
```unison:hide:all:error
x##Nat : Int -> Int -> Boolean
x##Nat = 5
```

4
unison-src/transcripts/no-hash-in-term-declaration.output.md Normal file
View File

@ -0,0 +1,4 @@
# No Hashes in Term Declarations
There should not be hashes in the names used in term declarations, either in the type signature or the type definition.