From 6cbb61667698ddad09a857a9f6a467a460f44d9f Mon Sep 17 00:00:00 2001
From: Marek Romanowski <marek.romanowski@gmail.com>
Date: Wed, 19 Apr 2017 00:20:43 +0200
Subject: [PATCH] Fix #8 - parse tuples

---
 src/Ast/Expression.elm | 23 ++++++++++++++++-------
 1 file changed, 16 insertions(+), 7 deletions(-)

diff --git a/src/Ast/Expression.elm b/src/Ast/Expression.elm
index b4dca9d..1d72550 100644
--- a/src/Ast/Expression.elm
+++ b/src/Ast/Expression.elm
@@ -44,6 +44,7 @@ type Expression
   | Integer Int
   | Float Float
   | Variable (List Name)
+  | TupleExpr (List Expression)
   | OperatorReference String
   | List (List Expression)
   | Access Expression (List Name)
@@ -103,6 +104,13 @@ record ops =
     Record <$> braces (commaSeparated_ ((,) <$> loName <*> (symbol "=" *> expression ops)))
 
 
+tuple : OpTable -> Parser s Expression
+tuple ops =
+    lazy (\_ ->
+        TupleExpr <$> (parens <| commaSeparated (expression ops))
+    )
+
+
 letExpression : OpTable -> Parser s Expression
 letExpression ops =
     lazy <| \() ->
@@ -111,7 +119,7 @@ letExpression ops =
                 choice
                     [ FunctionBinding <$> functionDeclaration ops
                     , DestructuringBinding
-                        <$> functionParameter
+                        <$> (functionParameter ops)
                         <*> (symbol "=" *> expression ops)
                     ]
             ))
@@ -144,7 +152,7 @@ lambda : OpTable -> Parser s Expression
 lambda ops =
   lazy <| \() ->
     Lambda
-      <$> (symbol "\\" *> many (between_ spaces functionParameter))
+      <$> (symbol "\\" *> many (between_ spaces (functionParameter ops)))
       <*> (symbol "->" *> expression ops)
 
 {- Parse function application.
@@ -199,6 +207,7 @@ term ops =
     , list ops
     , record ops
     , parens (expression ops)
+    , tuple ops
     , parens (many <| Combine.string ",") |> map (\i ->
         let
             x = Debug.log "i" i
@@ -552,17 +561,17 @@ functionDeclaration : OpTable -> Parser s Function
 functionDeclaration ops =
   Function
     <$> functionOrOperator
-    <*> (many (between_ whitespace functionParameter))
+    <*> (many (between_ whitespace (functionParameter ops)))
     <*> (symbol "=" *> whitespace *> expression ops)
 
 
-functionParameter : Parser s Parameter
-functionParameter =
+functionParameter : OpTable -> Parser s Parameter
+functionParameter ops =
     lazy (\_ ->
         choice
             [ RefParam <$> loName
-            , AdtParam <$> upName <*> (many (between_ whitespace functionParameter))
-            , TupleParam <$> (parens <| commaSeparated functionParameter )
+            , AdtParam <$> upName <*> (many (between_ whitespace (functionParameter ops)))
+            , TupleParam <$> (parens <| commaSeparated (functionParameter ops))
             --, recordFields
             --, namedRecordFields
             ]