diff options
| author | Camil Staps | 2015-07-06 16:35:52 +0200 |
|---|---|---|
| committer | Camil Staps | 2015-07-06 16:35:52 +0200 |
| commit | ca22479120810e5e0a79f1ec2bcd01ed26152fdb (patch) | |
| tree | 1a050f37ff010374182129d56a33c50eb84f7df5 | |
| parent | Fix show for expressions (parentheses); allow parentheses in input (diff) | |
Adhere to Clean library standards, i.e. don't import too much
| -rw-r--r-- | Logic.dcl | 3 | ||||
| -rw-r--r-- | StringUtils.dcl | 2 |
2 files changed, 3 insertions, 2 deletions
@@ -23,7 +23,8 @@ */ definition module Logic -import StdEnv, StdMaybe +from StdOverloaded import class <, class == +from StdMaybe import :: Maybe // Expressions :: Expr = B Bool // A constant diff --git a/StringUtils.dcl b/StringUtils.dcl index 22e80ad..f431e12 100644 --- a/StringUtils.dcl +++ b/StringUtils.dcl @@ -23,7 +23,7 @@ */ definition module StringUtils -import StdEnv +from StdOverloaded import class toString strlen :: String -> Int // Length of a String |