Commit 2f164846 authored by Edward Z. Yang's avatar Edward Z. Yang
Browse files

Slightly reword not-exported message.


Signed-off-by: default avatarEdward Z. Yang <ezyang@cs.stanford.edu>
parent c81f3bc6
......@@ -823,7 +823,8 @@ checkImplements impl_mod req_mod@(IndefModule uid mod_name) =
forM_ (exportOccs (mi_exports isig_iface)) $ \occ ->
case lookupGlobalRdrEnv impl_gr occ of
[] -> addErr $ quotes (ppr occ)
<+> text "is exported by the hsig file, but not exported the module"
<+> text "is exported by the hsig file, but not"
<+> text "exported by the implementing module"
<+> quotes (ppr impl_mod)
_ -> return ()
failIfErrsM
......
......@@ -11,9 +11,9 @@
[1 of 2] Compiling H[sig] ( p/H.hsig, nothing )
bkpfail01.out/p/p-D5Mg3foBSCrDbQDKH4WGSG/../H.hi:1:1: error:
• ‘H’ is exported by the hsig file, but not exported the module ‘q:H’
• ‘H’ is exported by the hsig file, but not exported by the implementing module ‘q:H’
• while checking that q:H implements signature H in p[H=q:H]
bkpfail01.out/p/p-D5Mg3foBSCrDbQDKH4WGSG/../H.hi:1:1: error:
• ‘H’ is exported by the hsig file, but not exported the module ‘q:H’
• ‘H’ is exported by the hsig file, but not exported by the implementing module ‘q:H’
• while checking that q:H implements signature H in p[H=q:H]
......@@ -18,5 +18,5 @@
[1 of 1] Compiling H[sig] ( h/H.hsig, bkpfail05.out/h/h-5FYQgnNkfSvBT5yogOxPpf/H.o )
bkpfail05.out/h/h-5FYQgnNkfSvBT5yogOxPpf/../H.hi:1:1: error:
• ‘T1’ is exported by the hsig file, but not exported the module ‘h-impl:H’
• ‘T1’ is exported by the hsig file, but not exported by the implementing module ‘h-impl:H’
• while checking that h-impl:H implements signature H in h[H=h-impl:H]
......@@ -7,9 +7,9 @@
[3 of 3] Processing r
Command line argument: -unit-id p[H=H]:0:0: error:
• ‘H’ is exported by the hsig file, but not exported the module ‘q:H’
• ‘H’ is exported by the hsig file, but not exported by the implementing module ‘q:H’
• while checking that q:H implements signature H in p[H=q:H]
Command line argument: -unit-id p[H=H]:0:0: error:
• ‘H’ is exported by the hsig file, but not exported the module ‘q:H’
• ‘H’ is exported by the hsig file, but not exported by the implementing module ‘q:H’
• while checking that q:H implements signature H in p[H=q:H]
......@@ -7,5 +7,5 @@
[1 of 1] Compiling ShouldFail[sig] ( p/ShouldFail.hsig, bkpfail16.out/p/p-1OqLaT7dAn947wScQQKCw5/ShouldFail.o )
bkpfail16.out/p/p-1OqLaT7dAn947wScQQKCw5/../ShouldFail.hi:1:1: error:
• ‘Booly’ is exported by the hsig file, but not exported the module ‘Data.Bool’
• ‘Booly’ is exported by the hsig file, but not exported by the implementing module ‘Data.Bool’
• while checking that Data.Bool implements signature ShouldFail in p[ShouldFail=Data.Bool]
......@@ -17,5 +17,5 @@ bkpfail35.bkp:8:18: warning:
[1 of 1] Compiling A[sig] ( q/A.hsig, bkpfail35.out/q/q-E72T6bb4XRkIeTPWK2mCKa/A.o )
bkpfail35.out/q/q-E72T6bb4XRkIeTPWK2mCKa/../A.hi:1:1: error:
• ‘y’ is exported by the hsig file, but not exported the module ‘aimpl:A’
• ‘y’ is exported by the hsig file, but not exported by the implementing module ‘aimpl:A’
• while checking that aimpl:A implements signature A in q[A=aimpl:A]
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