diff options
| author | johnvg | 2011-11-10 11:11:15 +0000 |
|---|---|---|
| committer | johnvg | 2011-11-10 11:11:15 +0000 |
| commit | 0f4beed66fd4218082c433ffe5ed8f260332036a (patch) | |
| tree | 641585b055150819b2fd836f7cad1742c1290fbc /frontend/convertDynamics.icl | |
| parent | add module expand_types containing some functions from module trans and modul... (diff) | |
move type TypeCodeVariableInfo to module syntax, remove type DynamicValueAliasInfo,
adjust imports
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@2027 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
Diffstat (limited to 'frontend/convertDynamics.icl')
| -rw-r--r-- | frontend/convertDynamics.icl | 10 |
1 files changed, 1 insertions, 9 deletions
diff --git a/frontend/convertDynamics.icl b/frontend/convertDynamics.icl index 5469f19..8fab72d 100644 --- a/frontend/convertDynamics.icl +++ b/frontend/convertDynamics.icl @@ -1,22 +1,14 @@ -/* - module owner: Ronny Wichers Schreur -*/ implementation module convertDynamics import syntax from type_io_common import PredefinedModuleName + // Optional extended_unify_and_coerce no yes :== no; // change also _unify and _coerce in StdDynamic import type_io; -:: TypeCodeVariableInfo = TCI_TypeVar !Expression - | TCI_TypePatternVar !Expression - | TCI_SelectionsTypePatternVar ![(Expression,[Selection])] - -:: DynamicValueAliasInfo :== BoundVar - :: *ConversionState = { ci_predef_symb :: !*PredefinedSymbols , ci_var_heap :: !*VarHeap |