diff options
Diffstat (limited to 'frontend/convertDynamics.dcl')
| -rw-r--r-- | frontend/convertDynamics.dcl | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/frontend/convertDynamics.dcl b/frontend/convertDynamics.dcl new file mode 100644 index 0000000..45c8d35 --- /dev/null +++ b/frontend/convertDynamics.dcl @@ -0,0 +1,7 @@ +definition module convertDynamics + +import syntax, transform, convertcases + +convertDynamicPatternsIntoUnifyAppls :: {! GlobalTCType} !{# CommonDefs} !*{! Group} !*{#FunDef} !*PredefinedSymbols + !*{#{# CheckedTypeDef}} !ImportedFunctions !*VarHeap !*TypeHeaps !*ExpressionHeap + -> (!*{! Group}, !*{#FunDef}, !*PredefinedSymbols, !*{#{# CheckedTypeDef}}, !ImportedConstructors, !*VarHeap, !*TypeHeaps, !*ExpressionHeap) |