Peter Bex writes:
> On Mon, Dec 10, 2018 at 09:24:57PM +0200, megane wrote:
>> > On 2018-12-02 18:02, megane wrote:
[...]
>>
>> I think the biggest cost from typeenv comes from the two first tests in
>> 'match1. Here we check all symbols against the typeenv, which is a
>> linear search. If we
On Mon, Dec 10, 2018 at 09:24:57PM +0200, megane wrote:
> > On 2018-12-02 18:02, megane wrote:
> >> Personally I feel the best way to handle this would be to remove 'forall
> >> altogether inside the scrutinizer and use, for example, a record for the
> >> typevariables inside the types. For
