Begin parsing... program.jay

Program (abstract syntax): 
  Declarations: 
    Declarations = {<n, int>, <fib0, int>, <fib1, int>, <temp, int>, <result, int>}
  Block: 
    Assignment: 
      Variable: n
      Value: 8
    Assignment: 
      Variable: fib0
      Value: 0
    Assignment: 
      Variable: fib1
      Value: 1
    Loop: 
      Binary: 
        Operator: >
        Variable: n
        Value: 0
      Block: 
        Assignment: 
          Variable: temp
          Variable: fib0
        Assignment: 
          Variable: fib0
          Variable: fib1
        Assignment: 
          Variable: fib1
          Binary: 
            Operator: +
            Variable: fib0
            Variable: temp
        Assignment: 
          Variable: n
          Binary: 
            Operator: -
            Variable: n
            Value: 1
    Assignment: 
      Variable: result
      Variable: fib0

Begin type checking...
No type errors

  Type map = { <temp, int>, <result, int>, <fib1, int>, <fib0, int>, <n, int> }