Fix typo in an error message.

This commit is contained in:
cfreksen 2017-10-30 17:09:43 +01:00
parent 457559458e
commit e5c8522995
No known key found for this signature in database
GPG Key ID: EAC13EE101008978

View File

@ -447,8 +447,8 @@ def ty2base_ty(ty, tdecs, seen=[]):
elif other_name in tdecs:
return ty2base_ty(tdecs[other_name].body, tdecs, [other_name] + seen)
else:
err('Could not find type {} in gloval type environment:\n{}'
.format(ll.ty2s(ty), tdecs.keys()))
err('Could not find type {} in global type environment:\n{}'
.format(ll.ty2s(ty), list(tdecs.keys())))
return ll.SimpleType.Void
else:
# TODO