Lines Matching defs:bits
56 bits = line.split()
58 call.filename = find_source(bits[1])
59 call.all_bits = 'all_bits' in bits
60 call.decls_only = 'decls_only' in bits
61 call.instanceproofs = 'instanceproofs' in bits
62 call.bodies_only = 'bodies_only' in bits
64 for bit in bits if '=' in bit])
66 if 'CONTEXT' in bits:
67 n = bits.index('CONTEXT')
68 call.current_context.append(bits[n + 1])
70 if 'ONLY' in bits:
71 n = bits.index('ONLY')
72 m = set(bits[n + 1:])
74 elif 'NOT' in bits:
75 n = bits.index('NOT')
76 m = set(bits[n + 1:])
78 elif 'BODY' in bits:
80 assert bits[-2] == 'BODY'
81 fn = bits[-1]
91 if bits[0] == '#INCLUDE_HASKELL_PREPARSE':