diff options
| author | Jed Barber <jjbarber@y7mail.com> | 2014-03-14 01:03:03 +1100 |
|---|---|---|
| committer | Jed Barber <jjbarber@y7mail.com> | 2014-03-14 01:03:03 +1100 |
| commit | f309a14ee66ca569d8f763f02c750f088165fe95 (patch) | |
| tree | e5b81fc3c32d3c07579ccc3b8a6f72e5bd36f742 /Unlambda/Parser.hs | |
| parent | 0765a9a1ea31b11075731f4f33b68b40b6f15154 (diff) | |
Unlambda interpreter complete
Diffstat (limited to 'Unlambda/Parser.hs')
| -rw-r--r-- | Unlambda/Parser.hs | 6 |
1 files changed, 1 insertions, 5 deletions
diff --git a/Unlambda/Parser.hs b/Unlambda/Parser.hs index 851fc01..59fc5e3 100644 --- a/Unlambda/Parser.hs +++ b/Unlambda/Parser.hs @@ -15,11 +15,7 @@ import Text.ParserCombinators.Parsec -type ULM a = ContT UnlambdaTerm (StateT UnlambdaState IO) a - -data UnlambdaState = UnlambdaState { exit :: UnlambdaTerm -> ULM UnlambdaTerm - , curChar :: Maybe Char } - +type ULM a = ContT UnlambdaTerm (StateT (Maybe Char) IO) a data UnlambdaTerm = S | K | I | V | R | D | C | E | Bar | Reed |