diff options
| author | simonpj@microsoft.com <unknown> | 2010-09-13 09:50:48 +0000 |
|---|---|---|
| committer | simonpj@microsoft.com <unknown> | 2010-09-13 09:50:48 +0000 |
| commit | d2ce0f52d42edf32bb9f13796e6ba6edba8bd516 (patch) | |
| tree | 1a0792f7eb186fa3d71a02f4a21da3daae3466bb /compiler/simplCore/FloatOut.lhs | |
| parent | 0084ab49ab3c0123c4b7f9523d092af45bccfd41 (diff) | |
| download | haskell-d2ce0f52d42edf32bb9f13796e6ba6edba8bd516.tar.gz | |
Super-monster patch implementing the new typechecker -- at last
This major patch implements the new OutsideIn constraint solving
algorithm in the typecheker, following our JFP paper "Modular type
inference with local assumptions".
Done with major help from Dimitrios Vytiniotis and Brent Yorgey.
Diffstat (limited to 'compiler/simplCore/FloatOut.lhs')
| -rw-r--r-- | compiler/simplCore/FloatOut.lhs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/simplCore/FloatOut.lhs b/compiler/simplCore/FloatOut.lhs index 579565f5a6..fba88e77dc 100644 --- a/compiler/simplCore/FloatOut.lhs +++ b/compiler/simplCore/FloatOut.lhs @@ -242,7 +242,7 @@ floatExpr _ lam@(Lam _ _) -- going to escape a value lambda. -- In particular, for one-shot lambdas we don't float things -- out; we get no saving by so doing. - partition_fn | all isTyVar bndrs = partitionByLevel + partition_fn | all isTyCoVar bndrs = partitionByLevel | otherwise = partitionByMajorLevel in case (floatExpr (last lvls) body) of { (fs, floats, body') -> |