//  Created by Alejandro Alonso
//  Copyright © 2018 Alejandro Alonso. All rights reserved.
//

class TypeChecker: Diagnoser {
  var file: File
  var scopeVars = [String: Variable]()
  
  init(file: File) {