{-# LINE 8 "SLAttributes.lag" uuagc -cdfspmr SLAttributes.ag #-}
imports
{
import SLTypes
}
DATA Root
   | Root      Expr
DATA Expr
   | Unit
   | Intexpr   Int
   | Boolexpr  Bool
   | Ident     var: String
   | Op        op: String  le, re: Expr
   | If        cond,thenExpr,elseExpr :Expr
   | Let       decls: Decls expr:Expr
   | Assign    var: String expr: Expr
   | Apply     func, arg: Expr
   | Lamcall   call: Expr
   | Lam       var: String pre: Expr premess : String expr: Expr postvar : String post: Expr postmess : String
   | Seq       exprs: Exprs
   
DATA Decl
   | Decl      var:String type: Type expr:Expr

TYPE Decls  = [Decl]
TYPE Exprs  = [Expr]    

--INCLUDE "SLEvaluateb.ag"
INCLUDE "SLEvaluatec.ag"
--INCLUDE "SLPrettyprint.ag"
INCLUDE "SLStaticErrors.ag"