@@ -7,14 +7,18 @@ Usage is :printdef <functionname>
77pat {ty_503} : Type toplevel.u. pat {__interface_504} : Prelude.Interfaces.Fractional {ty_503}. Prelude.Interfaces./ {ty_503} {__interface_504}
88
99 : 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: ":",
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−^
10+(input):1:1:
11+ |
12+1 | /
13+ | ^
14+unexpected '/'
15+expecting ':', dependent type signature, or end of input
16+
17+(input):1:1:
18+ |
19+1 | ++
20+ | ^
21+unexpected "++"
22+expecting ':', dependent type signature, or end of input
23+
2024Can't find implementation for Fractional ty