git.iko.soy/Idris-dev
on master help sign in
Fix interactive test
c3d46aaJason Felice
test/interactive010/expected+14−10
compare with master
unifiedsplit
@@ -7,14 +7,18 @@ Usage is :printdef <functionname>
7pat {ty_503} : Type toplevel.u. pat {__interface_504} : Prelude.Interfaces.Fractional {ty_503}. Prelude.Interfaces./ {ty_503} {__interface_504}
7pat {ty_503} : Type toplevel.u. pat {__interface_504} : Prelude.Interfaces.Fractional {ty_503}. Prelude.Interfaces./ {ty_503} {__interface_504}
8
8
9 : pty {ty_503} : Type toplevel.u. pty {__interface_504} : Prelude.Interfaces.Fractional {ty_503}. {ty_503} -> {ty_503} -> {ty_503}
9 : pty {ty_503} : Type toplevel.u. pty {__interface_504} : Prelude.Interfaces.Fractional {ty_503}. {ty_503} -> {ty_503} -> {ty_503}
10−(input):1:1: error: expected: ":",
10+(input):1:1:
11+ |
12+1 | /
13+ | ^
14+unexpected '/'
11− dependent type signature,
15+expecting ':', dependent type signature, or end of input
12− end of input
16+
13−/<EOF>
14−^
15−(input):1:1: error: expected: ":",
17+(input):1:1:
18+ |
19+1 | ++
20+ | ^
21+unexpected "++"
16− dependent type signature,
22+expecting ':', dependent type signature, or end of input
17− end of input
23+
18−++<EOF>
19−^
20Can't find implementation for Fractional ty
24Can't find implementation for Fractional ty