Skip to content

Commit 98d7bae

Browse files
author
Dwight Guth
committed
add idToString case
1 parent 09c01a7 commit 98d7bae

File tree

1 file changed

+1
-0
lines changed

1 file changed

+1
-0
lines changed

Diff for: semantics/language/common/compat.k

+1
Original file line numberDiff line numberDiff line change
@@ -73,6 +73,7 @@ module COMPAT
7373
=> S:String +String listToString(L:List)
7474

7575
rule idToString(Identifier(S:String)) => S
76+
rule idToString(#NoName) => "<anonymous>"
7677

7778
rule [firstChar]:
7879
firstChar(S:String) => substrString(S, 0, 1)

0 commit comments

Comments
 (0)