4
import Prelude hiding (catch)
5
import Control.Exception
6
import System.Environment
7
import System.Console.Readline
13
import qualified DeBruijnCBN
14
import qualified DeBruijnCBN2
15
import qualified DeBruijnCBN3
16
import qualified DeBruijnCBN4
17
import qualified DeBruijnCBN5
18
import qualified DeBruijnCBN6
19
import qualified DeBruijnCBN7
20
import qualified DeBruijnLazy1
21
import qualified DeBruijnLazy2
22
import qualified DeBruijnLazy3
23
import qualified DeBruijnLazy4
24
import qualified DeBruijnLazy5
25
import qualified DeBruijnLazy6
26
import qualified DeBruijnLazy7
28
eval "dbCBN" = DeBruijnCBN.eval
29
eval "dbCBN2" = DeBruijnCBN2.eval
30
eval "dbCBN3" = DeBruijnCBN3.eval
31
eval "dbCBN4" = DeBruijnCBN4.eval
32
eval "dbCBN5" = DeBruijnCBN5.eval
33
eval "dbCBN6" = DeBruijnCBN6.eval
34
eval "dbCBN7" = DeBruijnCBN7.eval
35
eval "dbLazy1" = DeBruijnLazy1.eval
36
eval "dbLazy2" = DeBruijnLazy2.eval
37
eval "dbLazy3" = DeBruijnLazy3.eval
38
eval "dbLazy4" = DeBruijnLazy4.eval
39
eval "dbLazy5" = DeBruijnLazy5.eval
40
eval "dbLazy6" = DeBruijnLazy6.eval
41
eval "dbLazy7" = DeBruijnLazy7.eval
42
eval s = error $ "no such implementation: " ++ s
44
evalD = DeBruijnLazy7.eval
51
print $ evalD sig $ Def "main"
54
print $ eval s sig $ Def "main"
58
_ -> putStrLn "Bad args"
64
Just ":q" -> return ()
71
print $ evalD sig (parseTerm sig s)