summaryrefslogtreecommitdiff
path: root/testsuite/tests/ghci/scripts/T15325.stderr
diff options
context:
space:
mode:
Diffstat (limited to 'testsuite/tests/ghci/scripts/T15325.stderr')
-rw-r--r--testsuite/tests/ghci/scripts/T15325.stderr25
1 files changed, 25 insertions, 0 deletions
diff --git a/testsuite/tests/ghci/scripts/T15325.stderr b/testsuite/tests/ghci/scripts/T15325.stderr
new file mode 100644
index 0000000000..c767528e2c
--- /dev/null
+++ b/testsuite/tests/ghci/scripts/T15325.stderr
@@ -0,0 +1,25 @@
+
+T15325.hs:11:7: warning: [-Wdeferred-type-errors (in -Wdefault)]
+ • No instance for (PolyList e0) arising from a use of ‘f’
+ • In the expression: f 0
+ In an equation for ‘plh’: plh = f 0
+
+T15325.hs:11:9: warning: [-Wdeferred-type-errors (in -Wdefault)]
+ • Ambiguous type variable ‘e0’ arising from the literal ‘0’
+ prevents the constraint ‘(Num e0)’ from being solved.
+ Probable fix: use a type annotation to specify what ‘e0’ should be.
+ These potential instances exist:
+ instance Num Integer -- Defined in ‘GHC.Num’
+ instance Num Double -- Defined in ‘GHC.Float’
+ instance Num Float -- Defined in ‘GHC.Float’
+ ...plus two others
+ ...plus one instance involving out-of-scope types
+ (use -fprint-potential-instances to see them all)
+ • In the first argument of ‘f’, namely ‘0’
+ In the expression: f 0
+ In an equation for ‘plh’: plh = f 0
+*** Exception: T15325.hs:11:7: error:
+ • No instance for (PolyList e0) arising from a use of ‘f’
+ • In the expression: f 0
+ In an equation for ‘plh’: plh = f 0
+(deferred type error)