2273 - start expanding the type system

Current plan:
  parsing {x: foo, y: bar} syntax for reagents
  parsing s-expr syntax for properties
  supporting reverse instructions (<-)
  parsing s-expr syntax for recipe headers (recipe number number -> number)
  static dispatch
  generic functions
  type-checking higher-order functions
  type of delimited continuations? need more type information

First step is done, and the second partially so.

1 files changed, 0 insertions, 6 deletions

diff --git a/011load.cc b/011load.cc
index 4b1b1929..793e474e 100644
--- a/011load.cc
+++ b/011load.cc
@@ -207,12 +207,6 @@ void skip_comment(istream& in) {
   }
 }
 
-void skip_comma(istream& in) {
-  skip_whitespace(in);
-  if (!in.eof() && in.peek() == ',') in.get();
-  skip_whitespace(in);
-}
-
 //: Warn if a recipe gets redefined, because large codebases can accidentally
 //: step on their own toes. But there'll be many occasions later where
 //: we'll want to disable the warnings.