Commit Graph

26 Commits (master)

Author SHA1 Message Date
pca006132 3fd63906c2 add back documentation about virtual types 2021-07-16 17:29:17 +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 3464dabeb9 Kernel objects specification as per discussion in #8 2021-06-08 12:03:49 +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 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 cd3215633d updated readme 2020-12-22 16:56:40 +08:00
pca006132 1efbbe832f added notes about toy-impl 2020-12-17 14:52:51 +08:00
pca006132 83f58e1da5 added notes about numeric types 2020-12-17 14:52:24 +08:00
pca006132 a003ebb14e unsigned integers 2020-12-17 10:27:11 +08:00
pca006132 effe9434ab added builtin types section 2020-12-17 10:22:46 +08:00
pca006132 31c688b4c8 disallow default parameter 2020-12-17 09:48:58 +08:00
pca006132 c6b9f620d2 Updated documentation and type_check test 2020-12-16 17:25:54 +08:00
pca006132 16b427d0e9 notes about optional parameter value 2020-12-16 16:04:42 +08:00
pca006132 e7839efdc0 removed complicated features 2020-12-16 15:19:35 +08:00
pca006132 c99fe43217 added comment 2020-12-15 18:01:10 +08:00
pca006132 2484f772b3 fixed typo 2020-12-15 18:01:01 +08:00
pca006132 8aa4fc18a7 updated after discussion with sb10q 2020-12-15 17:33:31 +08:00
pca006132 1c5795da3d added typing issues 2020-12-15 13:09:32 +08:00
pca006132 47bdf1f0b2 init 2020-12-15 11:27:47 +08:00