diff options
Diffstat (limited to 'frontend/utilities.dcl')
| -rw-r--r-- | frontend/utilities.dcl | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/frontend/utilities.dcl b/frontend/utilities.dcl index 30eba7c..66c2866 100644 --- a/frontend/utilities.dcl +++ b/frontend/utilities.dcl @@ -1,6 +1,5 @@ definition module utilities -from StdString import String from StdEnv import Eq, not, Ord, IncDec import StdMisc, general @@ -10,6 +9,8 @@ import _aconcat For Strings */ +from StdString import String // 1.3 + stringToCharList :: !String -> [Char] charListToString :: ![Char] -> String revCharListToString :: !Int ![Char] -> String |