diff options
| author | johnvg | 2003-11-04 14:06:02 +0000 |
|---|---|---|
| committer | johnvg | 2003-11-04 14:06:02 +0000 |
| commit | 834d38867b1f6cc65ea4d92c1fb4e03564ab7b25 (patch) | |
| tree | c2ee00ce0c686e2feabc5b9041d8fedb9f724c21 /frontend/comparedefimp.icl | |
| parent | update backend version number for 2.1 release (diff) | |
compare TFA
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1419 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
Diffstat (limited to 'frontend/comparedefimp.icl')
| -rw-r--r-- | frontend/comparedefimp.icl | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/frontend/comparedefimp.icl b/frontend/comparedefimp.icl index e281d23..4e7502e 100644 --- a/frontend/comparedefimp.icl +++ b/frontend/comparedefimp.icl @@ -851,6 +851,9 @@ instance t_corresponds Type where = t_corresponds dclDef iclDef t_corresponds (GTV dclDef) (GTV iclDef) = t_corresponds dclDef iclDef + t_corresponds (TFA dclVars dclType) (TFA iclVars iclType) + = do (init_atype_vars (dclVars++iclVars)) + &&& t_corresponds dclType iclType t_corresponds _ _ = return False |