Commit b5d068a2 authored by chak@cse.unsw.edu.au.'s avatar chak@cse.unsw.edu.au.
Browse files

Better error message for indexes that must be variables

Mon Sep 18 19:19:10 EDT 2006  Manuel M T Chakravarty <chak@cse.unsw.edu.au>
  * Better error message for indexes that must be variables
  Wed Aug 30 20:21:33 EDT 2006  Manuel M T Chakravarty <chak@cse.unsw.edu.au>
    * Better error message for indexes that must be variables
parent 53569e14
......@@ -833,8 +833,9 @@ atInstCtxt name = ptext SLIT("In the associated type instance for") <+>
quotes (ppr name)
mustBeVarArgErr ty =
sep [ ptext SLIT("Arguments that do not correspond to a class parameter")
, ptext SLIT("must be variables:") <+> ppr ty
sep [ ptext SLIT("Arguments that do not correspond to a class parameter") <+>
ptext SLIT("must be variables")
, ptext SLIT("Instead of a variable, found") <+> ppr ty
]
wrongATArgErr ty instTy =
......
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