diff options
| author | Mirek Kratochvil <exa.exa@gmail.com> | 2022-10-23 23:38:13 +0200 |
|---|---|---|
| committer | Mirek Kratochvil <exa.exa@gmail.com> | 2022-10-23 23:38:13 +0200 |
| commit | f0d6558df971ed199f79cdeb5149a7c19cd16777 (patch) | |
| tree | 1f162625e1926252aaaa7dd2e1ab42ac3a15d1ef /app/Main.hs | |
| parent | 60f5eb274cb3dc8d8a28942ada97763bcc0c8f9f (diff) | |
| download | prlg-f0d6558df971ed199f79cdeb5149a7c19cd16777.tar.gz prlg-f0d6558df971ed199f79cdeb5149a7c19cd16777.tar.bz2 | |
well
Diffstat (limited to 'app/Main.hs')
| -rw-r--r-- | app/Main.hs | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/app/Main.hs b/app/Main.hs index 0a1ba8f..5b9ed07 100644 --- a/app/Main.hs +++ b/app/Main.hs @@ -37,3 +37,7 @@ main = do ] ppr interp ppr res + +{- +ppr $ let { Right l = parse lexPrlg "stdin" "c(cc(X)) :- a, b. " ; Right p = parse parsePrlg "stdin" l; clause:_ = map (ast2prlg defaultOps) p; ((StrTable _ strfwd strback),codei) = strtablizePrlg emptystrtable clause } in compileRule (Id (strfwd M.! ":-") 2) (Id (strfwd M.! ",") 2) codei + -} |