tools/haskell-translator/lhs_pars.py

516     bstring = braces.str(string, '(', ')')
527     s = str(bit).strip()
531         bit2 = braces.str(s[1:-1], '(', ')')
534     if str(bits[0]) == 'PPtr':
539         arg = ' '.join([str(bit) for bit in bits[1:]])[1:-1]
541         return ' '.join([arg, 'list', str(type_conv(bits[0]))])
545     strs = [str(bit) for bit in bits]
586     elif str(string) in type_conv_table:
587         result = type_conv_table[str(string)]
599         type_conv_table[str(string)] = result
610         return [tokens[1], braces.str('list', '(', ')')]
612         listToken = braces.str('(List %s)' % tokens[2], '(', ')')
615         arrow_token = braces.str('\<Rightarrow>', '(', ')')
618         plus_token = braces.str('+', '(', ')')
621         listToken = braces.str('(List %s)' % tokens[3], '(', ')')
622         lbrack = braces.str('(', '+', '+')
623         rbrack = braces.str(')', '+', '+')
624         comma = braces.str(',', '+', '+')
628         lbrack = braces.str('(', '+', '+')
629         rbrack = braces.str(')', '+', '+')
630         comma = braces.str(',', '+', '+')
712         braced = braces.str(bit, '(', ')')
724             typename = type_transform(str(bit))
733         arities.append((str(bits[0]), len(bits[1:])))
1417     bits = braces.str(actual_map, '(', ')').split(',')
1424             type = type_transform(str(bits[1]).strip())
1425             name = str(bits[0]).strip()
1427             name = str(bit).strip()
1547     bits = braces.str(l, '[', ']').split(None, braces=True)
1638         l2 = braces.str(l, '(', ')')
1656     keys = [str(braces.str(line, '(', ')').split('=')[0]).split()[0]
1806     bs = braces.str(left, '[', ']')
1808         bits = [str(bit).strip() for bit in bs.split(':', 1)]
1821         bs = braces.str(left[1:-1], '[', ']')
1978         x2 = braces.str(x, '(', ')')
1981             x = str(bits[0]) + ':: ' + type_transform(str(bits[1]))
2111     bits = braces.str(left, '(', ')').split(braces=True)
2119     return ws + ' '.join([str(bit) for bit in bits]) + '\<equiv>' + right
2137     return ws + ' '.join([str(bit) for bit in bits]) + ' \<equiv>' + right
2313     input = map(str.rstrip, f)
2461     right = braces.str(right, '(', ')')
2465         eq = str(eq).strip()
2612         string = braces.str(line, '(', ')')
2635         function = str(bits[0])
2652                 is_var = is_variable_name(str(term))