diff options
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? |