242 commits

Author	SHA1	Message	Date
Shunsuke Shibayama	7c9970f140	fix: smallest type selection	2023-04-01 08:58:30 +09:00
Shunsuke Shibayama	824075f7ee	feat: add FrozenSet, MemoryView	2023-03-26 11:23:28 +09:00
Shunsuke Shibayama	b9ff06bb35	docs: update compound.md	2023-03-26 01:04:37 +09:00
Shunsuke Shibayama	57588c78f7	fix: attribute inffering	2023-03-20 20:30:31 +09:00
GreasrySlug	08ad656240	style(python): format with black	2023-03-16 22:39:34 +09:00
GreasrySlug	454224858b	feat(python): add pyproject for dep	2023-03-16 22:00:08 +09:00
Shunsuke Shibayama	6849a10f09	Update typing.d.er	2023-03-15 17:05:08 +09:00
Shunsuke Shibayama	f45c165499	feat: add some builtin python modules decls	2023-03-15 13:51:11 +09:00
Shunsuke Shibayama	031755d862	Update typing.d.er	2023-03-13 17:46:33 +09:00
Shunsuke Shibayama	5b65611c22	feat: add some typing APIs	2023-03-13 17:29:48 +09:00
Shunsuke Shibayama	bee4561275	Update datetime.d.er	2023-03-13 16:37:51 +09:00
Shunsuke Shibayama	ee0366cfb4	fix: constant attribute searching bugs	2023-03-11 14:21:15 +09:00
Shunsuke Shibayama	c5848db951	fix: #408	2023-03-07 09:49:59 +09:00
Shunsuke Shibayama	9ca01b060c	Update Int.d.er	2023-03-02 00:26:59 +09:00
Shunsuke Shibayama	af3c912b17	feat: support tqdm	2023-02-25 01:58:37 +09:00
Shunsuke Shibayama	88ccfb9078	feat: add external (type decls dir)	2023-02-25 00:55:14 +09:00
Shunsuke Shibayama	855d47f02c	fix(typechecker): quantified types unifying	2023-02-19 02:00:54 +09:00
Shunsuke Shibayama	b552cad3b2	feat: add Bytes.d.er/Obj.d.er	2023-02-18 13:46:48 +09:00
Shunsuke Shibayama	7389f68e3e	fix(compiler): infinite recursion bug of derefine	2023-02-18 00:43:52 +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	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	66ece61af2	refactor(pystd): use methods declaration syntax	2023-02-17 15:15:11 +09:00
Shunsuke Shibayama	f3fd5e3eeb	feat(els): support module renaming	2023-02-14 16:23:45 +09:00
Shunsuke Shibayama	38ad42068e	Merge branch 'main' into fix-type-matching	2023-02-12 17:50:39 +09:00
Shunsuke Shibayama	ba19cb107d	Update _erg_str.py	2023-02-12 17:48:16 +09:00
Shunsuke Shibayama	e94acfcc0b	Update _erg_in_operator.py	2023-02-12 01:48:23 +09:00
Shunsuke Shibayama	af0fff8226	fix(compiler): runtime type matching system	2023-02-12 01:34:12 +09:00
Shunsuke Shibayama	a3d4601a8c	Update subprocess.d.er	2023-02-08 00:22:29 +09:00
Shunsuke Shibayama	89d830c364	feat(Array): add dedup, partition method	2023-02-07 23:59:23 +09:00
Shunsuke Shibayama	3a14bbe37e	fix: codegen expr	2023-02-07 23:44:17 +09:00
Shunsuke Shibayama	c44355346e	Add some builtin types methods	2023-02-03 13:34:16 +09:00
Shunsuke Shibayama	d5e9649172	Fix builtin types methods	2023-02-03 02:17:44 +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	23a7e2caf3	Add user-defined var-params function	2023-01-26 01:20:35 +09:00
Shunsuke Shibayama	4028bd0e1a	Add ntpath/posixpath.d.er	2023-01-25 20:18:18 +09:00
Shunsuke Shibayama	846aac89a7	Update repl_server.py	2023-01-24 21:17:26 +09:00
Shunsuke Shibayama	8b5d289ad3	Update builtins.d.er	2023-01-24 20:27:19 +09:00
Shunsuke Shibayama	64d53a39ce	Fix a socket connection problem	2023-01-24 19:57:43 +09:00
Shunsuke Shibayama	dea05ef6e8	Add Bytes	2023-01-16 10:37:08 +09:00
Shunsuke Shibayama	a127564b31	Rename dir: compiler -> crates	2023-01-15 12:03:19 +09:00