Fix exponential algorithm in pure unifier.
authorRichard Eisenberg <eir@cis.upenn.edu>
Thu, 17 Mar 2016 19:40:58 +0000 (15:40 -0400)
committerRichard Eisenberg <eir@cis.upenn.edu>
Mon, 21 Mar 2016 16:02:01 +0000 (12:02 -0400)
commitaf2f7f90dd0aaae0e33d1f8064377d1657f180a6
tree70dc7a57143dff7027590208d816621d592ec8df
parentc37a583fb9059053f83f1ab0c3cb7eb7047b1a31
Fix exponential algorithm in pure unifier.
compiler/types/Unify.hs