module isjit

import StdEnv
import StdMaybe
import StdOverloadedList

import System.CommandLine

import Sjit.Compile
import Sjit.Syntax
import Sjit.Run

import Text.GenPrint
derive gPrint Instr

Start w
# (io,w) = stdio w
# io = Foldl (\io b -> io <<< "  " <<< printToString b <<< "\n") (io <<< "Program blocks:\n") comp_state.blocks
# io = io <<< "Interpreted result:  " <<< interpreted_result <<< "\n"
# io = io <<< "JIT-compiled result: " <<< jit_compiled_result <<< "\n"
# (_,w) = fclose io w
= setReturnCode (if (interpreted_result==jit_compiled_result) 0 1) w
where
	interpreted_result = interpret comp_state
	jit_compiled_result = exec comp_state

comp_state =: compile_all Nothing
	[ {fun_name="id",    fun_args=["x"],     fun_expr=Var "x"}
	, {fun_name="const", fun_args=["x","y"], fun_expr=Var "x"}
	, {fun_name="seven", fun_args=[],        fun_expr=App "const" [Int 7, Int 10]}
	, {fun_name="main",  fun_args=[],        fun_expr=App "+" [App "seven" [], App "const" [Int 5, Int 10]]}
	]