diff options
| author | Marvin Borner | 2023-11-06 18:53:58 +0100 |
|---|---|---|
| committer | Marvin Borner | 2023-11-06 18:53:58 +0100 |
| commit | 0a6c4aed69622751058da16f297e5a8f8fe01a1b (patch) | |
| tree | f0e12021e7243987288b70a91e338490e30223f0 /src/Helper.hs | |
| parent | 27f0cbf21e01448245d54f7818582c741d8cdafa (diff) | |
Started unquote and improved quote
Diffstat (limited to 'src/Helper.hs')
| -rw-r--r-- | src/Helper.hs | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/Helper.hs b/src/Helper.hs index 83bf95d..df1918b 100644 --- a/src/Helper.hs +++ b/src/Helper.hs @@ -135,7 +135,7 @@ instance Show Mixfix where show (MixfixExpression e) = show e -- TODO: Remove Application and replace with Chain (renaming of MixfixChain) -data Expression = Bruijn Int | Function Identifier | Abstraction Expression | Application Expression Expression | MixfixChain [Mixfix] | Prefix Identifier Expression +data Expression = Bruijn Int | Function Identifier | Abstraction Expression | Application Expression Expression | MixfixChain [Mixfix] | Prefix Identifier Expression | Quote Expression | Unquote Expression deriving (Ord, Eq, Generic, NFData) instance Show Expression where @@ -156,6 +156,8 @@ instance Show Expression where . foldr1 (\x y -> x . showString " " . y) (map shows ms) . showString "\ESC[33m)\ESC[0m" showsPrec _ (Prefix p e) = shows p . showString " " . shows e + showsPrec _ (Quote e ) = showString "\ESC[36m`\ESC[0m" . shows e + showsPrec _ (Unquote e ) = showString "\ESC[36m,\ESC[0m" . shows e data Command = Input String | Watch String | Import String String | Test Expression Expression | ClearState | Time Expression | Length Expression | Blc Expression | Jot String deriving (Show) |