| This binding:
| 
|   ...
|    where
|     ...
|     glue' = map mkGlue glue
|     ...
| 
| generated the following type error:
|   TcUnits.hs:97:
|     Couldn't match
|         `AbstractUnits.UnitIdent' against `AbstractUnits.Glue'
|         Expected type: [AbstractUnits.UnitIdent]
|         Inferred type: [AbstractUnits.Glue]
|     In the second argument of `map', namely `glue'
|     in the definition of function `glue'': map mkGlue glue
| 
| 1) glue' is clearly _not_ a function but the last line of the message
|    refers to it as a function.

Good point.  It would be better as

        In the definition of "glue"

(i.e. leave out 'function')

I also think you are probably right about replacing single-quotes with
double-quotes.  It's easily done (one function, called "quotes").  Does
anyone dissent?  It'll cause loads of gratuitious test-suite
differences,
mind you, so we should do it at a stable moment.

Simon

        

_______________________________________________
Glasgow-haskell-bugs mailing list
[EMAIL PROTECTED]
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs

Reply via email to