-sem (AST vd fd)
-# (eithervds, gamma) = runState (mapM semVarDecl vd) ('Map'.newMap, getRandomStream 0)
-# (eitherfds, gamma) = runState (mapM semFunDecl fd) gamma
-= case splitEithers eithervds of
- (Left errs) = Left $ errs ++ [x\\(Left x)<-eitherfds]
- (Right vds) = case splitEithers eitherfds of
- (Left errs) = Left errs
- (Right fds) = Right $ AST vds fds
-
-splitEithers :: [Either a b] -> Either [a] [b]
-splitEithers [] = Right []
-splitEithers [Right x:xs] = splitEithers xs >>= \rest->Right [x:rest]
-splitEithers xs = Left $ [x\\(Left x)<-xs]
+sem (AST vd fd) = case evalStateT m ('Map'.newMap, getRandomStream 1) of
+ Left e = Left [e]
+ Right ((vds, fds), gamma) = Right ((AST vds fds), gamma)
+where
+ m :: Env (([VarDecl], [FunDecl]))
+ m = (mapM semVarDecl vd) >>= \vds ->
+ mapM semFunDecl fd >>= \fds ->
+ pure (vds, fds)