[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Equation comparison seems to be missing some matches
- Subject: Re: Equation comparison seems to be missing some matches
- From: Chris Warburton
- Date: Fri, 28 Jul 2017 17:45:23 +0100
- In-reply-to: <bdf42f45a49924b8-0-artemis@nixos>
- References: <bdf42f45a49924b8-0-artemis@nixos>
Bumped te-benchmarks to a new version, which doesn't compare variables
based on their types (we assume expressions are type-correct, so they
can't only differ by a variable's type; but different systems (Isabelle,
TIP, QuickSpec, etc.) can encode (or erase!) types in different ways,
which makes them incomparable).