From c5e8d3e080f984d00bed44f504fb38d487a2d3c8 Mon Sep 17 00:00:00 2001 From: greg Date: Thu, 10 May 2018 21:41:28 -0700 Subject: [PATCH] Random notes re: symbol table I'm proably gonna want to redo the symbol table stuff after reading Language Implementation Patterns, esp. to accomodate scopes --- schala-lang/src/typechecking.rs | 8 +++++++- 1 file changed, 7 insertions(+), 1 deletion(-) diff --git a/schala-lang/src/typechecking.rs b/schala-lang/src/typechecking.rs index dfedcaa..0f41b35 100644 --- a/schala-lang/src/typechecking.rs +++ b/schala-lang/src/typechecking.rs @@ -8,9 +8,15 @@ use itertools::Itertools; use parsing; -pub struct TypeContext { +pub struct TypeContext { type_var_count: u64, bindings: HashMap, Type>, + //symbol_table: SymbolTable +} + +//cf. p. 150 or so of Language Implementation Patterns +struct SymbolTable { + } #[derive(Debug, PartialEq, Clone)]