|
|
c84d29f09b
|
added explanation for substitution
|
2021-01-19 15:42:46 +08:00 |
|
|
|
84d09f1fd1
|
added simple lifetime check
|
2021-01-07 11:57:28 +08:00 |
|
|
|
3457e594ec
|
experiment with methods of parametric type
|
2020-12-24 11:16:36 +08:00 |
|
|
|
a46edc8a47
|
allow type guard on unbounded type variables
|
2020-12-23 17:08:04 +08:00 |
|
|
|
07bc512e59
|
updated readme
|
2020-12-23 17:04:31 +08:00 |
|
|
|
10eae3deb0
|
builtin functions
|
2020-12-23 16:56:49 +08:00 |
|
|
|
4abe22bcf2
|
operator overload
|
2020-12-23 16:53:01 +08:00 |
|
|
|
fdaf8d8661
|
fixed typo
|
2020-12-23 16:48:26 +08:00 |
|
|
|
dd419fc120
|
updated readme
|
2020-12-23 16:48:20 +08:00 |
|
|
|
6f4ad20b7d
|
better error msg
|
2020-12-23 16:30:23 +08:00 |
|
|
|
368690ccd9
|
fixed expr node
|
2020-12-23 16:22:58 +08:00 |
|
|
|
4577d0cc12
|
fixed variable freshness bug
|
2020-12-23 16:05:45 +08:00 |
|
|
|
c0a44756e3
|
updated readme
|
2020-12-23 15:39:48 +08:00 |
|
|
|
3f4f23c0ab
|
fix some variable inference
|
2020-12-23 15:39:39 +08:00 |
|
|
|
461d403cce
|
fixed inheritance check
|
2020-12-23 13:43:34 +08:00 |
|
|
|
b2ec75e157
|
fixed type guard
|
2020-12-23 11:54:48 +08:00 |
|
|
|
0453273d8b
|
type guard
|
2020-12-23 11:22:17 +08:00 |
|
|
|
b8719e5214
|
added len and range
|
2020-12-23 10:42:57 +08:00 |
|
|
|
ee7c1713a5
|
main script
|
2020-12-23 10:34:56 +08:00 |
|
|
|
bd71822719
|
updated readme
|
2020-12-22 16:59:36 +08:00 |
|
|
|
cd3215633d
|
updated readme
|
2020-12-22 16:56:40 +08:00 |
|
|
|
a719945779
|
primitive types
|
2020-12-22 16:53:53 +08:00 |
|
|
|
ae65b2dd09
|
class check
|
2020-12-22 16:53:44 +08:00 |
|
|
|
00ed5e867d
|
better error message
|
2020-12-22 16:53:33 +08:00 |
|
|
|
56215cbac1
|
added readme for toy implementation
|
2020-12-22 15:38:39 +08:00 |
|
|
|
c99995adc6
|
fixed return bug
|
2020-12-22 15:20:42 +08:00 |
|
|
|
69cf20cb91
|
implemented basic statements
|
2020-12-22 15:14:34 +08:00 |
|
|
|
eb2ddfc617
|
basic statements and if statement
|
2020-12-21 16:58:40 +08:00 |
|
|
|
594fbf1061
|
added name clash check
|
2020-12-21 15:08:55 +08:00 |
|
|
|
db342784bc
|
updated comment
|
2020-12-21 13:59:11 +08:00 |
|
|
|
4ac5ec8b04
|
virtual class
|
2020-12-21 13:53:59 +08:00 |
|
|
|
53e82f5603
|
tuple fix
|
2020-12-21 11:57:51 +08:00 |
|
|
|
dd02c795c7
|
list comprehension
|
2020-12-21 11:50:20 +08:00 |
|
|
|
5d679d88b5
|
if exprssion
|
2020-12-21 10:08:05 +08:00 |
|
|
|
b296e67ad1
|
style fix
|
2020-12-21 09:55:38 +08:00 |
|
|
|
40c106ab6a
|
supports slice
|
2020-12-21 09:51:05 +08:00 |
|
|
|
32f0135f28
|
fixed bot type
|
2020-12-21 09:38:37 +08:00 |
|
|
|
92c92f6a4c
|
added operator override test
|
2020-12-18 16:54:47 +08:00 |
|
|
|
97fdef2488
|
expression type check
|
2020-12-18 16:40:32 +08:00 |
|
|
|
60c1e99285
|
fixed variables
|
2020-12-18 13:09:15 +08:00 |
|
|
|
ce031999e9
|
implementing function call check
|
2020-12-18 13:03:36 +08:00 |
|
|
|
fe6d9cc446
|
added check for same variable
|
2020-12-17 17:21:51 +08:00 |
|
|
|
57c7104bf3
|
fixed recursive type issue
|
2020-12-17 17:15:00 +08:00 |
|
|
|
f056f76a76
|
fixed some inference bugs
|
2020-12-17 17:09:21 +08:00 |
|
|
|
5f2eb1c10c
|
added some inference
|
2020-12-17 17:01:31 +08:00 |
|
|
|
99801cb1cb
|
added some inference
|
2020-12-17 17:00:43 +08:00 |
|
|
|
dfc393064e
|
fixed bugs in impl
|
2020-12-17 15:00:09 +08:00 |
|
|
|
606965ce9f
|
implemented signature checker
|
2020-12-17 14:50:51 +08:00 |
|
