From 9dac49bcd613213347e1a6beba25d64bea2596b7 Mon Sep 17 00:00:00 2001
From: Graydon Hoare <graydon@mozilla.com>
Date: Thu, 16 Sep 2010 15:03:28 -0700
Subject: Resolve plvals to their defns.

---
 src/boot/me/semant.ml | 11 +++++++++++
 1 file changed, 11 insertions(+)

(limited to 'src/boot/me/semant.ml')

diff --git a/src/boot/me/semant.ml b/src/boot/me/semant.ml
index cde590c9..01457454 100644
--- a/src/boot/me/semant.ml
+++ b/src/boot/me/semant.ml
@@ -577,6 +577,17 @@ let rec lval_to_name (lv:Ast.lval) : Ast.name =
           Ast.NAME_ext (lval_to_name lv, comp)
 ;;
 
+let rec plval_to_name (pl:Ast.plval) : Ast.name =
+  match pl with
+      Ast.PLVAL_ident ident ->
+        Ast.NAME_base (Ast.BASE_ident ident)
+    | Ast.PLVAL_app (ident, tys) ->
+        Ast.NAME_base (Ast.BASE_app (ident, tys))
+    | Ast.PLVAL_ext_name ({node = Ast.PEXP_lval pl}, nc) ->
+        Ast.NAME_ext (plval_to_name pl, nc)
+    | _ -> bug () "plval_to_name with plval that contains non-name components"
+;;
+
 
 (* Type extraction. *)
 
-- 
cgit v1.2.3