From 3677cfc13e19efe650488a3a25917324bd6ccef7 Mon Sep 17 00:00:00 2001
From: Alasdair
Date: Mon, 13 May 2019 23:29:15 +0100
Subject: Parse dereferences in orderinary expressions

---
 src/initial_check.ml | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'src/initial_check.ml')

diff --git a/src/initial_check.ml b/src/initial_check.ml
index 790a6624..70252a1a 100644
--- a/src/initial_check.ml
+++ b/src/initial_check.ml
@@ -411,7 +411,8 @@ and to_ast_exp ctx (P.E_aux(exp,l) : P.exp) =
          E_internal_return(to_ast_exp ctx exp)
        else
          raise (Reporting.err_general l "Internal return construct found without -dmagic_hash")
-    | _ -> raise (Reporting.err_unreachable l __POS__ "Unparsable construct in to_ast_exp")
+    | P.E_deref exp ->
+       E_app (Id_aux (Id "__deref", l), [to_ast_exp ctx exp])
     ), (l,()))
 
 and to_ast_measure ctx (P.Measure_aux(m,l)) : unit internal_loop_measure =
-- 
cgit v1.2.3