Commit 0d073909 authored by Simon Peyton Jones's avatar Simon Peyton Jones
Browse files

Error message wibbles

parent f28c6b02
......@@ -87,6 +87,11 @@
In the ambiguity check for: Int ~ Bool => Int -> Bool
In the type signature for ‛k’: k :: Int ~ Bool => Int -> Bool
../../typecheck/should_run/Defer01.hs:45:6: Warning:
Couldn't match expected type ‛Bool’ with actual type ‛Int’
In the ambiguity check for: Int ~ Bool => Int -> Bool
In the type signature for ‛k’: k :: Int ~ Bool => Int -> Bool
../../typecheck/should_run/Defer01.hs:45:6: Warning:
Couldn't match type ‛Int’ with ‛Bool’
Inaccessible code in
......
T7786.hs:89:22:
Couldn't match type ‛Intersect
[KeySegment] (BuriedUnder sub k ('Empty [KeySegment])) inv’
with ‛'Empty [KeySegment]’
Couldn't match type ‛xxx’ with ‛'Empty [KeySegment]’
Inaccessible code in
a pattern with constructor
Nil :: forall (k :: BOX). Sing (Inventory k) ('Empty k),
in a pattern binding in
'do' block
Relevant bindings include
addSub :: Database inv
-> Sing [KeySegment] k
-> Database sub
-> Maybe (Database (BuriedUnder sub k inv))
(bound at T7786.hs:89:1)
db :: Database inv (bound at T7786.hs:89:8)
k :: Sing [KeySegment] k (bound at T7786.hs:89:11)
sub :: Database sub (bound at T7786.hs:89:13)
In the pattern: Nil
In the pattern: Nil :: Sing xxx
In a stmt of a 'do' block:
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment