Revision 25d7b289 autotools/convert-constants
| b/autotools/convert-constants | ||
|---|---|---|
| 182 | 182 |
|
| 183 | 183 |
# finally generate the output |
| 184 | 184 |
kv_pairs = ["(%s, %s)" % (k, v) for k, v in zip(key_v, val_v)] |
| 185 |
return ["-- | Converted from Python dictionary %s" % py_name,
|
|
| 185 |
return ["-- | Converted from Python dictionary @%s@" % py_name,
|
|
| 186 | 186 |
"%s :: [(%s, %s)]" % (hs_name, key_type, val_type), |
| 187 | 187 |
"%s = [%s]" % (hs_name, ", ".join(kv_pairs)), |
| 188 | 188 |
] |
| ... | ... | |
| 220 | 220 |
elif hs_typeval is not None: |
| 221 | 221 |
# this is a simple value |
| 222 | 222 |
(hs_type, hs_val) = hs_typeval |
| 223 |
lines.append("-- | Converted from Python constant %s" % fqn)
|
|
| 223 |
lines.append("-- | Converted from Python constant @%s@" % fqn)
|
|
| 224 | 224 |
lines.append("%s :: %s" % (hs_name, hs_type))
|
| 225 | 225 |
lines.append("%s = %s" % (hs_name, hs_val))
|
| 226 | 226 |
elif isinstance(value, dict): |
| ... | ... | |
| 245 | 245 |
if compat.all(e is not None for e in tvs): |
| 246 | 246 |
ttypes = ", ".join(e[0] for e in tvs) |
| 247 | 247 |
tvals = FormatListElems(all_items, pfx_name, value, [e[1] for e in tvs]) |
| 248 |
lines.append("-- | Converted from Python tuple %s" % fqn)
|
|
| 248 |
lines.append("-- | Converted from Python tuple @%s@" % fqn)
|
|
| 249 | 249 |
lines.append("%s :: (%s)" % (hs_name, ttypes))
|
| 250 | 250 |
lines.append("%s = (%s)" % (hs_name, tvals))
|
| 251 | 251 |
else: |
| ... | ... | |
| 264 | 264 |
uniq_types = set(ttypes) |
| 265 | 265 |
if len(uniq_types) == 1: |
| 266 | 266 |
values = FormatListElems(all_items, pfx_name, value, tvals) |
| 267 |
lines.append("-- | Converted from Python list or set %s" % fqn)
|
|
| 267 |
lines.append("-- | Converted from Python list or set @%s@" % fqn)
|
|
| 268 | 268 |
lines.append("%s :: [%s]" % (hs_name, uniq_types.pop()))
|
| 269 | 269 |
lines.append("%s = [%s]" % (hs_name, values))
|
| 270 | 270 |
else: |
| ... | ... | |
| 274 | 274 |
elif isinstance(value, RE_TYPE): |
| 275 | 275 |
tvs = HaskellTypeVal(value.pattern) |
| 276 | 276 |
assert tvs is not None |
| 277 |
lines.append("-- | Converted from Python RE object %s" % fqn)
|
|
| 277 |
lines.append("-- | Converted from Python RE object @%s@" % fqn)
|
|
| 278 | 278 |
lines.append("%s :: %s" % (hs_name, tvs[0]))
|
| 279 | 279 |
lines.append("%s = %s" % (hs_name, tvs[1]))
|
| 280 | 280 |
else: |
Also available in: Unified diff