git.iko.soy/Idris-dev
on master help sign in
Instance docs: add one test case
540f817Adam Sandberg Eriksson
test/interactive008/expectednew file+14
compare with master
unifiedsplit
@@ -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
@@ -0,0 +1 @@
1+:doc C
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