Commit ab8eb1f0 authored by Ian Lynagh's avatar Ian Lynagh
Browse files

Update comments in test tcfail132

parent 14332335
-- Fails with a kind error.
-- The current error message is rather horrible:
-- The current error message was rather horrible (trac bug #312):
--
-- Kind error: Expecting kind `k_a1JA -> k_a1JE -> k_a1JI -> *',
-- but `DUnit t' has kind `k_a1JA -> k_a1JE -> *'
--
-- but we can't tidy kinds at the moment, becuase they don't have OccNames.
-- as we couldn't tidy kinds, becuase they didn't have OccNames.
-- This test recalls the bad error message.
--
-- One way to improve matters would be to compile type defns in dependency order
-- I'm not sure when we stopped doing so; and stopping doing so at least means that
-- uses can influence kinds...
module ShouldFail where
......
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