Commit b4faad59 authored by John van Groningen's avatar John van Groningen
Browse files

compare TFA

parent 6e9cc962
......@@ -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
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment