git.iko.soy/Idris-dev
on ca34dec help sign in
Idris-dev/test/interactive010/expected
24 lines 784 B history raw
1Prelude.List.(++) : List a -> List a -> List a
2Prelude.Strings.(++) : String -> String -> String
3(input):1:7-20:a is not an implicit argument of Prelude.Interfaces./
4Usage is :doc <functionname>
5Usage is :wc <functionname>
6Usage is :printdef <functionname>
7pat {ty_503} : Type toplevel.u. pat {__interface_504} : Prelude.Interfaces.Fractional {ty_503}. Prelude.Interfaces./ {ty_503} {__interface_504}
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:
11 |
121 | /
13 | ^
14unexpected '/'
15expecting ':', dependent type signature, or end of input
17(input):1:1:
18 |
191 | ++
20 | ^
21unexpected "++"
22expecting ':', dependent type signature, or end of input
24Can't find implementation for Fractional ty