Re: [Toss-devel] Speagram, resigning from preference-based disambiguation

[Lukasz S. <luk...@gm...>]

I'll add a builtin.trs file with "fictitious" declarations matching
those in BuiltinLang, should it be in lib/ or in tests/ ? I guess
tests/ makes more sense although they "precede" core.trs.

On Tue, Aug 21, 2012 at 10:51 PM, Lukasz Stafiniak <luk...@gm...> wrote:
> But there might be a different reason to keep these facilities in
> BuiltinLang, to remove the overhead during "normalization". They add a
> silly-looking type prefix to types of values, and shorter prefixes to
> types of expressions. While they shouldn't affect rewriting, they use
> some memory and are un-aesthetic. They can be removed after parsing,
> only not from syntax definitions.