From e3e008857ee9afc82a25a72447aeca07522b67f4 Mon Sep 17 00:00:00 2001 From: Kyle Goetz Date: Sun, 6 Aug 2023 14:58:21 -0500 Subject: [PATCH] added transcript test to verify using a hash in term declaration is an error --- unison-src/transcripts/no-hash-in-term-declaration.md | 8 ++++++++ .../transcripts/no-hash-in-term-declaration.output.md | 4 ++++ 2 files changed, 12 insertions(+) create mode 100644 unison-src/transcripts/no-hash-in-term-declaration.md create mode 100644 unison-src/transcripts/no-hash-in-term-declaration.output.md diff --git a/unison-src/transcripts/no-hash-in-term-declaration.md b/unison-src/transcripts/no-hash-in-term-declaration.md new file mode 100644 index 000000000..ac43b449a --- /dev/null +++ b/unison-src/transcripts/no-hash-in-term-declaration.md @@ -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 +``` \ No newline at end of file diff --git a/unison-src/transcripts/no-hash-in-term-declaration.output.md b/unison-src/transcripts/no-hash-in-term-declaration.output.md new file mode 100644 index 000000000..aa3dc9d9f --- /dev/null +++ b/unison-src/transcripts/no-hash-in-term-declaration.output.md @@ -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. +