Commit c269f662 authored by simonpj's avatar simonpj
Browse files

[project @ 2005-01-31 13:53:29 by simonpj]

Wibble to hoistForAllTys
parent f25b9225
...@@ -683,7 +683,7 @@ hoistForAllTys ty ...@@ -683,7 +683,7 @@ hoistForAllTys ty
-- if t2 is a for-all type, push t1 inside it -- if t2 is a for-all type, push t1 inside it
-- if t2 is (pred -> t3), check for duplicates -- if t2 is (pred -> t3), check for duplicates
mk_fun_ty ty1 ty2 mk_fun_ty ty1 ty2
| not (isOverloadedTy ty2) -- No forall's, or context => | not (isSigmaTy ty2) -- No forall's, or context =>
= FunTy ty1 ty2 = FunTy ty1 ty2
| PredTy p1 <- ty1 -- ty1 is a predicate | PredTy p1 <- ty1 -- ty1 is a predicate
= if p1 `elem` theta then -- so check for duplicates = if p1 `elem` theta then -- so check for duplicates
......
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