From 5843869adbb68586c7580b282c38e2d26d57c213 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?C=C3=A9dric=20Pasteur?= <cedric.pasteur@ens.fr>
Date: Mon, 5 Sep 2011 16:00:57 +0200
Subject: [PATCH] Load module before trying to unalias

---
 compiler/global/modules.ml | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/compiler/global/modules.ml b/compiler/global/modules.ml
index b92c8ca..1d2fda8 100644
--- a/compiler/global/modules.ml
+++ b/compiler/global/modules.ml
@@ -288,7 +288,8 @@ exception Undefined_type of qualname
 
 (** @return the unaliased version of a type. @raise Undefined_type *)
 let rec unalias_type t = match t with
-  | Tid ty_name ->
+  | Tid ({ qual = q } as ty_name) ->
+    _load_module q;
       (try
         match find_type ty_name with
           | Talias ty -> unalias_type ty