[nem-en] implementation of Message.FatalError

[Michal Moskal]

On 6/17/07, Dmitry Ivankov <divanorama at gmail.com> wrote:
>  It is
> public FatalError['a] (loc : Location, m : string) : 'a
>  {
>  Message.Error (loc, m);
>  throw Recovery ()
>  }
>
> Which is hacky a bit. For example when 'a is void we get void generic
> specifier, which is happily not checked by PEVerify, but it's only now.

I believe it used to work at some point (i.e. void was replaced with
object and return value was ignored). I might be mistaken though...

-- 
   Michał