Galua.OpcodeInterpreter
(2)
lvl
=
unpackCString#
"step"
(2)
lvl
=
unpackCString#
"limit"
(2)
lvl
=
unpackCString#
"initial"
(1)
lvl
=
0
(2)
lvl
=
$fNumNumber_$cfromInteger
lvl
(10)
lvl
=
λ
ds
eta
→
let!
(,)
f
as
=
ds
in
(63)
$wsetStackSize
=
λ
ww
ww
ww
ww
ww
ww
w
→
let!
(#,#)
ipv
ipv1
=
readMutVar#
ww
w
in
let!
SizedVector'
dt
_
_
_
=
ipv1
in
case
tagToEnum#
<=#
dt
ww
of
False
→
…
True
→
…
(2)
$tc'InterpreterFailure
=
TrNameS
"'InterpreterFailure"
(2)
$tcInterpreterFailureType
=
TrNameS
"InterpreterFailureType"
(2)
$tc'BadProto
=
TrNameS
"'BadProto"
(2)
$tc'BadPc
=
TrNameS
"'BadPc"
(2)
$tc'BadStack
=
TrNameS
"'BadStack"
(2)
$tc'BadUpval
=
TrNameS
"'BadUpval"
(2)
$tc'BadConstant
=
TrNameS
"'BadConstant"
(2)
$tc'ExpectedExtraArg
=
TrNameS
"'ExpectedExtraArg"
(2)
$tc'UnexpectedExtraArg
=
TrNameS
"'UnexpectedExtraArg"
(2)
$tc'SetListNeedsTable
=
TrNameS
"'SetListNeedsTable"
(2)
$tc'NonLuaFunction
=
TrNameS
"'NonLuaFunction"
(2)
$tcRValue
=
TrNameS
"RValue"
(2)
$tc'C:RValue
=
TrNameS
"'C:RValue"
(2)
$tcLValue
=
TrNameS
"LValue"
(2)
$tc'C:LValue
=
TrNameS
"'C:LValue"
(2)
lvl
=
unpackCString#
" must be a number"
(74)
forloopAsNumber
=
λ
label
v
cont
eta
→
let
$j
=
…
in
case
v
of
DEFAULT
→
…
Number
n
→
…
String
n
→
…
(2)
lvl
=
unpackCString#
"Interpreter failed!"
(2)
$cshowList
=
I#
0
(2)
lvl
=
unpackCString#
"BadProto "
(2)
lvl
=
unpackCString#
"BadPc "
(2)
lvl
=
unpackCString#
"BadStack "
(2)
lvl
=
unpackCString#
"BadUpval "
(2)
lvl
=
unpackCString#
"BadConstant "
(2)
lvl
=
unpackCString#
"ExpectedExtraArg"
(2)
lvl
=
unpackCString#
"UnexpectedExtraArg"
(2)
lvl
=
unpackCString#
"SetListNeedsTable"
(2)
lvl
=
unpackCString#
"NonLuaFunction"
(236)
$cshowsPrec
=
λ
a
ds
eta
→
case
ds
of
BadProto
b1
→
…
BadPc
b1
→
…
BadStack
b1
→
…
BadUpval
b1
→
…
BadConstant
b1
→
…
ExpectedExtraArg
→
…
UnexpectedExtraArg
→
…
SetListNeedsTable
→
…
NonLuaFunction
→
…
(2)
$cshowList
=
$cshowsPrec
$cshowList
(2)
$cshowList
=
showList__
$cshowList
(2)
$sshows
=
$cshowsPrec
shows22
(86)
$cshow
=
λ
x
→
case
x
of
BadProto
b1
→
…
BadPc
b1
→
…
BadStack
b1
→
…
BadUpval
b1
→
…
BadConstant
b1
→
…
ExpectedExtraArg
→
…
UnexpectedExtraArg
→
…
SetListNeedsTable
→
…
NonLuaFunction
→
…
(4)
$fShowInterpreterFailureType
=
C:Show
$cshowsPrec
$cshow
$cshowList
(10)
$w$cshow
=
λ
ww
→
unlines
:
lvl
:
unpackAppendCString#
"Exception: "
$cshow
ww
[]
(6)
$cshow
=
λ
w
→
let!
InterpreterFailure
ww
=
w
in
$w$cshow
ww
(10)
$cshowsPrec
=
λ
ds
x
s
→
let!
InterpreterFailure
ww
=
x
in
++
$w$cshow
ww
s
(9)
lvl
=
λ
x
s
→
let!
InterpreterFailure
ww
=
x
in
++
$w$cshow
ww
s
(6)
$cshowList
=
λ
ls
s
→
showList__
lvl
ls
s
(1)
$sshows
=
lvl
(1)
$s$dmshowList
=
$cshowList
(4)
$fShowInterpreterFailure
=
C:Show
$cshowsPrec
$cshow
$cshowList
(1)
$s$dmshowsPrec
=
$cshowsPrec
(1)
$cdisplayException
=
$cshow
(1)
$s$dmdisplayException
=
$cshow
(1)
$s$dmshow
=
$cshow
(2)
$tcInterpreterFailure
=
TrNameS
"InterpreterFailure"
(2)
$trModule
=
TrNameS
"Galua.OpcodeInterpreter"
(2)
$trModule
=
TrNameS
"galua-0.2-5hdm9cyXNeHDuUoWCZKIIG"
(3)
$trModule
=
Module
$trModule
$trModule
(5)
$tcInterpreterFailure
=
TyCon
11147647436523647781
17461527858744733576
$trModule
$tcInterpreterFailure
(3)
lvl
=
Fingerprint
11147647436523647781
17461527858744733576
(17)
ds
=
let!
kt_fps
=
typeRepFingerprints
[]
[]
in
let!
Fingerprint
dt1
dt2
=
fingerprintFingerprints
:
lvl
kt_fps
in
TypeRep
dt1
dt2
$tcInterpreterFailure
[]
[]
(2)
$cp1Exception
=
λ
wild
→
ds
(1)
$cp1Exception
=
$cp1Exception
(30)
$cfromException
=
λ
eta
→
let!
SomeException
_
$dException1
e2
=
eta
in
let!
TypeRep
dt
dt1
_
_
_
=
$p1Exception
$dException1
proxy#
in
let!
TypeRep
dt2
dt3
_
_
_
=
ds
in
case
tagToEnum#
eqWord#
dt
dt2
of
False
→
…
True
→
…
rec
(6)
$fExceptionInterpreterFailure
=
C:Exception
$cp1Exception
$fShowInterpreterFailure
$ctoException
$cfromException
$cshow
(2)
$ctoException
=
SomeException
$fExceptionInterpreterFailure
(2)
lvl
=
InterpreterFailure
NonLuaFunction
(2)
lvl
=
$ctoException
lvl
(160)
$wgetCallArguments
=
λ
w
ww
w
w
→
let
$w$j
=
…
in
case
w
of
CountInt
dt
→
…
CountTop
→
…
(1)
$s$dmfromException
=
$cfromException
(5)
$tc'C:LValue
=
TyCon
10750136585711280147
8989885400586916285
$trModule
$tc'C:LValue
(5)
$tcLValue
=
TyCon
3910655325234061769
17843099448469732468
$trModule
$tcLValue
(5)
$tc'C:RValue
=
TyCon
16754152644948943996
13742640978507325937
$trModule
$tc'C:RValue
(5)
$tcRValue
=
TyCon
13710688313145283911
3603288615126448145
$trModule
$tcRValue
(5)
$tc'NonLuaFunction
=
TyCon
2374708341481109220
17786606766698271285
$trModule
$tc'NonLuaFunction
(5)
$tc'SetListNeedsTable
=
TyCon
12583183158098790170
4184896142159572745
$trModule
$tc'SetListNeedsTable
(5)
$tc'UnexpectedExtraArg
=
TyCon
17880776475502837358
13428188826927287413
$trModule
$tc'UnexpectedExtraArg
(5)
$tc'ExpectedExtraArg
=
TyCon
12826134753600904332
15489741898322933998
$trModule
$tc'ExpectedExtraArg
(5)
$tc'BadConstant
=
TyCon
8619145638731840761
17310576819555232571
$trModule
$tc'BadConstant
(5)
$tc'BadUpval
=
TyCon
4303715194229828891
14333317240402025394
$trModule
$tc'BadUpval
(5)
$tc'BadStack
=
TyCon
4638462076280649569
9113266575224827691
$trModule
$tc'BadStack
(5)
$tc'BadPc
=
TyCon
13128597107965212752
13628730234098581381
$trModule
$tc'BadPc
(5)
$tc'BadProto
=
TyCon
3077995449931202244
9603166132221267693
$trModule
$tc'BadProto
(5)
$tcInterpreterFailureType
=
TyCon
5321971167829799437
3304782236808591716
$trModule
$tcInterpreterFailureType
(5)
$tc'InterpreterFailure
=
TyCon
5568027973552712036
638928563048629650
$trModule
$tc'InterpreterFailure
(32)
$cget
=
λ
eta
eta
eta
→
case
eta
of
RK_Reg
dt
→
…
RK_Kst
k
→
…
(20)
$slvalToRval
=
λ
eta
eta
s
→
let!
ExecEnv
_
dt1
_
dt3
_
_
_
_
_
_
_
=
eta
in
let!
I#
y
=
eta
in
let!
(#,#)
ipv
ipv1
=
readArray#
dt3
+#
dt1
y
s
in
readSTRef1
ipv1
ipv
(28)
$slvalToRval
=
λ
eta
eta
s
→
let!
ExecEnv
dt
_
_
_
_
_
_
_
_
_
_
=
eta
in
let!
(#,#)
ipv
ipv1
=
readMutVar#
dt
s
in
let!
SizedVector'
_
dt1
_
dt3
=
ipv1
in
let!
I#
y
=
eta
in
let!
(#,#)
ipv
ipv1
=
readArray#
dt3
+#
dt1
y
ipv
in
readSTRef1
ipv1
ipv
(42)
$w$slvalToRval
=
λ
ww
ww
ww
ww
ww
ww
w
w
→
case
w
of
UpReg
dt
→
…
UpUp
dt
→
…
(15)
$slvalToRval
=
λ
w
w
w
→
let!
ExecEnv
ww
ww
_
ww
_
ww
_
ww
_
_
ww
=
w
in
$w$slvalToRval
ww
ww
ww
ww
ww
ww
w
w
(33)
$cgetLValue
=
λ
eta
eta
eta
→
case
eta
of
UpReg
dt
→
…
UpUp
dt
→
…
(1)
$cgetLValue
=
$cgetLValue
(1)
$fLValueUpvalue
=
$cgetLValue
(1)
$sgetLValue
=
$cgetLValue
(15)
$cgetLValue
=
λ
eta
eta
eta
→
let!
ExecEnv
_
dt1
_
dt3
_
_
_
_
_
_
_
=
eta
in
let!
I#
y
=
eta
in
readArray#
dt3
+#
dt1
y
eta
(1)
$cgetLValue
=
$cgetLValue
(1)
$fLValueUpIx
=
$cgetLValue
(1)
$sgetLValue
=
$cgetLValue
(23)
$cgetLValue
=
λ
eta
eta
eta
→
let!
ExecEnv
dt
_
_
_
_
_
_
_
_
_
_
=
eta
in
let!
(#,#)
ipv
ipv1
=
readMutVar#
dt
eta
in
let!
SizedVector'
_
dt1
_
dt3
=
ipv1
in
let!
I#
y
=
eta
in
readArray#
dt3
+#
dt1
y
ipv
(1)
$cgetLValue
=
$cgetLValue
(1)
$fLValueReg
=
$cgetLValue
(1)
$sgetLValue
=
$cgetLValue
rec
(3)
xs
=
:
Nil
xs
(163)
setCallResults
=
λ
eenv
a
b
xs
s
→
let
$w$j
=
…
in
case
b
of
CountInt
dt
→
…
CountTop
→
…
(2)
ipv
=
absentError
"ww_s4HPx Value"
(2)
lvl
=
InterpreterFailure
SetListNeedsTable
(2)
lvl
=
$ctoException
lvl
rec
(123)
$sfoldlM_loop
=
λ
sc
sc
sc
sc
sc
sg
sc
→
case
sc
of
[]
→
…
:
x
xs1
→
…
(2)
lvl
=
InterpreterFailure
UnexpectedExtraArg
(2)
lvl
=
$ctoException
lvl
(4602)
$wexecute
=
λ
ww
ww
ww
ww
ww
ww
ww
ww
ww
ww
ww
ww
ww
ww
ww
ww
ww
w
→
let
lvl
=
…
lvl
=
…
lvl
=
…
lvl
=
…
advance
=
…
wild
=
…
in
let!
Unit#
ipv
=
indexArray#
ww
+#
ww
ww
in
case
ipv
of
OP_MOVE
dt
dt
→
…
OP_LOADK
dt
src
→
…
OP_LOADKX
dt
v
→
…
OP_LOADBOOL
dt
b
c
→
…
OP_LOADNIL
dt
dt
→
…
OP_GETUPVAL
dt
dt
→
…
OP_GETTABUP
dt
dt
tabKey
→
…
OP_GETTABLE
dt
dt
tabKey
→
…
OP_SETTABUP
dt
key
src
→
…
OP_SETUPVAL
dt
dt
→
…
OP_SETTABLE
dt
key
src
→
…
OP_NEWTABLE
dt
dt
dt
→
…
OP_SELF
dt
dt
key
→
…
OP_ADD
dt
op1
op2
→
…
OP_SUB
dt
op1
op2
→
…
OP_MUL
dt
op1
op2
→
…
OP_MOD
dt
op1
op2
→
…
OP_POW
dt
op1
op2
→
…
OP_DIV
dt
op1
op2
→
…
OP_IDIV
dt
op1
op2
→
…
OP_BAND
dt
op1
op2
→
…
OP_BOR
dt
op1
op2
→
…
OP_BXOR
dt
op1
op2
→
…
OP_SHL
dt
op1
op2
→
…
OP_SHR
dt
op1
op2
→
…
OP_UNM
dt
dt
→
…
OP_BNOT
dt
dt
→
…
OP_NOT
dt
dt
→
…
OP_LEN
dt
dt
→
…
OP_CONCAT
dt
dt
dt
→
…
OP_JMP
mbCloseReg
dt
→
…
OP_EQ
invert
op1
op2
→
…
OP_LT
invert
op1
op2
→
…
OP_LE
invert
op1
op2
→
…
OP_TEST
dt
c
→
…
OP_TESTSET
dt
dt
c
→
…
OP_CALL
dt
b
c
→
…
OP_TAILCALL
dt
b
_
→
…
OP_RETURN
dt
c
→
…
OP_FORLOOP
dt
dt
→
…
OP_FORPREP
dt
dt
→
…
OP_TFORCALL
dt
dt
→
…
OP_TFORLOOP
dt
dt
→
…
OP_SETLIST
dt
dt
dt
dt
→
…
OP_CLOSURE
dt
dt
cloFunc
→
…
OP_VARARG
dt
b
→
…
OP_EXTRAARG
_
→
…
(34)
execute
=
λ
w
w
w
→
let!
VM
ww
_
ww
ww
=
w
in
let!
MachineEnv
_
_
ww
_
ww
_
ww
ww
_
ww
ww
ww
=
ww
in
let!
ExecEnv
ww
ww
_
ww
ww
ww
_
ww
ww
_
ww
=
ww
in
let!
I#
ww
=
w
in
$wexecute
ww
ww
ww
ww
ww
ww
ww
ww
ww
ww
ww
ww
ww
ww
ww
ww
ww
w
(1)
execute
=
execute
(7)
$s=<<
=
λ
f
x
→
bindIO1
x
f
(1)
$s=<<
=
$s=<<
(1)
$slvalToRval
=
$slvalToRval
(1)
$fRValueUpvalue
=
$slvalToRval
(1)
$slvalToRval
=
$slvalToRval
(1)
$fRValueReg
=
$slvalToRval
(1)
$sget
=
$slvalToRval
(1)
$slvalToRval
=
$slvalToRval
(1)
$fRValueUpIx
=
$slvalToRval
(1)
$sget
=
$slvalToRval
(1)
$cget
=
$cget
(1)
$fRValueRK
=
$cget
(1)
$sget
=
$cget
(1)
$s<$>
=
$fFunctorIO2
(26)
$sfor_
=
λ
eta
eta1
eta
→
let
rec
go
=
…
in
go
eta
eta
(1)
$sfor_
=
$sfor_
(1)
$sforM_
=
$sfor_
rec
(124)
$spoly_foldlM_loop
=
λ
sc
sc
sc
sc
sc
sg
sc
→
case
sc
of
[]
→
…
:
x
xs1
→
…
(91)
$w$s$fTraversableVector_$ctraverse
=
λ
w
ww
ww
ww
w
→
let
rec
$wgo
=
…
in
let!
(#,#)
ipv
ipv1
=
$wgo
0
w
in
(#,#)
ipv
let!
(#,#)
_
ipv2
=
runRW#
λ
s1
→
let!
(#,#)
ipv
ipv1
=
newArray#
0
uninitialised
s1
in
let!
(#,#)
ipv6
ipv7
=
$spoly_foldlM_loop
ipv
ipv1
0
0
ipv1
0
in
let!
(,)
v'
n
=
ipv7
in
let!
MVector
dt
_
dt2
=
v'
in
let!
I#
dt6
=
n
in
let!
(#,#)
ipv
ipv1
=
unsafeFreezeArray#
dt2
ipv6
in
(#,#)
ipv
Vector
dt
dt6
ipv1
in
ipv2
(14)
$s$fTraversableVector_$ctraverse
=
λ
w
w
w
→
let!
Vector
ww
ww
ww
=
w
in
$w$s$fTraversableVector_$ctraverse
w
ww
ww
ww
w
(1)
$s$fTraversableVector_$ctraverse
=
$s$fTraversableVector_$ctraverse
(16)
$sunsafeRead
=
λ
eta
eta1
eta
→
let!
MVector
dt
_
dt2
=
eta
in
let!
I#
y
=
eta1
in
readArray#
dt2
+#
dt
y
eta
(1)
$sunsafeRead
=
$sunsafeRead
rec
(17)
poly_go
=
λ
ds
eta
→
case
ds
of
[]
→
…
:
y
ys
→
…
(6)
$ssequenceA_
=
λ
eta
eta
→
poly_go
eta
eta
(1)
$ssequenceA_
=
$ssequenceA_
(39)
$szipWithM_
=
λ
f
xs
ys
eta
→
let
rec
go
=
…
in
go
xs
ys
eta
(1)
$szipWithM_
=
$szipWithM_
(33)
$s$fTraversable[]_$ctraverse
=
λ
eta
eta
eta
→
let
rec
go
=
…
in
go
eta
eta
(1)
$s$fTraversable[]_$ctraverse
=
$s$fTraversable[]_$ctraverse