infer e2 >>= \(s2, t2, e2_) ->
pure (compose s2 s1, TupleType (t1,t2), TupleExpr p (e1_,e2_))
+ LambdaExpr _ _ _ = liftT $ Left $ Error "PANIC: lambdas should be tasnformed"
+
FunExpr p f args fs =
lookup f >>= \expected ->
let accST = (\(s,ts,es) e->infer e >>= \(s_,et,e_)-> pure (compose s_ s,ts++[et],es++[e_])) in
(case expected of
Nothing = pure zero
Just (FuncType expected_) = lift (unify expected_ given)
- Just expected_ = lift (unify expected_ given))
- >>= \s3 ->
+ Just expected_ = lift (unify expected_ given)
+ ) >>= \s3 ->
let ftype = subst (compose s3 $ compose s2 s1) given in
- (case expected of
- Just (FuncType _) = pure (FuncType ftype)
- _ = pure ftype)
- >>= \ftype_->
+ (case ftype of
+ _ ->> _ = pure ftype
+ _ = pure $ FuncType ftype
+ ) >>= \ftype_->
generalize ftype_ >>= \t->
putGamma outerScope >>|
changeGamma (extend f t) >>|