From e453c292a327d3b142b30ecc88ad5f1d3998a1a3 Mon Sep 17 00:00:00 2001
From: Lennart Spitzner <lsp@informatik.uni-kiel.de>
Date: Wed, 3 Aug 2016 22:13:59 +0200
Subject: [PATCH] Add some few testsuite cases

---
 src-unittests/IdentityTests.hs | 55 ++++++++++++++++++++++++++++++++--
 1 file changed, 53 insertions(+), 2 deletions(-)

diff --git a/src-unittests/IdentityTests.hs b/src-unittests/IdentityTests.hs
index f2edd02..5352c96 100644
--- a/src-unittests/IdentityTests.hs
+++ b/src-unittests/IdentityTests.hs
@@ -370,11 +370,11 @@ patternTests = do
          b
       = x
     |]
-  before_ pending $ it "simple constructor" $ roundTripEqual $
+  it "simple constructor" $ roundTripEqual $
     [text|
     func (A a) = a
     |]
-  before_ pending $ it "list constructor" $ roundTripEqual $
+  it "list constructor" $ roundTripEqual $
     [text|
     func (x:xr) = x
     |]
@@ -433,6 +433,57 @@ basicExpressionTests = do
       FooBar -> x
       Baz    -> y
     |]
+  it "lambda" $ roundTripEqual $
+    [text|
+    func = \x -> abc
+    |]
+  describe "app" $ do
+    it "1" $ roundTripEqual $
+      [text|
+      func = klajsdas klajsdas klajsdas
+      |]
+    it "2" $ roundTripEqual $
+      [text|
+      func =
+        lakjsdlajsdljasdlkjasldjasldjasldjalsdjlaskjd
+          lakjsdlajsdljasdlkjasldjasldjasldjalsdjlaskjd
+          lakjsdlajsdljasdlkjasldjasldjasldjalsdjlaskjd
+      |]
+    it "3" $ roundTripEqual $
+      [text|
+      func =
+        lakjsdlajsdljasdlkjasldjasldjasldjalsdjlaskjd lakjsdlajsdljas
+                                                      lakjsdlajsdljas
+                                                      lakjsdlajsdljas
+      |]
+  describe "sections" $ do
+    it "left" $ roundTripEqual $
+      [text|
+      func = (1+)
+      |]
+    it "right" $ roundTripEqual $
+      [text|
+      func = (+1)
+      |]
+    it "left inf" $ roundTripEqual $
+      -- TODO: this could be improved..
+      [text|
+      func = (1`abc`)
+      |]
+    it "right inf" $ roundTripEqual $
+      [text|
+      func = (`abc`1)
+      |]
+  describe "tuples" $ do
+    it "1" $ roundTripEqual $
+      [text|
+      func = (abc, def)
+      |]
+    before_ pending $ it "2" $ roundTripEqual $
+      [text|
+      func = (lakjsdlajsdljasdlkjasldjasldjasldjalsdjlaskjd
+        , lakjsdlajsdljasdlkjasldjasldjasldjalsdjlaskjd)
+      |]
 
 
 doStatementTests :: Spec