Re: Porting prooftree to ocaml 4.x

The `|` inside curly braces is documented there:
http://caml.inria.fr/pub/docs/manual-ocaml-4.02/extn.html#sec244


On Sat, Feb 14, 2015 at 2:05 AM, [email protected] [ocaml_beginners] <
[email protected]> wrote:

>
>
> ==> make
> File "input.ml", line 30, characters 0-2:
> Error: This comment contains an unterminated string literal
> File "input.ml", line 58, characters 38-47:
> Error: String literal begins here
> make: *** [Makefile.deps] Error 2
>
>
> In prooftree 0.12, in file input.ml, comments with contents of the
> following form occur (excerpts from a patch where the "-" lines are before
> my hack, and "+" are after my hack).  As yet, I can find no documentation
> of the behavior of "|" inside of curly brackets inside of comments.  Whats
> the correct fix?
>
>
> -    which contains no white space. ``\{cheated|not-cheated\}'' denotes
> +    which contains no white space. ``\{cheatednot-cheated\}'' denotes
>
>
> -    {cheated|not-cheated} {new-layer|current-layer} proof-name-bytes %d \
> +    {cheatednot-cheated} {new-layercurrent-layer} proof-name-bytes %d \
>
>
> -    {- {v branch-finished state %d {cheated|not-cheated} \
> +    {- {v branch-finished state %d {cheatednot-cheated} \
>
> - * current-goals state %d current-sequent %s {cheated|not-cheated} \
> + * current-goals state %d current-sequent %s {cheatednot-cheated} \
>
> - * branch-finished state %d {cheated|not-cheated} \
> + * branch-finished state %d {cheatednot-cheated} \
>
>
>
>
> 
>