use std::rc::Rc;

use parsing::{AST, Statement, Expression, Declaration};
use builtin::{BinOp, PrefixOp};

#[derive(Debug)]
pub struct ReducedAST(pub Vec<Stmt>);

#[derive(Debug, Clone)]
pub enum Stmt {
  Binding {
    name: Rc<String>,
    constant: bool,
    expr: Expr,
  },
  Expr(Expr),
}

#[derive(Debug, Clone)]
pub enum Expr {
  Lit(Lit),
  Func(Func),
  Val(Rc<String>),
  Call {
    f: Func,
    args: Vec<Expr>,
  },
  UnimplementedSigilValue
}

#[derive(Debug, Clone)]
pub enum Lit {
  Nat(u64),
  Int(i64),
  Float(f64),
  Bool(bool),
  StringLit(Rc<String>),
}

#[derive(Debug, Clone)]
pub enum Func {
  BuiltIn(Rc<String>),
  UserDefined {
    params: Vec<Rc<String>>,
    body: Vec<Stmt>,
  }
}

impl AST {
  pub fn reduce(&self) -> ReducedAST {
    let mut output = vec![];
    for statement in self.0.iter() {
      output.push(statement.reduce());
    }
    ReducedAST(output)
  }
}

impl Statement {
  fn reduce(&self) -> Stmt { 
    use parsing::Statement::*;
    match self {
      ExpressionStatement(expr) => Stmt::Expr(expr.reduce()),
      Declaration(decl) => decl.reduce(),
    }
  }
}

impl Expression {
  fn reduce(&self) -> Expr {
    use parsing::ExpressionType::*;
    let ref input = self.0;
    match input {
      &IntLiteral(ref n) => Expr::Lit(Lit::Nat(*n)), //TODO I should rename IntLiteral if I want the Nat/Int distinction, which I do
      &FloatLiteral(ref f) => Expr::Lit(Lit::Float(*f)),
      &StringLiteral(ref s) => Expr::Lit(Lit::StringLit(s.clone())),
      &BoolLiteral(ref b) => Expr::Lit(Lit::Bool(*b)),
      &BinExp(ref binop, ref lhs, ref rhs) => binop.reduce(lhs, rhs),
      &PrefixExp(ref op, ref arg) => op.reduce(arg),
      &Value(ref name) => Expr::Val(name.clone()),
      /*
      &Call { ref f, ref arguments } => Expr::Call {
        f: Box<Expression>,
        arguments: Vec<Expression>,
      },
      */
      e => Expr::UnimplementedSigilValue,
    }
  }
}

impl Declaration {
  fn reduce(&self) -> Stmt {
    use self::Declaration::*;
    match self {
      Binding {name, constant, expr } => Stmt::Binding { name: name.clone(), constant: *constant, expr: expr.reduce() },
      FuncDecl(::parsing::Signature { name, params, type_anno }, statements) => Stmt::Binding {
        name: name.clone(),
        constant: true,
        expr: Expr::Func(Func::UserDefined {
          params: params.iter().map(|param| param.0.clone()).collect(),
          body: statements.iter().map(|stmt| stmt.reduce()).collect(),
        })
      },
      _ => Stmt::Expr(Expr::UnimplementedSigilValue)
    }
  }
}

impl BinOp {
  fn reduce(&self, lhs: &Box<Expression>, rhs: &Box<Expression>) -> Expr {
    let f = Func::BuiltIn(self.sigil().clone());
    Expr::Call { f, args: vec![lhs.reduce(), rhs.reduce()]}
  }
}

impl PrefixOp {
  fn reduce(&self, arg: &Box<Expression>) -> Expr {
    let f = Func::BuiltIn(self.sigil().clone());
    Expr::Call { f, args: vec![arg.reduce()]}
  }
}