diff options
| author | ronny | 2001-10-03 12:56:36 +0000 |
|---|---|---|
| committer | ronny | 2001-10-03 12:56:36 +0000 |
| commit | 64be2315eec12b9655341da602a2083380510915 (patch) | |
| tree | 9c449a63aecb4ff6d143078859cd4c0294f50ad8 /frontend/unitype.dcl | |
| parent | fixed type error by reintroducing uniqueCopy (diff) | |
replace uniqueCopy with copyCoercions
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@819 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
Diffstat (limited to 'frontend/unitype.dcl')
| -rw-r--r-- | frontend/unitype.dcl | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/frontend/unitype.dcl b/frontend/unitype.dcl index 5b7e0ff..4b2dee4 100644 --- a/frontend/unitype.dcl +++ b/frontend/unitype.dcl @@ -67,3 +67,5 @@ class expandType a :: !{# CommonDefs } !{# BOOLVECT } !a !*(!u:{! Type}, !*Expan instance expandType AType checkExistentionalAttributeVars :: [TempAttrId] !AttributePartition !*{! CoercionTree} -> (!Bool,!*{! CoercionTree}) + +copyCoercions :: *Coercions -> (*Coercions, *Coercions) |