672 commits

Author	SHA1	Message	Date
Shunsuke Shibayama	767d51d48b	feat: function downcasting ... FIXME: This downcast is unsound, function inputs, output should be checked at runtime	2023-12-31 09:03:40 +09:00
Shunsuke Shibayama	2ddff1512f	fix: const call bug	2023-12-30 21:53:38 +09:00
Shunsuke Shibayama	80872fc50e	fix: keyword argument bugs	2023-12-29 17:00:11 +09:00
Shunsuke Shibayama	edfabd97e7	refactor: fix warns	2023-12-29 12:30:41 +09:00
Shunsuke Shibayama	b5f5876631	fix: closure bug	2023-12-28 23:31:09 +09:00
Shunsuke Shibayama	a2d1809cee	fix: cyclic reference modules bugs	2023-12-28 14:59:14 +09:00
Shunsuke Shibayama	26c758e67f	WIP: submodule resolution bug	2023-12-25 02:14:33 +09:00
Shunsuke Shibayama	03a45de495	fix: type-var generalization bug	2023-12-16 12:06:32 +09:00
Shunsuke Shibayama	868609f95a	feat: add format, help!	2023-12-15 22:55:10 +09:00
Shunsuke Shibayama	905a03d578	fix: external type specification bug	2023-12-13 23:33:06 +09:00
Shunsuke Shibayama	83cd92bb48	fix: superclass declaration bug	2023-12-13 14:37:48 +09:00
Shunsuke Shibayama	4f02d6ce2d	fix: dict type inference bug	2023-12-12 13:28:35 +09:00
Shunsuke Shibayama	529d3892bf	fix: container type inference bugs	2023-12-11 00:15:13 +09:00
Shunsuke Shibayama	30bf5fb7c9	fix: structural type inference bug	2023-12-09 23:35:32 +09:00
Shunsuke Shibayama	fb0248fdf1	fix: external pylib bugs	2023-12-06 18:31:03 +09:00
Shunsuke Shibayama	9faf622f41	fix: tyvar-instantiation bug	2023-11-25 12:57:27 +09:00
Shunsuke Shibayama	21025096a3	fix: type-var instantiation bugs	2023-11-25 02:56:25 +09:00
Shunsuke Shibayama	962e010c29	fix: closure bug	2023-11-18 19:43:06 +09:00
Shunsuke Shibayama	439ba1d28e	feat: maketqdm.Tqdm! polymorphic	2023-11-18 17:06:22 +09:00
Shunsuke Shibayama	30a6f84e5f	feat: add erg_compiler/erg_parser type decls	2023-11-18 16:04:51 +09:00
Shunsuke Shibayama	663a0824ad	feat: var-kwargs codegen	2023-11-14 02:17:47 +09:00
Shunsuke Shibayama	4407999c19	feat: add SubrType::kw_var_params	2023-11-12 12:22:48 +09:00
Shunsuke Shibayama	e4a3bc1720	feat: add rsimport	2023-11-07 12:59:33 +09:00
Shunsuke Shibayama	ebf803dab0	feat: add Float.nearly_eq	2023-11-07 02:30:08 +09:00
Shunsuke Shibayama	21c937e633	chore: add hir::Methods	2023-11-05 01:18:32 +09:00
Shunsuke Shibayama	ae0fa3fe93	fix: pylyzer integration bug	2023-11-04 00:50:55 +09:00
Shunsuke Shibayama	641a60bda6	feat: support and/or guard type	2023-10-31 13:47:42 +09:00
Shunsuke Shibayama	a6336fa896	feat: support inherited refinement types	2023-10-31 12:24:41 +09:00
Shunsuke Shibayama	678c02faf9	feat: support refinement class	2023-10-31 02:23:50 +09:00
Shunsuke Shibayama	6713ffeaae	fix: forward-referenced method inference bug	2023-10-29 21:24:40 +09:00
Shunsuke Shibayama	34a20e7005	fix: forward reference bug for methods	2023-10-29 19:27:41 +09:00
Shunsuke Shibayama	6058339e3f	chore: add TypeContext, MethodContext	2023-10-29 17:33:21 +09:00
Shunsuke Shibayama	01ffde469a	feat: Dict.as_record	2023-10-25 19:46:32 +09:00
Shunsuke Shibayama	a2a26e4584	Merge pull request #465 from erg-lang/closure2 ... fix closure codegen bug	2023-10-24 09:33:28 +09:00
Shunsuke Shibayama	ac0ca49724	fix: attribute completion	2023-10-22 14:48:35 +09:00
Shunsuke Shibayama	d7a0e4de52	Merge branch 'main' into closure	2023-10-21 14:20:28 +09:00
Shunsuke Shibayama	37f026bb0c	chore: record type union	2023-10-21 14:19:50 +09:00
Shunsuke Shibayama	4b4ec163aa	Merge branch 'main' into closure	2023-10-21 14:05:29 +09:00
Shunsuke Shibayama	282c82aea3	fix: attribute type inference bug	2023-10-21 00:17:17 +09:00
Shunsuke Shibayama	c1f6e4b900	fix: type coercion bug	2023-10-20 23:39:01 +09:00
Shunsuke Shibayama	e61fdce4a5	fix: closure codegen bug	2023-10-20 12:26:57 +09:00
Shunsuke Shibayama	0bfd4044b5	fix: infer order bug	2023-10-19 01:47:20 +09:00
Shunsuke Shibayama	33f6bac20d	chore: trait forward reference	2023-10-19 00:55:18 +09:00
Shunsuke Shibayama	06898bd793	chore: improve type inference system	2023-10-18 16:46:06 +09:00
Shunsuke Shibayama	d0bae66450	fix: bytes type definition	2023-10-18 15:07:36 +09:00
Shunsuke Shibayama	5096843bc5	fix: array type inffering	2023-10-16 23:16:39 +09:00
Shunsuke Shibayama	e6cf329f97	fix: type alias bug	2023-10-16 18:34:19 +09:00
Shunsuke Shibayama	2d2c5dcdd7	fix: fast-value codegen bug	2023-10-15 23:29:49 +09:00
Shunsuke Shibayama	14729c94f4	chore: VarInfo.impl_of: Option<Type> -> ctx: ContextKind	2023-10-15 17:41:22 +09:00
Shunsuke Shibayama	1a056b1b0e	fix!: let return/yield to be a private method	2023-10-15 13:51:09 +09:00