From: Mark Thom Date: Sun, 26 Feb 2023 22:46:23 +0000 (+0100) Subject: Merge pull request #1746 from triska/type_over_instantiation_error X-Git-Tag: v0.9.2~174 X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=24eb9ce4834bdb26d59b2a752f0316cbd9388e02;p=scryer-prolog.git Merge pull request #1746 from triska/type_over_instantiation_error ENHANCED: must_be/2: prefer type error over instantiation error --- 24eb9ce4834bdb26d59b2a752f0316cbd9388e02