blob: ba36fb6ced6032382bb1439628fd405edd4146ae (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
|
definition module ABC.Machine.Def
from ABC.Machine.AStack import ::AStack
from ABC.Machine.BStack import ::BStack
from ABC.Machine.CStack import ::CStack
from ABC.Machine.GraphStore import ::GraphStore, ::DescStore
from ABC.Machine.Program import ::ProgramStore
from ABC.Machine.IO import ::IO
:: State = { astack :: AStack
, bstack :: BStack
, cstack :: CStack
, graphstore :: GraphStore
, descstore :: DescStore
, pc :: InstrId
, program :: ProgramStore
, io :: IO
}
:: NodeId :== Int
:: NrArgs :== Int
:: ArgNr :== Int
:: DescId :== Int
:: InstrId :== Int
:: Name :== String
:: Arity :== Int
:: Instruction :== State -> State
:: APEntry :== InstrId
:: Args :== [NodeId]
|
