autojson_1.txt

ソース

{
	"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
        )
      }
    )
  }
)