diff options
| author | Camil Staps | 2016-07-01 19:37:38 +0200 |
|---|---|---|
| committer | Camil Staps | 2016-07-01 19:37:38 +0200 |
| commit | b3f1e3ff0404a5182b6eed2d88014b4b4fbd69c2 (patch) | |
| tree | c2dbd5b0a43fffc6119510bdc2f5324aa3a0e3b5 /Program.dcl | |
| parent | Assembler (diff) | |
Moved to directory, added test program
Diffstat (limited to 'Program.dcl')
| -rw-r--r-- | Program.dcl | 13 |
1 files changed, 0 insertions, 13 deletions
diff --git a/Program.dcl b/Program.dcl deleted file mode 100644 index ffdf948..0000000 --- a/Program.dcl +++ /dev/null @@ -1,13 +0,0 @@ -definition module ABC.Program - -from ABC.Def import ::InstrId, ::Instruction, ::State - -pc_init :: InstrId -pc_next :: InstrId -> InstrId -pc_halt :: InstrId -> InstrId -pc_end :: InstrId -> Bool - -:: ProgramStore - -ps_get :: InstrId ProgramStore -> Instruction -ps_init :: [Instruction] -> ProgramStore |