ocaml - Faithfully handle white-spacing in a pretty-printer -


i writing front-end language (by ocamllex , ocamlyacc).

so frond-end can build abstract syntax tree (ast) program. write pretty printer, takes ast , print program. if later want compile or analyse ast, of time, don't need printed program exactly same original program, in terms of white-spacing. however, time, want write pretty printer prints exactly same program original one, in terms of white-spacing.

therefore, question best practices handle white-spacing while trying not modify types of ast. don't want add number (of white-spaces) each type in ast.

for example, how deal (ie, skip) white-spacing in lexer.mll: 

rule token = parse   ...   | [' ' '\t']       { token lexbuf }     (* skip blanks *)   | eof              { eof }

does know how change other parts of front-end correctly taking white-spacing account later printing?

it's quite common keep source-file location information each token. information allows more accurate errors, example.

the general way keep beginning , ending line number , column position each token, total of 4 numbers. if easy compute end position of token value , start position, reduced 2 numbers, @ price of code complexity.

bison has features simplify bookkeeping work of remembering location objects; it's possible ocamlyacc includes similar features, didn't see in documentation. in case, straight-forward maintain location object associated each input token.

with information, easy recreate whitespace between 2 adjacent tokens, long separated tokens whitespace. comments issue.

it's judgement call whether or not simpler attaching preceding whitespace (and comments) each token lexed.


-

Popular posts from this blog

Apache NiFi ExecuteScript: Groovy script to replace Json values via a mapping file -

i working apache nifi 0.5.1 on groovy script replace incoming json values ones contained in mapping file. mapping file looks (it simple .txt): header1;header2;header3 a;some text;a2 i have started following: import groovy.json.jsonbuilder import groovy.json.jsonslurper import java.nio.charset.standardcharsets def flowfile = session.get(); if (flowfile == null) { return; } flowfile = session.write(flowfile, { inputstream, outputstream -> def content = """ { "field1": "a" "field2": "a", "field3": "a" }""" def slurped = new jsonslurper().parsetext(content) def builder = new jsonbuilder(slurped) builder.content.field1 = "a" builder.content.field2 = "some text" builder.content.field3 = "a2" outputstream.write(builder.toprettystring().ge...
Read more

python 3.x - PyQt5 - Signal : pyqtSignal no method connect -

following example in doc found on sourceforge faced error. from pyqt5.qtcore import pyqtsignal, pyqtslot def setsignal(): signal = pyqtsignal() signal.connect(self.myaction) @qtcore.pyqtslot() def myaction(): print("signal triggered") results in attributeerror: 'pyqt5.qtcore.pyqtsignal' object has no attribute 'connect' as mentioned in docs linked, signal needs defined on class level: class foo(qobject): signal = pyqtsignal() def connectsignal(): self.signal.connect(self.myaction) @qtcore.pyqtslot() def myaction(): print("signal triggered")
Read more