diff options
Diffstat (limited to 'frontend')
| -rw-r--r-- | frontend/StdCompare.icl | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/frontend/StdCompare.icl b/frontend/StdCompare.icl index 1ea7f1c..1e39be4 100644 --- a/frontend/StdCompare.icl +++ b/frontend/StdCompare.icl @@ -40,6 +40,8 @@ where (==) (CV tv1) (CV tv2) = tv1 == tv2 (==) (TempCV tv1) (TempCV tv2) = tv1 == tv2 (==) (TempQCV tv1) (TempQCV tv2)= tv1 == tv2 + (==) (TempQCDV tv1) (TempQCDV tv2)= tv1 == tv2 + (==) _ _ = False instance == TypeContext where @@ -107,6 +109,8 @@ where = varid1 == varid2 equal_constructor_args (TempQV varid1) (TempQV varid2) = varid1 == varid2 + equal_constructor_args (TempQDV varid1) (TempQDV varid2) + = varid1 == varid2 equal_constructor_args (TLifted varid1) (TLifted varid2) = varid1 == varid2 equal_constructor_args type1 type2 |