diff options
| author | Matthew Hall <hallmatthew314@gmail.com> | 2023-02-18 17:19:09 +1300 |
|---|---|---|
| committer | Matthew Hall <hallmatthew314@gmail.com> | 2023-02-18 17:19:09 +1300 |
| commit | 28ab4a097fb73a138850a3fb7f6e480765c702ee (patch) | |
| tree | 2521dcbff013b670caec4b5b8de0eac8a0f150cc /DSL/Util.hs | |
| parent | 8c33b3d2c69b6800ca34155d62c000250980e47e (diff) | |
Add STRCAT, update fizzbuzz
Diffstat (limited to 'DSL/Util.hs')
| -rw-r--r-- | DSL/Util.hs | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/DSL/Util.hs b/DSL/Util.hs index 67435a2..7767b4b 100644 --- a/DSL/Util.hs +++ b/DSL/Util.hs @@ -13,6 +13,10 @@ tInt :: TypeCheck tInt (StackInt _) = True tInt _ = False +tString :: TypeCheck +tString (StackString _) = True +tString _ = False + runChecks :: [TypeCheck] -> Stack -> Maybe String runChecks fs s | length fs > length s = Just "stack underflow" |