From bb93d29bebebb5c01cb940986f720f33c8c55766 Mon Sep 17 00:00:00 2001
From: greg <greg.shuflin@protonmail.com>
Date: Thu, 28 Sep 2017 23:55:10 -0700
Subject: [PATCH] Some type anno parsing work

---
 src/schala_lang/parsing.rs | 54 ++++++++++++++++++++++++++------------
 1 file changed, 37 insertions(+), 17 deletions(-)

diff --git a/src/schala_lang/parsing.rs b/src/schala_lang/parsing.rs
index 425d166..dd3d389 100644
--- a/src/schala_lang/parsing.rs
+++ b/src/schala_lang/parsing.rs
@@ -290,8 +290,10 @@ param_list := (IDENTIFIER type_anno+ ',')*
 binding_declaration: 'var' IDENTIFIER '=' expression
                       | 'const' IDENTIFIER '=' expression
 
-type_anno := ':' type
-type := IDENTIFIER (LAngleBracket type RAngleBracket)*
+type_anno := (':' type_name)+
+type_name := IDENTIFIER (type_params)* | '(' type_names ')'
+type_names := ε | type_name (, type_name)*
+type_params := '<' type_name (, type_name)* '>'
 
 expression := precedence_expr type_anno+
 
@@ -423,7 +425,13 @@ pub enum Variant {
 pub struct Expression(ExpressionType, Option<TypeAnno>);
 
 #[derive(Debug, PartialEq)]
-pub struct TypeAnno(Rc<String>);
+pub enum TypeAnno {
+  Tuple(Vec<TypeAnno>),
+  Singleton {
+    name: Rc<String>,
+    params: Vec<TypeAnno>,
+  }
+}
 
 #[derive(Debug, PartialEq)]
 pub enum ExpressionType {
@@ -493,6 +501,15 @@ macro_rules! parse_method {
   };
 }
 
+macro_rules! delimited {
+  ($self:expr, $parse_fn:expr, $delim:pat, $end:pat) => {
+    {
+    let mut acc = vec![];
+    acc
+    }
+  }
+}
+
 impl Parser {
   parse_method!(program(&mut self) -> ParseResult<AST> {
     let mut statements = Vec::new();
@@ -574,10 +591,7 @@ impl Parser {
   parse_method!(expression(&mut self) -> ParseResult<Expression> {
     let mut expr_body = self.precedence_expr(Operation::min_precedence())?;
     let type_anno = match self.peek() {
-      Colon => {
-        self.next();
-        Some(self.type_anno()?)
-      },
+      Colon => Some(self.type_anno()?),
       _ => None
     };
     if let Some(a) = expr_body.1 {
@@ -588,17 +602,23 @@ impl Parser {
   });
 
   parse_method!(type_anno(&mut self) -> ParseResult<TypeAnno> {
-    let type_name = self.identifier()?;
-    let param = match self.peek() {
-      LAngleBracket => {
-        self.next();
-        let param = self.type_anno()?;
-        expect!(self, RAngleBracket, "Expected '>'");
-        Some(param)
+    expect!(self, Colon, "Expected ':'");
+    Ok(match self.peek() {
+      LParen => {
+        unimplemented!("Not done with tuple types yet")
       },
-      _ => None
-    };
-    Ok(TypeAnno(type_name))
+      _ => {
+        let type_name = self.identifier()?;
+        let params = match self.peek() {
+          LAngleBracket => delimited!(self, self.type_anno, Comma, RAngleBracket),
+          _ => vec![],
+        };
+        TypeAnno::Singleton {
+          name: type_name,
+          params: params,
+        }
+      }
+    })
   });
 
   // this implements Pratt parsing, see http://journal.stuffwithstuff.com/2011/03/19/pratt-parsers-expression-parsing-made-easy/