Commit 5b6c4476 authored by Luca Bataillard's avatar Luca Bataillard
Browse files

remove modifications to main and interp

parent a3a52ceb
......@@ -221,8 +221,7 @@ class CPSInterpreterLow(log: SymbolicCPSTreeModuleLow.Tree => Unit)
allocBlock(t, Array.fill(s)(BitsV(0)))
case (BlockTag, Seq(BlockV(_, t, _))) => BitsV(t)
case (BlockLength, Seq(BlockV(_, _, c))) => BitsV(c.length)
case (BlockGet, Seq(BlockV(_, _, c), BitsV(i))) =>
c(i)
case (BlockGet, Seq(BlockV(_, _, c), BitsV(i))) => c(i)
case (BlockSet, Seq(BlockV(_, _, c), BitsV(i), v)) =>
c(i) = v; BitsV(0)
......
......@@ -21,10 +21,9 @@ object Main {
andThen CPSInterpreterLow
)
val todoargs = Seq("../tests/stmt-defrec.l3")
val basePath = Paths.get(".").toAbsolutePath
Either.cond(! todoargs.isEmpty, todoargs.toIndexedSeq, "no input file given")
Either.cond(! args.isEmpty, args.toIndexedSeq, "no input file given")
.flatMap(L3FileReader.readFilesExpandingModules(basePath, _))
.flatMap(p => L3Parser.parse(p._1, p._2))
.flatMap(CL3NameAnalyzer)
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment