Lines Matching refs:tyenv

30 fastTypeOf tyenv expr =
33     ELocated _ t  -> fastTypeOf tyenv t
35     ETuple es     -> tTuple (map (fastTypeOf tyenv) es)
36     ERec fields   -> tRec (fmap (fastTypeOf tyenv) fields)
37     ESel e sel    -> typeSelect (fastTypeOf tyenv e) sel
39     EIf _ e _     -> fastTypeOf tyenv e
41     EAbs x t e    -> tFun t (fastTypeOf (Map.insert x (Forall [] [] t) tyenv) e)
42     EApp e _      -> case tIsFun (fastTypeOf tyenv e) of
55       case fastSchemaOf tyenv expr of
61 fastSchemaOf tyenv expr =
63     ELocated _ e -> fastSchemaOf tyenv e
66     EVar x         -> case Map.lookup x tyenv of
70     ETAbs tparam e -> case fastSchemaOf tyenv e of
72     ETApp e t      -> case fastSchemaOf tyenv e of
86     EProofAbs p e  -> case fastSchemaOf tyenv e of
90     EProofApp e    -> case fastSchemaOf tyenv e of
96     EWhere e dgs   -> fastSchemaOf (foldr addDeclGroup tyenv dgs) e
111     monomorphic = Forall [] [] (fastTypeOf tyenv expr)