diff options
Diffstat (limited to 'frontend/convertDynamics.dcl')
| -rw-r--r-- | frontend/convertDynamics.dcl | 10 |
1 files changed, 1 insertions, 9 deletions
diff --git a/frontend/convertDynamics.dcl b/frontend/convertDynamics.dcl index 86c1f33..cfdface 100644 --- a/frontend/convertDynamics.dcl +++ b/frontend/convertDynamics.dcl @@ -3,16 +3,8 @@ */ definition module convertDynamics -import syntax, transform, convertcases +import syntax, transform convertDynamicPatternsIntoUnifyAppls :: {! GlobalTCType} !{# CommonDefs} !Int !*{! Group} !*{#FunDef} !*PredefinedSymbols !*VarHeap !*TypeHeaps !*ExpressionHeap (Optional *File) {# DclModule} !IclModule /* TD */ [String] -> (!*{! Group}, !*{#FunDef}, !*PredefinedSymbols, !*{#{# CheckedTypeDef}}, !ImportedConstructors, !*VarHeap, !*TypeHeaps, !*ExpressionHeap, Optional *File) - -/* -convertDynamicPatternsIntoUnifyAppls :: {! GlobalTCType} !{# CommonDefs} !*{! Group} !*{#FunDef} !*PredefinedSymbols - !*{#{# CheckedTypeDef}} !ImportedConstructors !*VarHeap !*TypeHeaps !*ExpressionHeap - -> (!*{! Group}, !*{#FunDef}, !*PredefinedSymbols, !*{#{# CheckedTypeDef}}, !ImportedConstructors, !*VarHeap, !*TypeHeaps, !*ExpressionHeap) -*/ - -get_module_id_app :: !*PredefinedSymbols -> (App,Expression,!*PredefinedSymbols) |