Skip to content

Instantly share code, notes, and snippets.

Embed
What would you like to do?
ソース
{
"types": {
"A": {
"type": "Class",
"fields": {
"intB": {
"type": "Apply",
"target": "B",
"params": {
"T": "Int"
}
}
}
},
"B": {
"let": ["T"],
"type": "Class",
"fields": {
"t": "T"
}
}
}
}
=====
出力
Namespace(
table={
A=ClassType(
name=A
params={
}
namespace=Namespace(keys=[root, A], entry num=0)
fields={
intB=ClassType(
name=IntB
params={
}
namespace=Namespace(keys=[root, A], entry num=0)
fields={
t=RefType(
namespace=Namespace(keys=[root, A], entry num=0)
name=Int
)
}
)
}
)
B=ClassType(
name=B
params={
T=PolyType(
id=970386617
)
}
namespace=Namespace(keys=[root, B], entry num=0)
fields={
t=RefType(
namespace=Namespace(keys=[root, B], entry num=0)
name=T
)
}
)
}
)
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
You can’t perform that action at this time.