238 commits

Author	SHA1	Message	Date
Shunsuke Shibayama	0d8e574414	fix: add a field meta_t to TypeObj::Builtin	2023-03-13 13:07:35 +09:00
Shunsuke Shibayama	fd0f56579a	fix: aliasing bug	2023-03-13 07:03:31 +09:00
Shunsuke Shibayama	d3678b1780	fix: aliasing bug	2023-03-12 11:30:14 +09:00
Shunsuke Shibayama	c5848db951	fix: #408	2023-03-07 09:49:59 +09:00
Shunsuke Shibayama	fa2919e824	fix: bugs with enumeration of vars	2023-03-06 19:44:49 +09:00
Shunsuke Shibayama	d92f5284c8	feat: add restricted visibility syntax	2023-03-05 02:19:18 +09:00
Shunsuke Shibayama	8c8eff76a6	feat: add ContextManager	2023-03-03 16:06:03 +09:00
Shunsuke Shibayama	3d310714f1	feat: support var-args lambda function	2023-03-03 16:01:20 +09:00
Shunsuke Shibayama	cb00efca54	fix: minor bugs	2023-03-03 14:26:11 +09:00
Shunsuke Shibayama	1c8da7f049	fix: refinement types bugs	2023-03-03 13:44:05 +09:00
Shunsuke Shibayama	5c6ea316f5	chore: remove unnecessary params	2023-03-03 10:01:05 +09:00
Shunsuke Shibayama	923f8fbbaf	Update mod.rs	2023-02-25 10:11:11 +09:00
Shunsuke Shibayama	f604338d99	feat: add Pos/Neg trait	2023-02-24 15:38:04 +09:00
Shunsuke Shibayama	e944132cfc	feat: add init_py_builtin_operators	2023-02-24 15:21:25 +09:00
Shunsuke Shibayama	c9dda183ab	feat: implement Structural types	2023-02-23 01:37:54 +09:00
Shunsuke Shibayama	5c4c43ab2f	fix: failure of the type inference of another module	2023-02-22 11:55:02 +09:00
Shunsuke Shibayama	aa2cea60dd	fix: quantified subroutine subtyping bugs	2023-02-22 02:40:51 +09:00
Shunsuke Shibayama	4dcca2b06d	fix(typechecker): type generalization & dereference bugs ... * `Context::subtype_of` now has `allow_cast` param. If this is `false`, cast-aware comparisons are not performed.	2023-02-21 17:04:52 +09:00
Shunsuke Shibayama	b552cad3b2	feat: add Bytes.d.er/Obj.d.er	2023-02-18 13:46:48 +09:00
Shunsuke Shibayama	3aeb63f51b	feat: add Array.d.er/Bool.d.er/Nat.d.er	2023-02-18 00:24:25 +09:00
Shunsuke Shibayama	9a131ecc53	fix: #399	2023-02-17 21:27:37 +09:00
Shunsuke Shibayama	677ced0fcd	feat: add std.d	2023-02-17 21:09:23 +09:00
Shunsuke Shibayama	51cae591a3	feat: allow separating sample code and doc-comments	2023-02-17 20:37:15 +09:00
Shunsuke Shibayama	515b87b106	refactor: condition => test, err_message => msg	2023-02-13 15:56:08 +09:00
Shunsuke Shibayama	06b4df6568	fix(REPL): suppress unused vars warn in REPL	2023-02-08 00:12:52 +09:00
Shunsuke Shibayama	89d830c364	feat(Array): add dedup, partition method	2023-02-07 23:59:23 +09:00
Shunsuke Shibayama	c44355346e	Add some builtin types methods	2023-02-03 13:34:16 +09:00
Shunsuke Shibayama	8cdc735486	Fix builtin types methods	2023-02-03 00:23:42 +09:00
Shunsuke Shibayama	e44ba71aa5	Add some Str! methods	2023-02-01 13:37:41 +09:00
Shunsuke Shibayama	44781cb030	Fix warns	2023-01-27 11:23:42 +09:00
Shunsuke Shibayama	748cd2c99d	Update funcs.rs	2023-01-26 22:37:57 +09:00
Shunsuke Shibayama	8b5d289ad3	Update builtins.d.er	2023-01-24 20:27:19 +09:00
Shunsuke Shibayama	73dd785eeb	Fix an unintended behavior with const-fn	2023-01-23 16:57:19 +09:00
Shunsuke Shibayama	5221ecc645	Merge branch 'main' into make-consts-init-builtin-funcs	2023-01-16 13:30:58 +09:00
Shunsuke Shibayama	dea05ef6e8	Add Bytes	2023-01-16 10:37:08 +09:00
Shunsuke Shibayama	6a183346ea	Bug fix	2023-01-15 23:43:42 +09:00
yuk1ty	b5f316d479	Make strings as const	2023-01-15 17:55:24 +09:00
Shunsuke Shibayama	a127564b31	Rename dir: compiler -> crates	2023-01-15 12:03:19 +09:00