with open(filename, 'r') as f:

dbscheme = f.read()

# Remove comments

dbscheme = re.sub(r'/\*.*?\*/', '', dbscheme, flags=re.DOTALL)

dbscheme = re.sub(r'//[^\r\n]*', '', dbscheme)

# kind enums

for name, kind, body in re.findall(r'case\s+@([^.\s]*)\.([^.\s]*)\s+of\b(.*?);',

dbscheme,

flags=re.DOTALL):

mapping = []

for num, typ in re.findall(r'(\d+)\s*=\s*@(\S+)', body):

mapping.append((int(num), typ))

enums[name] = (kind, mapping)

# unions

for name, rhs in re.findall(r'@(\w+)\s*=\s*(@\w+(?:\s*\|\s*@\w+)*)',

dbscheme,

flags=re.DOTALL):

typs = re.findall(r'@(\w+)', rhs)

unions[name] = typs

# tables

for relname, body in re.findall('\n([\w_]+)(\([^)]*\))',

dbscheme,

flags=re.DOTALL):

columns = list(re.findall('(\S+)\s*:\s*([^\s,]+)(?:\s+(ref)|)', body))

if t not in type_union_of_leaves:

xs = type_union[t]

leaves = set()

for x in xs:

if x in type_leaf:

leaves.add(x)

else:

to_leaves(x)

leaves.update(type_union_of_leaves[x])

kt.write('fun TrapWriter.write' + upperFirst(relname))

if kind is not None:

kt.write('_' + typ)

kt.write('(')

for colname, db_type, _ in columns:

if colname != kind:

kt.write(colname + ': ')

if db_type == 'int':

kt.write('Int')

elif db_type == 'float':

kt.write('Double')

elif db_type == 'string':

kt.write('String')

elif db_type == 'date':

kt.write('Date')

elif db_type == 'boolean':

kt.write('Boolean')

elif db_type[0] == '@':

label = db_type[1:]

if label == enum:

label = typ

kt.write('Label<out Db' + upperFirst(label) + '>')

else:

raise Exception('Bad db_type: ' + db_type)

kt.write(', ')

kt.write(') {\n')

kt.write(' this.writeTrap("' + relname + '(')

comma = ''

for colname, db_type, _ in columns:

kt.write(comma)

if colname == kind:

kt.write(str(num))

elif db_type == 'string':

kt.write('\\"${this.escapeTrapString(this.truncateString(' + colname + '))}\\"')

elif db_type == 'date':

kt.write('D\\"${' + colname + '}\\"')

else:

kt.write('$' + colname)

comma = ', '

kt.write(')\\n")\n')