diff options
| author | Mirek Kratochvil <exa.exa@gmail.com> | 2022-11-26 13:35:19 +0100 |
|---|---|---|
| committer | Mirek Kratochvil <exa.exa@gmail.com> | 2022-11-26 13:35:19 +0100 |
| commit | a26f0f29c02bfb4ec56781397d60abeb498b8c12 (patch) | |
| tree | 9c351e8d2283a8b2564ea770ca0d42d2c4d30701 /app/Code.hs | |
| parent | 58367975aed706172487727330670d62fcb0e6d1 (diff) | |
| download | prlg-a26f0f29c02bfb4ec56781397d60abeb498b8c12.tar.gz prlg-a26f0f29c02bfb4ec56781397d60abeb498b8c12.tar.bz2 | |
massive cleanup
Diffstat (limited to 'app/Code.hs')
| -rw-r--r-- | app/Code.hs | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/app/Code.hs b/app/Code.hs index b1c474b..8bea782 100644 --- a/app/Code.hs +++ b/app/Code.hs @@ -2,11 +2,11 @@ module Code where -import Control.Monad.Trans.State.Lazy +import Control.Monad.Trans.State.Lazy (StateT) import qualified Data.Map as M import IR (Id(..), StrTable) import Operators (Ops) -import System.Console.Haskeline +import System.Console.Haskeline (InputT) data Datum = Atom Int -- unifies a constant @@ -73,6 +73,7 @@ data Builtin = instance Show Builtin where show _ = "Builtin _" +-- TODO are we actually going to use this? codeStruct :: Monad m => (Datum -> m a) |