tools/haskell-translator/lhs_pars.py

517     bstring = braces.str(string, '(', ')')
528     s = str(bit).strip()
532         bit2 = braces.str(s[1:-1], '(', ')')
535     if str(bits[0]) == 'PPtr':
540         arg = ' '.join([str(bit) for bit in bits[1:]])[1:-1]
542         return ' '.join([arg, 'list', str(type_conv(bits[0]))])
546     strs = [str(bit) for bit in bits]
587     elif str(string) in type_conv_table:
588         result = type_conv_table[str(string)]
600         type_conv_table[str(string)] = result
611         return [tokens[1], braces.str('list', '(', ')')]
613         listToken = braces.str('(List %s)' % tokens[2], '(', ')')
616         arrow_token = braces.str('\<Rightarrow>', '(', ')')
619         plus_token = braces.str('+', '(', ')')
622         listToken = braces.str('(List %s)' % tokens[3], '(', ')')
623         lbrack = braces.str('(', '+', '+')
624         rbrack = braces.str(')', '+', '+')
625         comma = braces.str(',', '+', '+')
629         lbrack = braces.str('(', '+', '+')
630         rbrack = braces.str(')', '+', '+')
631         comma = braces.str(',', '+', '+')
713         braced = braces.str(bit, '(', ')')
725             typename = type_transform(str(bit))
734         arities.append((str(bits[0]), len(bits[1:])))
1399     bits = braces.str(actual_map, '(', ')').split(',')
1406             type = type_transform(str(bits[1]).strip())
1407             name = str(bits[0]).strip()
1409             name = str(bit).strip()
1529     bits = braces.str(l, '[', ']').split(None, braces=True)
1620         l2 = braces.str(l, '(', ')')
1638     keys = [str(braces.str(line, '(', ')').split('=')[0]).split()[0]
1788     bs = braces.str(left, '[', ']')
1790         bits = [str(bit).strip() for bit in bs.split(':', 1)]
1803         bs = braces.str(left[1:-1], '[', ']')
1960         x2 = braces.str(x, '(', ')')
1963             x = str(bits[0]) + ':: ' + type_transform(str(bits[1]))
2093     bits = braces.str(left, '(', ')').split(braces=True)
2101     return ws + ' '.join([str(bit) for bit in bits]) + '\<equiv>' + right
2119     return ws + ' '.join([str(bit) for bit in bits]) + ' \<equiv>' + right
2295     input = map(str.rstrip, f)
2443     right = braces.str(right, '(', ')')
2447         eq = str(eq).strip()
2594         string = braces.str(line, '(', ')')
2617         function = str(bits[0])
2634                 is_var = is_variable_name(str(term))