From: "David Allsopp" <dra-news@metastack.com>
To: <caml-list@yquem.inria.fr>
Subject: RE: [Caml-list] ocamlbuild
Date: Mon, 6 Aug 2007 13:14:18 +0100 [thread overview]
Message-ID: <005501c7d823$5164e450$6a7ba8c0@treble> (raw)
In-Reply-To: <666572260708060234q22951768uadb275d4bc498ad8@mail.gmail.com>
> I was debugguing a regular-expression and noticed that \" in a string
> remained as-is and this somehow seems linked to my quotation problem :
> # let a="\"";;
> val a : string = "\""
What you're seeing here is the pretty-printer in the toploop which passes
string values through String.escaped:
# let a = "\"";;
val a : string = "\""
# String.length a;;
- : int = 1
# Printf.printf "%s\n" a;;
"
- : unit = ()
I had the same problem with findlib compiling under the MinGW port and had
to remove Filename.quote in the same way...
David
next prev parent reply other threads:[~2007-08-06 12:14 UTC|newest]
Thread overview: 12+ messages / expand[flat|nested] mbox.gz Atom feed top
2007-08-05 23:19 ocamlbuild skaller
2007-08-06 7:36 ` [Caml-list] ocamlbuild Adrien
2007-08-06 9:34 ` Adrien
2007-08-06 12:14 ` David Allsopp [this message]
2007-08-06 16:19 ` Christophe TROESTLER
2007-08-08 4:12 ` Aleksey Nogin
2007-08-09 18:35 ` Nicolas Pouillard
2007-09-05 8:36 ocamlbuild skaller
2007-09-17 11:56 ` [Caml-list] ocamlbuild Nicolas Pouillard
2007-09-17 16:21 ` skaller
2007-09-25 11:45 ` Nicolas Pouillard
2007-09-25 14:19 ` skaller
2007-09-26 8:42 ` Nicolas Pouillard
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to='005501c7d823$5164e450$6a7ba8c0@treble' \
--to=dra-news@metastack.com \
--cc=caml-list@yquem.inria.fr \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox