From eeb142f3c69d2467fbadd7dd1470ac1606b2e5bf Mon Sep 17 00:00:00 2001
From: Jim Fehrle
Date: Sun, 7 Mar 2021 10:15:11 -0800
Subject: Remove the :> type cast

---
 parsing/g_constr.mlg | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

(limited to 'parsing')

diff --git a/parsing/g_constr.mlg b/parsing/g_constr.mlg
index efe4bfd7f6..d0d1071c26 100644
--- a/parsing/g_constr.mlg
+++ b/parsing/g_constr.mlg
@@ -151,9 +151,7 @@ GRAMMAR EXTEND Gram
       | c1 = term; "<<:"; c2 = term LEVEL "200" ->
                  { CAst.make ~loc @@ CCast(c1, CastNative c2) }
       | c1 = term; ":"; c2 = term LEVEL "200" ->
-                 { CAst.make ~loc @@ CCast(c1, CastConv c2) }
-      | c1 = term; ":>" ->
-                 { CAst.make ~loc @@ CCast(c1, CastCoerce) } ]
+                 { CAst.make ~loc @@ CCast(c1, CastConv c2) } ]
     | "99" RIGHTA [ ]
     | "90" RIGHTA [ ]
     | "10" LEFTA
-- 
cgit v1.2.3