From 1d0eb5d4d6fea88abc29798ee2004b2e27e952c6 Mon Sep 17 00:00:00 2001 From: Emilio Jesus Gallego Arias Date: Wed, 8 Mar 2017 03:22:22 +0100 Subject: [camlpX] Remove camlp4 compat layer. We remove the camlp4 compatibility layer, and try to clean up most structures. `parsing/compat` is gone. We added some documentation to the lexer/parser interfaces that are often obscured by module includes. --- .merlin | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to '.merlin') diff --git a/.merlin b/.merlin index 394db528d..5cae15f5f 100644 --- a/.merlin +++ b/.merlin @@ -44,4 +44,4 @@ B tools/coqdoc S dev B dev -PKG threads.posix +PKG threads.posix camlp5 -- cgit v1.2.3