Searched refs:discard_line_numbers (Results 1 - 1 of 1) sorted by relevance

/seL4-l4v-10.1.1/l4v/tools/haskell-translator/
H A Dlhs_pars.py241 def discard_line_numbers(tree): function
247 result.append((line, discard_line_numbers(children)))
293 children = discard_line_numbers(children)
2514 children = discard_line_numbers(children)

Completed in 35 milliseconds