Skip to content
GitLab
Menu
Projects
Groups
Snippets
Loading...
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
POTTIER Francois
menhir
Commits
00f14e8a
Commit
00f14e8a
authored
Jul 20, 2015
by
POTTIER Francois
Browse files
Updated a comment about the field [stretch_raw_content].
parent
ac83731e
Changes
1
Hide whitespace changes
Inline
Side-by-side
src/stretch.mli
View file @
00f14e8a
...
...
@@ -7,7 +7,8 @@
content of the fragment, as a string. The [raw_content] field holds
the text that was found in the source file, while the [content]
field holds the same text after transformation by the lexer (which
substitutes keywords, inserts padding, etc.). *)
may substitute keywords, insert padding, insert parentheses, etc.).
See [Lexer.mk_stretch] and its various call sites in [Lexer]. *)
type
t
=
{
stretch_filename
:
string
;
...
...
Write
Preview
Markdown
is supported
0%
Try again
or
attach a new file
.
Attach a file
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment