From cb16e5aa1fa310b12739f735fc15d691e3935417 Mon Sep 17 00:00:00 2001 From: James Browning Date: Mon, 12 Sep 2022 22:19:51 +1200 Subject: [PATCH] Fix null subtyping being wrong way around (#79) --- document/core/valid/matching.rst | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/document/core/valid/matching.rst b/document/core/valid/matching.rst index e3d976555e..6e6a0fea71 100644 --- a/document/core/valid/matching.rst +++ b/document/core/valid/matching.rst @@ -106,7 +106,7 @@ A :ref:`reference type ` :math:`\REF~\NULL_1^?~heaptype_1` match \frac{ C \vdashheaptypematch \heaptype_1 \matchesheaptype \heaptype_2 }{ - C \vdashreftypematch \REF~\NULL~\heaptype_1 \matchesreftype \REF~\NULL^?~\heaptype_2 + C \vdashreftypematch \REF~\NULL^?~\heaptype_1 \matchesreftype \REF~\NULL~\heaptype_2 }