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

/seL4-l4v-10.1.1/l4v/tools/haskell-translator/
H A Dlhs_pars.py458 line = reduce_to_single_line(tree_element)
550 def reduce_to_single_line(tree_element): function
650 l = reduce_to_single_line(children[-1])
657 line = reduce_to_single_line((line, children))
1426 if 'liftIO' in reduce_to_single_line((line, children)):
1637 single_lines = [reduce_to_single_line(elt) for elt in L]
1737 extra = reduce_to_single_line(c[0])
2549 single_lines = [reduce_to_single_line(elt) for elt in body]

Completed in 41 milliseconds