diff options
| author | Marvin Borner | 2022-08-12 18:43:27 +0200 |
|---|---|---|
| committer | Marvin Borner | 2022-08-12 19:47:47 +0200 |
| commit | cbc9a382e356951896a21f80f52e0e5b3e8c4e1f (patch) | |
| tree | 4ba22cea48d2ac36a8ab8c12557007431602a6ab /src/Helper.hs | |
| parent | cce495b3b4440997274ecab3d72ed61d6a50b007 (diff) | |
Added prefix support
Needs some work regarding namespaces
Diffstat (limited to 'src/Helper.hs')
| -rw-r--r-- | src/Helper.hs | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/src/Helper.hs b/src/Helper.hs index 66fe265..eb41673 100644 --- a/src/Helper.hs +++ b/src/Helper.hs @@ -89,7 +89,7 @@ printBundle ParseErrorBundle {..} = <> pointer <> "\n" -data Expression = Bruijn Int | Variable String | Abstraction Expression | Application Expression Expression | Infix Expression String Expression +data Expression = Bruijn Int | Variable String | Abstraction Expression | Application Expression Expression | Infix Expression String Expression | Prefix String Expression deriving (Ord, Eq) data Instruction = Define String Expression [Instruction] | Evaluate Expression | Comment | Import String String | Test Expression Expression | ContextualInstruction Instruction String deriving (Show) @@ -100,7 +100,8 @@ instance Show Expression where show (Application exp1 exp2) = "\ESC[33m(\ESC[0m" <> show exp1 <> " " <> show exp2 <> "\ESC[33m)\ESC[0m" show (Infix le i re) = - show le <> "\ESC[95m(" <> i <> ")" <> "\ESC[0m" <> show re + show le <> " \ESC[95m(" <> i <> ")" <> "\ESC[0m " <> show re + show (Prefix p e) = "\ESC[95m" <> p <> show e <> "\ESC[0m" type EnvDef = (String, Expression) -- TODO: Add EvalConf to EnvState? |