Commit a12d2d74 authored by simonpj@microsoft.com's avatar simonpj@microsoft.com
Browse files

Fix egregious typo in TcUnify

Tom S found this bug by inspection; we've never seen it
fail in the wild, but it was obviosly Utterly Wrong
parent 87124ee1
...@@ -526,7 +526,7 @@ boxyLub orig_ty1 orig_ty2 ...@@ -526,7 +526,7 @@ boxyLub orig_ty1 orig_ty2
-- Look inside type synonyms, but only if the naive version fails -- Look inside type synonyms, but only if the naive version fails
go ty1 ty2 | Just ty1' <- tcView ty1 = go ty1' ty2 go ty1 ty2 | Just ty1' <- tcView ty1 = go ty1' ty2
| Just ty2' <- tcView ty1 = go ty1 ty2' | Just ty2' <- tcView ty2 = go ty1 ty2'
-- For now, we don't look inside ForAlls, PredTys -- For now, we don't look inside ForAlls, PredTys
go ty1 ty2 = orig_ty1 -- Default go ty1 ty2 = orig_ty1 -- Default
......
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