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

/seL4-l4v-10.1.1/l4v/tools/haskell-translator/
H A Dlhs_pars.py1563 result = adjust_ws(result, len(ws1) - len(ws2))
2782 def adjust_ws(xxx_todo_changeme12, n): function
2790 return (line, [adjust_ws(child, n) for child in children])

Completed in 37 milliseconds