[nem-en] Typing a expression in context of method

[Kamil Skalski]

2007/5/12, vc <vc at rsdn.ru>:
> > > Add will be very nice if Typer will get reference to Messenger parameter
> > > instead of get it from solver (in Integration we type methods in lazy
> > manner
> > > and we need intercept messages from typer).
> > >
> >
> > AFAIK Messenger is used for "potential errors", so there might appear
> > some error messages for correct code, because Typer uses
> > "backtracking" to resolve for example choosing overloaded functions.
>
> OK, but we need intercept real error messages which give out Typer.
> Now we catch error messages in Message *module*.
> The Message shold be class. Reference to it shold be put to Typer.

Yeah, it would be good direction... but

nazgul at mordor ~/nemerle/ncc
$ ./g " Message." | wc
    615    5877   75342

potentially 615 places to fix in compiler itself. Of course doing it
on class level would result in much less changes, but anyways

nazgul at mordor ~/nemerle/ncc
$ ./g " Message."  | awk '{ print $1 }' | sed -e 's/[0-9]*//g' | uniq | wc
     67      67    2126

67 files to modify :)


>
> Theoretically Typer can run in parallel.
> It would accelerate compilation on multiprocessor systems.
>
>
> _______________________________________________
> https://nemerle.org/mailman/listinfo/devel-en
>


-- 
Kamil Skalski
http://nazgul.omega.pl