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

/seL4-l4v-10.1.1/l4v/tools/haskell-translator/
H A Dlhs_pars.py460 result = type_transform(post)
478 def type_transform(string): function
503 transformed = type_transform(bits[1])
541 arg = type_transform(arg)
545 bits = [bit.map(type_transform) for bit in bits]
571 # ignore compound types, type_transform will descend into em
725 typename = type_transform(str(bit))
1406 type = type_transform(str(bits[1]).strip())
1584 type = type_transform(type)
1963 x = str(bits[0]) + ':: ' + type_transform(st
[all...]

Completed in 72 milliseconds