McBride
| Subject: Re: new-typeable, new cast?
|
| Well, there was another surprise. Haddock can't deal with Proxy for
some
| reason. (It dies with the error synifyKind. I looked but couldn't
| figure out what was going on there.) I've posted a bug report on the
| haddock Trac (http
Vytiniotis; Simon Peyton-Jones; Stephanie
| Weirich; josepedromagalh...@gmail.com; librar...@haskell.org; Conor McBride
| Subject: Re: new-typeable, new cast?
|
| Well, there was another surprise. Haddock can't deal with Proxy for some
| reason. (It dies with the error synifyKind. I looked