allow underscore in Id

AmpersandTarski · May 1, 2023 · c42740a · c42740a
1 parent cce152a
commit c42740a
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/Ampersand/Basics/String.hs b/src/Ampersand/Basics/String.hs
@@ -89,7 +89,7 @@ escapeIdentifier (Text1 c0 cs) =
 --   characters of an identifier, a boolean is required that tells if this is the
 --   first character.
 isSafeIdChar :: Bool -> Char -> Bool
-isSafeIdChar isFirst c = isLower c || isUpper c || (not isFirst && isAlphaNum c)
+isSafeIdChar isFirst c = isLower c || isUpper c || (not isFirst && (isAlphaNum c || c == '_'))
 
 toText1Unsafe :: Text -> Text1
 toText1Unsafe txt = case T.uncons txt of