From 26fcc4dbd92f367ecb20f4457cdf887eea0b6568 Mon Sep 17 00:00:00 2001
From: xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e>
Date: Thu, 29 Jan 2009 09:13:53 +0000
Subject: Conflict between extraction/CList and cil/obj/xxx/clist on
 case-insensitive file systems.  Replaced CList by CoqList and likewise for
 CString and CInt.  Removed useless references to CList in hand-written Caml
 code.

git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@951 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
---
 backend/CMparser.mly | 11 +++++------
 1 file changed, 5 insertions(+), 6 deletions(-)

(limited to 'backend/CMparser.mly')

diff --git a/backend/CMparser.mly b/backend/CMparser.mly
index f369f9ea..c83a46e5 100644
--- a/backend/CMparser.mly
+++ b/backend/CMparser.mly
@@ -15,7 +15,6 @@
 
 %{
 open Datatypes
-open CList
 open Camlcoq
 open BinPos
 open BinInt
@@ -313,9 +312,9 @@ let mkmatch expr cases =
 
 prog:
     global_declarations proc_list EOF
-      { { prog_funct = CList.rev $2;
+      { { prog_funct = List.rev $2;
           prog_main = intern_string "main";
-          prog_vars = CList.rev $1; } }
+          prog_vars = List.rev $1; } }
 ;
 
 global_declarations:
@@ -347,8 +346,8 @@ proc:
         temp_counter := 0;
         Coq_pair($1,
         Internal { fn_sig = $6;
-                   fn_params = CList.rev $3;
-                   fn_vars = CList.rev (CList.app tmp $9);
+                   fn_params = List.rev $3;
+                   fn_vars = List.rev (tmp @ $9);
                    fn_stackspace = $8;
                    fn_body = $10 }) }
   | EXTERN STRINGLIT COLON signature 
@@ -383,7 +382,7 @@ stack_declaration:
 
 var_declarations:
     /* empty */                                 { [] }
-  | var_declarations var_declaration            { CList.app $2 $1 }
+  | var_declarations var_declaration            { $2 @ $1 }
 ;
 
 var_declaration:
-- 
cgit