 mizusato
|
134203d754
fix, block, closure
|
5 years ago |
|
mizusato
|
518e5688f7
fix
|
5 years ago |
|
mizusato
|
bbe10a3d9f
fix
|
5 years ago |
|
mizusato
|
07302d9270
refactor type description
|
5 years ago |
|
mizusato
|
49aa7ea5eb
refactor field
|
5 years ago |
|
mizusato
|
dfcf8252df
refactor pattern
|
5 years ago |
|
mizusato
|
1eef06eb9c
fix, box, call, overload
|
5 years ago |
|
mizusato
|
3c891a0791
fix
|
5 years ago |
|
mizusato
|
309cd907fb
fix, match
|
5 years ago |
|
mizusato
|
34caadda51
fix, some type check
|
5 years ago |
|
mizusato
|
22627f1108
fix, convert some expr node
|
5 years ago |
|
mizusato
|
8feb53cad5
refactor syntax, split checker
|
5 years ago |
|
mizusato
|
a30437edc6
fix, AssignTo()
|
5 years ago |
|
mizusato
|
9270eccf7a
fix, some assignment check
|
5 years ago |
|
mizusato
|
ebd413f71e
fix, checker outline
|
5 years ago |
|
mizusato
|
719d023281
fix
|
5 years ago |
|
mizusato
|
af7b2b5934
fix
|
5 years ago |
|
mizusato
|
57727723f1
fix, remove difference between native type representations
|
5 years ago |
|
mizusato
|
0360e2aca8
fix
|
5 years ago |
|
mizusato
|
dcab9b05ff
check if types local / roughly equal
|
5 years ago |
|
mizusato
|
738cc60ead
record order of subtypes
|
5 years ago |
|
mizusato
|
efe828b1c7
fix, load stdlib
|
5 years ago |
|
mizusato
|
f3c84d335a
type registration errors
|
5 years ago |
|
mizusato
|
70c710b586
fix, refactor type transformer
|
5 years ago |
|
mizusato
|
f4d1e75aa1
fix
|
5 years ago |
|
mizusato
|
204c7f9908
node type to checker type
|
5 years ago |
|
mizusato
|
f3c434a9ed
type checker initial commit
|
5 years ago |
