From c72c60a7f299c3fadfcd079964d256a6efbbe6ef Mon Sep 17 00:00:00 2001
From: Adam Sandberg Eriksson <adam@sandbergericsson.se>
Date: Thu, 12 Mar 2015 16:09:52 +0100
Subject: [PATCH] Instance docs: add test case to cabal file

---
 idris.cabal | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/idris.cabal b/idris.cabal
index 0016002fb..6fdf75ce6 100644
--- a/idris.cabal
+++ b/idris.cabal
@@ -465,6 +465,10 @@ Extra-source-files:
                        test/interactive007/run
                        test/interactive007/input
                        test/interactive007/expected
+                       test/interactive008/run
+                       test/interactive008/input
+                       test/interactive008/*.idr
+                       test/interactive008/expected
 
                        test/io001/run
                        test/io001/*.idr