From fcd59b28f747edf11a7910ad842ed259847fd79d Mon Sep 17 00:00:00 2001 From: Mart Lubbers Date: Sun, 10 Apr 2016 22:05:52 +0200 Subject: [PATCH] small update --- sem.icl | 23 +++++++++++++++++++---- 1 file changed, 19 insertions(+), 4 deletions(-) diff --git a/sem.icl b/sem.icl index 1a2ed00..9be1948 100644 --- a/sem.icl +++ b/sem.icl @@ -64,9 +64,6 @@ semVarDecl vd=:(VarDecl pos type ident ex) = unify type ex >>= \et->case et of Left err = pure $ Left err Right t = putIdent ident t >>| pure (Right $ VarDecl pos t ident ex) -//Right v -// //TODO ident in de environment -// Right e = Right $ pure vd typeExpr :: Expr -> Env Type typeExpr (IntExpr _ _) = pure $ Right IntType @@ -77,7 +74,25 @@ typeExpr (Op1Expr p UnMinus expr) = unify IntType expr typeExpr (TupleExpr p (e1, e2)) = typeExpr e1 >>= \ete1->typeExpr e2 >>= \ete2->pure ( ete1 >>= \te1->ete2 >>= \te2->Right $ TupleType (te1, te2)) -//typeExpr (Op2Expr Pos Expr Op2 Expr) = undef +//Int +typeExpr (Op2Expr p e1 BiPlus e2) = undef +typeExpr (Op2Expr p e1 BiMinus e2) = undef +typeExpr (Op2Expr p e1 BiTimes e2) = undef +typeExpr (Op2Expr p e1 BiDivide e2) = undef +typeExpr (Op2Expr p e1 BiMod e2) = undef +//bool, char of int +typeExpr (Op2Expr p e1 BiEquals e2) = undef +typeExpr (Op2Expr p e1 BiUnEqual e2) = undef +//char of int +typeExpr (Op2Expr p e1 BiLesser e2) = undef +typeExpr (Op2Expr p e1 BiGreater e2) = undef +typeExpr (Op2Expr p e1 BiLesserEq e2) = undef +typeExpr (Op2Expr p e1 BiGreaterEq e2) = undef +//bool +typeExpr (Op2Expr p e1 BiAnd e2) = undef +typeExpr (Op2Expr p e1 BiOr e2) = undef +//a +typeExpr (Op2Expr p e1 BiCons e2) = undef //typeExpr (FunExpr Pos FunCall) = undef //typeExpr (EmptyListExpr Pos) = undef //typeExpr (VarExpr Pos VarDef) = undef -- 2.20.1