Instance docs: add one test case
commit540f817cc4fe9b3bad6a72b818643b288df15fd4
authorAdam Sandberg Eriksson <adam@sandbergericsson.se>
dateMon 9 Mar 2015, 18:01 (12 years ago)
parent7733fba
test/interactive008/expectednew file+14
@@ -0,0 +1,14 @@
1+*interactive008> Type class C
2+ class
3+
4+Parameters:
5+ t
6+
7+Methods:
8+ f : C t => t
9+ member
10+
11+Instances:
12+ C A
13+ instance
14+*interactive008> Bye bye
test/interactive008/inputnew file+1
test/interactive008/interactive008.idrnew file+13
@@ -0,0 +1,13 @@
1+
2+||| class
3+class C (t : Type) where
4+ ||| member
5+ f : t
6+
7+||| type
8+data A : Type where
9+ i : A
10+
11+||| instance
12+instance C A where
13+ f = i
test/interactive008/runnew file+2
@@ -0,0 +1,2 @@
1+#!/usr/bin/env bash
2+idris --nobanner --nocolor interactive008.idr < input