git.iko.soy/Idris-dev
on 2dfba31 help sign in
Idris-dev/test/interactive010/expected
20 lines 720 B history raw
1Prelude.List.(++) : List a -> List a -> List a
2Prelude.Strings.(++) : String -> String -> String
3a is not an implicit argument of Prelude.Interfaces./
4Usage is :doc <functionname>
5Usage is :wc <functionname>
6Usage is :printdef <functionname>
7pat {ty504} : Type u. pat {__class505} : Prelude.Interfaces.Fractional {ty504}. Prelude.Interfaces./ {ty504} {__class505}
9 : pty {ty504} : Type u. pty {__class505} : Prelude.Interfaces.Fractional {ty504}. {ty504} -> {ty504} -> {ty504}
10(input):1:1: error: expected: ":",
11 dependent type signature,
12 end of input
13/<EOF>
14^
15(input):1:1: error: expected: ":",
16 dependent type signature,
17 end of input
18++<EOF>
19^
20Can't find implementation for Fractional ty