diff options
Diffstat (limited to 'frontend/utilities.dcl')
| -rw-r--r-- | frontend/utilities.dcl | 7 |
1 files changed, 2 insertions, 5 deletions
diff --git a/frontend/utilities.dcl b/frontend/utilities.dcl index 6eaa0b4..965f872 100644 --- a/frontend/utilities.dcl +++ b/frontend/utilities.dcl @@ -18,11 +18,8 @@ stringToCharList :: !String -> [Char] charListToString :: ![Char] -> String revCharListToString :: !Int ![Char] -> String -NoUnderscores :== False -UnderscoresAllowed :== True - -isUpperCaseName :: ! String !Bool -> Bool -isLowerCaseName :: ! String !Bool -> Bool +isUpperCaseName :: ! String -> Bool +isLowerCaseName :: ! String -> Bool isFunnyIdName :: ! String -> Bool isSpecialChar :: ! Char -> Bool |