pca006132
39b3faba6e
fixed for loop unification
2021-07-12 10:36:52 +08:00
pca006132
1ad21f0d67
optional virtual type annotation
2021-07-12 09:35:01 +08:00
pca006132
dbf9c17d9f
added assumption
2021-07-10 16:23:07 +08:00
pca006132
0010e5852a
added readme
2021-07-10 16:21:30 +08:00
pca006132
902e1a892c
implemented basic operations
2021-07-10 15:45:53 +08:00
pca006132
b1020352ce
allows recursive type, implementing primitives
2021-07-10 15:11:27 +08:00
pca006132
66df55b3d7
virtual type
2021-07-10 14:36:28 +08:00
pca006132
0c8029d7e1
fixed minor bug
2021-07-09 17:31:54 +08:00
pca006132
e15e29d673
fixed polymorphic methods
2021-07-09 17:11:34 +08:00
pca006132
1c17ed003e
fixed type var check
2021-07-09 16:06:06 +08:00
pca006132
59628cfa38
init hm-inference
2021-07-09 15:27:02 +08:00
pca006132
b79c1725b3
Added #9
2021-06-15 09:56:15 +08:00
pca006132
1e80d8d285
Added #15
2021-06-11 13:05:23 +08:00
pca006132
a642e37b9a
Added #12
2021-06-09 09:45:57 +08:00
pca006132
ae12c946c5
Merge pull request 'Kernel objects specification as per discussion in #8' ( #14 ) from kernel-object into master
...
Reviewed-on: #14
2021-06-08 17:11:58 +08:00
pca006132
3464dabeb9
Kernel objects specification as per discussion in #8
2021-06-08 12:03:49 +08:00
pca006132
d06a044189
Merge pull request 'Updated specification' ( #8 ) from updated into master
...
Reviewed-on: #8
2021-06-07 10:06:51 +08:00
pca006132
24a85c472e
updated type variable description
2021-04-12 20:16:26 +08:00
pca006132
a034251c23
improved explanation for kernel only classes
2021-04-12 19:58:45 +08:00
pca006132
284ab3324c
modified according to comments
2021-04-12 19:58:29 +08:00
pca006132
30dd6a1ac1
added kernel only class
2021-04-11 23:37:36 +08:00
pca006132
d82edd2753
updated according to discussions
...
- Updated details related to class instance variables.
- Rewrote section about referencing host variables from kernel.
- Updated limitation regarding default parameter, function pointers and
integer type.
- Removed section about dynamic dispatch, maybe deal with this later.
2021-04-11 23:37:36 +08:00
pca006132
c84d29f09b
added explanation for substitution
2021-01-19 15:42:46 +08:00
pca006132
09234a416b
added questions for optional type and type guard
2021-01-19 15:39:37 +08:00
pca006132
8d09aea1f7
recent changes
2021-01-19 15:35:11 +08:00
pca006132
84d09f1fd1
added simple lifetime check
2021-01-07 11:57:28 +08:00
pca006132
3457e594ec
experiment with methods of parametric type
2020-12-24 11:16:36 +08:00
pca006132
a46edc8a47
allow type guard on unbounded type variables
2020-12-23 17:08:04 +08:00
pca006132
07bc512e59
updated readme
2020-12-23 17:04:31 +08:00
pca006132
10eae3deb0
builtin functions
2020-12-23 16:56:49 +08:00
pca006132
4abe22bcf2
operator overload
2020-12-23 16:53:01 +08:00
pca006132
fdaf8d8661
fixed typo
2020-12-23 16:48:26 +08:00
pca006132
dd419fc120
updated readme
2020-12-23 16:48:20 +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
4577d0cc12
fixed variable freshness bug
2020-12-23 16:05:45 +08:00
pca006132
c0a44756e3
updated readme
2020-12-23 15:39:48 +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
b8719e5214
added len and range
2020-12-23 10:42:57 +08:00
pca006132
ee7c1713a5
main script
2020-12-23 10:34:56 +08:00
pca006132
bd71822719
updated readme
2020-12-22 16:59:36 +08:00
pca006132
cd3215633d
updated readme
2020-12-22 16:56:40 +08:00
pca006132
a719945779
primitive types
2020-12-22 16:53:53 +08:00
pca006132
ae65b2dd09
class check
2020-12-22 16:53:44 +08:00
pca006132
00ed5e867d
better error message
2020-12-22 16:53:33 +08:00
pca006132
56215cbac1
added readme for toy implementation
2020-12-22 15:38:39 +08:00
pca006132
c99995adc6
fixed return bug
2020-12-22 15:20:42 +08:00
pca006132