Commit 40a294b1 authored by Artem Alimarine's avatar Artem Alimarine
Browse files

added comparison for TArrow and TArrow1 to comparedefimp

parent ee57dbb6
......@@ -219,6 +219,10 @@ where
= compare (dclIdent.type_index, (dclArgs,dclStrictness)) (iclIdent.type_index, (iclArgs,iclStrictness)) comp_st
compare (dclFun --> dclArg) (iclFun --> iclArg) comp_st
= compare (dclFun, dclArg) (iclFun, iclArg) comp_st
compare (TArrow1 dclArg) (TArrow1 iclArg) comp_st
= compare dclArg iclArg comp_st
compare TArrow TArrow comp_st
= (True, comp_st)
compare (CV dclVar :@: dclArgs) (CV iclVar :@: iclArgs) comp_st
= compare (dclVar, dclArgs) (iclVar, iclArgs) comp_st
compare (TB dclDef) (TB iclDef) comp_st
......
Markdown is supported
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