From f256b34c16e5d95a9f3d3b0e006387fb895e4a11 Mon Sep 17 00:00:00 2001
From: Yann Herklotz <ymherklotz@gmail.com>
Date: Fri, 1 Feb 2019 13:57:42 +0000
Subject: Add type annotations

---
 test/Unit.hs | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'test')

diff --git a/test/Unit.hs b/test/Unit.hs
index a72e188..67a6908 100644
--- a/test/Unit.hs
+++ b/test/Unit.hs
@@ -11,6 +11,7 @@ import           Test.Tasty
 import           Test.Tasty.HUnit
 import           VeriFuzz
 
+unitTests :: TestTree
 unitTests = testGroup
   "Unit tests"
   [ testCase "Transformation of AST" $ assertEqual
@@ -80,6 +81,7 @@ transformExpectedResult = BinOp
     )
   )
 
+trans :: Expr -> Expr
 trans e = case e of
   Id id -> if id == Identifier "id2" then Id $ Identifier "Replaced" else Id id
   _     -> e
-- 
cgit