arrdem/source
1
0
Fork 0
Code Issues 11 Pull requests Projects Releases Packages Wiki Activity

Rewrite bootstrap to sorta support type signatures

Browse source
This commit is contained in:
Reid 'arrdem' McKenzie 2022-06-15 23:01:55 -06:00
parent 56e12252f5
commit 9d03c1425e
1 changed files with 9 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

9
projects/shoggoth/src/python/ichor/state.py
View file

@ -208,6 +208,15 @@ class Module(t.NamedTuple):
def __str__(self): def __str__(self):
b = [] b = []
b.append("types:")
for sig, type in self.types.items():
b.append(f" {sig!r}:")
b.append(f" name: {type.name}")
b.append(f" typeconstraints: {type.typeconstraints}")
b.append(f" arms:")
for arm in type.constructors:
b.append(f" - {arm}")
b.append("functions:") b.append("functions:")
for sig, fun in self.functions.items(): for sig, fun in self.functions.items():
b.append(f" {sig!r}:") b.append(f" {sig!r}:")