Commit Graph

12 Commits (master)

Author SHA1 Message Date
pca006132 84d09f1fd1 added simple lifetime check 2021-01-07 11:57:28 +08:00
pca006132 a46edc8a47 allow type guard on unbounded type variables 2020-12-23 17:08:04 +08:00
pca006132 6f4ad20b7d better error msg 2020-12-23 16:30:23 +08:00
pca006132 368690ccd9 fixed expr node 2020-12-23 16:22:58 +08:00
pca006132 3f4f23c0ab fix some variable inference 2020-12-23 15:39:39 +08:00
pca006132 461d403cce fixed inheritance check 2020-12-23 13:43:34 +08:00
pca006132 b2ec75e157 fixed type guard 2020-12-23 11:54:48 +08:00
pca006132 0453273d8b type guard 2020-12-23 11:22:17 +08:00
pca006132 00ed5e867d better error message 2020-12-22 16:53:33 +08:00
pca006132 c99995adc6 fixed return bug 2020-12-22 15:20:42 +08:00
pca006132 69cf20cb91 implemented basic statements 2020-12-22 15:14:34 +08:00
pca006132 eb2ddfc617 basic statements and if statement 2020-12-21 16:58:40 +08:00