diff options
| author | Camil Staps | 2016-06-10 08:45:09 +0200 |
|---|---|---|
| committer | Camil Staps | 2016-06-10 08:45:09 +0200 |
| commit | 09cf0f0791f8d05dbec240917e2010b161bb24f6 (patch) | |
| tree | a5f5ac3d5f17d75bbe3171c3528307e81a9ec3d9 /SmurfParse.icl | |
| parent | LaTeX formatting for derivation trees (diff) | |
Minimalistic prover
Diffstat (limited to 'SmurfParse.icl')
| -rw-r--r-- | SmurfParse.icl | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/SmurfParse.icl b/SmurfParse.icl index 71bfc34..81f6c2f 100644 --- a/SmurfParse.icl +++ b/SmurfParse.icl @@ -16,7 +16,7 @@ import Smurf parse :: ![Char] -> Maybe Program parse [] = pure [] -parse ['"':cs] = parseString cs >>= \(s,cs`) -> append (Push s) $ parse cs` +parse ['"':cs] = parseString cs >>= \(s,cs`) -> append (Push $ Lit s) $ parse cs` parse ['i':cs] = apparse Input cs parse ['o':cs] = apparse Output cs parse ['+':cs] = apparse Cat cs |