From 96383f6dbccd4b280acad395b9a2683a645a9de3 Mon Sep 17 00:00:00 2001
From: Xavier Leroy <xavierleroy@users.noreply.github.com>
Date: Mon, 8 Jul 2019 10:48:24 +0200
Subject: Compatibility with OCaml 4.08 (#302)

* Do not use `Pervasives.xxx` qualified names

Starting with OCaml 4.08, `Pervasives` is deprecated in favor of `Stdlib`,
and uses of `Pervasives` cause fatal warnings.

This commit uses unqualified names instead, as no ambiguity occurs.

* Clarify "open" statements

OCaml 4.08.0 has stricter warnings concerning open statements that
shadow module names.

Closes: #300
---
 backend/PrintAsm.ml | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

(limited to 'backend/PrintAsm.ml')

diff --git a/backend/PrintAsm.ml b/backend/PrintAsm.ml
index dd428808..155f5e55 100644
--- a/backend/PrintAsm.ml
+++ b/backend/PrintAsm.ml
@@ -13,7 +13,6 @@
 
 open AST
 open Camlcoq
-open DwarfPrinter
 open PrintAsmaux
 open Printf
 open Sections
@@ -177,7 +176,7 @@ module Printer(Target:TARGET) =
         let address = Target.address
       end
 
-    module DebugPrinter = DwarfPrinter (DwarfTarget)
+    module DebugPrinter = DwarfPrinter.DwarfPrinter (DwarfTarget)
   end
 
 let print_program oc p =
-- 
cgit