diff options
Diffstat (limited to 'frontend')
| -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 |