diff options
| -rw-r--r-- | frontend/cheat.dcl | 5 | ||||
| -rw-r--r-- | frontend/cheat.icl | 17 | ||||
| -rw-r--r-- | frontend/explicitimports.icl | 2 | ||||
| -rw-r--r-- | frontend/type.icl | 4 | ||||
| -rw-r--r-- | frontend/unitype.icl | 2 |
5 files changed, 4 insertions, 26 deletions
diff --git a/frontend/cheat.dcl b/frontend/cheat.dcl deleted file mode 100644 index d7c3b66..0000000 --- a/frontend/cheat.dcl +++ /dev/null @@ -1,5 +0,0 @@ -system module cheat - -i :: !b -> a - -uniqueCopy :: !*a -> (!*a, !*a) diff --git a/frontend/cheat.icl b/frontend/cheat.icl deleted file mode 100644 index 40c56ea..0000000 --- a/frontend/cheat.icl +++ /dev/null @@ -1,17 +0,0 @@ -implementation module cheat - -i :: !a -> b -i x = - code - { .inline i - no_op - .end - } - -uniqueCopy :: !*a -> (!*a, !*a) -uniqueCopy x = - code - { .inline uniqueCopy - push_a 0 - .end - } diff --git a/frontend/explicitimports.icl b/frontend/explicitimports.icl index ae94b7e..c453e2c 100644 --- a/frontend/explicitimports.icl +++ b/frontend/explicitimports.icl @@ -3,7 +3,7 @@ implementation module explicitimports import StdEnv -import syntax, typesupport, parse, checksupport, utilities, checktypes, transform, predef, cheat, +import syntax, typesupport, parse, checksupport, utilities, checktypes, transform, predef, compilerSwitches//, RWSDebug cUndef :== (-1) diff --git a/frontend/type.icl b/frontend/type.icl index 8e02045..180e29e 100644 --- a/frontend/type.icl +++ b/frontend/type.icl @@ -2,7 +2,7 @@ implementation module type import StdEnv import syntax, typesupport, check, analtypes, overloading, unitype, refmark, predef, utilities, compare_constructor // , RWSDebug -import cheat, compilerSwitches +import compilerSwitches import generics // AA :: TypeInput = @@ -2225,7 +2225,7 @@ where # (error=:{ea_file}) = errorHeading "Uniqueness error" error (coercion_env, copy_coercion_env) - = uniqueCopy coercion_env + = arrayCopy coercion_env format = { form_properties = cMarkAttribute, form_attr_position = Yes (reverse positions, copy_coercion_env) } diff --git a/frontend/unitype.icl b/frontend/unitype.icl index 4db67cd..72f239c 100644 --- a/frontend/unitype.icl +++ b/frontend/unitype.icl @@ -5,7 +5,7 @@ import StdEnv import syntax, analunitypes, type, utilities, checktypes, compilerSwitches //, RWSDebug -import cheat +// import cheat AttrUni :== 0 AttrMulti :== 1 |