| summaryrefslogtreecommitdiff |
diff options
Diffstat (limited to 'src/Tonkadur/Execute.elm')
| -rw-r--r-- | src/Tonkadur/Execute.elm | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/Tonkadur/Execute.elm b/src/Tonkadur/Execute.elm index 98eb680..cf582dd 100644 --- a/src/Tonkadur/Execute.elm +++ b/src/Tonkadur/Execute.elm @@ -80,6 +80,7 @@ extra_instruction : ( extra_instruction name parameters state = -- No extra instruction supported. -- TODO: error report. + state initialize : ( String -> @@ -103,6 +104,7 @@ initialize type_name address state = ) state.memory ) + -- TODO: detect allocated memory for special handling. } prompt_command : ( @@ -168,6 +170,7 @@ remove address state = (\last_addr dict -> (Dict.remove last_addr dict)) state.memory ) + -- TODO: detect allocated memory for special handling. } resolve_choice : Tonkadur.Types.State -> Tonkadur.Types.State |