schala-lang/language/src/ast.rs

@@ -152,11 +152,9 @@ impl Expression {
     Expression { id, kind, type_anno: None }
   }
 
-  /* - commented out because unused
   pub fn with_anno(id: ItemId, kind: ExpressionKind, type_anno: TypeIdentifier) -> Expression {
     Expression { id, kind, type_anno: Some(type_anno) }
   }
-  */
 }
 
 #[derive(Debug, PartialEq, Clone)]

schala-lang/language/src/eval.rs

@@ -2,10 +2,10 @@ use std::rc::Rc;
 use std::fmt::Write;
 use std::io;
 
-//use crate::schala::SymbolTableHandle;
+use crate::schala::SymbolTableHandle;
 use crate::util::ScopeStack;
 use crate::reduced_ast::{BoundVars, ReducedAST, Stmt, Expr, Lit, Func, Alternative, Subpattern};
-//use crate::symbol_table::{SymbolSpec, Symbol, SymbolTable, FullyQualifiedSymbolName};
+use crate::symbol_table::{SymbolSpec, Symbol, SymbolTable, FullyQualifiedSymbolName};
 use crate::builtin::Builtin;
 
 mod test;

schala-lang/language/src/lib.rs

@@ -6,6 +6,7 @@
 //! It defines the `Schala` type, which contains the state for a Schala REPL, and implements
 //! `ProgrammingLanguageInterface` and the chain of compiler passes for it.
 
+extern crate itertools;
 #[macro_use]
 extern crate lazy_static;
 #[macro_use]
@@ -13,7 +14,10 @@ extern crate maplit;
 extern crate schala_repl;
 #[macro_use]
 extern crate schala_lang_codegen;
+extern crate ena;
 extern crate derivative;
+extern crate colored;
+extern crate radix_trie;
 
 
 macro_rules! bx {

schala-lang/language/src/reduced_ast.rs

@@ -155,6 +155,7 @@ impl<'a> Reducer<'a> {
 
   fn expression(&mut self, expr: &Expression) -> Expr {
     use crate::ast::ExpressionKind::*;
+    let symbol_table = self.symbol_table;
     let ref input = expr.kind;
     match input {
       NatLiteral(n) => Expr::Lit(Lit::Nat(*n)),

schala-lang/language/src/schala.rs

@@ -18,7 +18,6 @@ pub type SourceMapHandle = Rc<RefCell<source_map::SourceMap>>;
 /// All the state necessary to parse and execute a Schala program are stored in this struct.
 /// `state` represents the execution state for the AST-walking interpreter, the other fields
 /// should be self-explanatory.
-#[allow(dead_code)]
 pub struct Schala {
   source_reference: SourceReference,
   source_map: SourceMapHandle,

schala-lang/language/src/symbol_table.rs

@@ -84,7 +84,6 @@ impl fmt::Display for ScopeSegment {
 }
 
 impl ScopeSegment {
-  #[allow(dead_code)]
   pub fn new(name: Rc<String>) ->  ScopeSegment {
     ScopeSegment { name }
   }
@@ -135,7 +134,6 @@ impl SymbolTable {
   }
 }
 
-#[allow(dead_code)]
 #[derive(Debug)]
 pub struct Symbol {
   pub local_name: Rc<String>, //TODO does this need to be pub?

src/main.rs

@@ -31,6 +31,6 @@ fn main() {
 fn command_line_options() -> getopts::Options {
     let mut options = getopts::Options::new();
     options.optflag("h", "help", "Show help text");
-    //options.optflag("w", "webapp", "Start up web interpreter");
+    options.optflag("w", "webapp", "Start up web interpreter");
     options
 }