diff options
| author | Camil Staps | 2016-07-01 15:24:00 +0200 |
|---|---|---|
| committer | Camil Staps | 2016-07-01 15:24:00 +0200 |
| commit | bc51d802223d549a372275b041ac2b778854b7d2 (patch) | |
| tree | a2c5ae624225abfe16d8aff75e2509135df056e7 /Driver.dcl | |
| parent | Printing (diff) | |
Driver, Instructions
Diffstat (limited to 'Driver.dcl')
| -rw-r--r-- | Driver.dcl | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/Driver.dcl b/Driver.dcl new file mode 100644 index 0000000..e5dd9f6 --- /dev/null +++ b/Driver.dcl @@ -0,0 +1,7 @@ +definition module ABC.Driver + +from ABC.Def import ::State, ::Instruction +from ABC.GraphStore import ::Desc + +boot :: ([Instruction], [Desc]) -> State +fetch_cycle :: State -> State |