language-servers/erg
1
0
Fork 0
mirror of https://github.com/erg-lang/erg.git synced 2025-09-29 12:24:45 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions
599 commits 42 branches 95 tags 21 MiB
Commit graph

58 commits

Author SHA1 Message Date
Shunsuke Shibayama
e3e8a7e63c Impl Override feature 2022-09-08 09:53:32 +09:00
Shunsuke Shibayama
f38c4285fe Fix self unify bugs 2022-09-08 01:19:56 +09:00
Shunsuke Shibayama
533fddcba5 WIP: Fix method searching bugs 2022-09-07 21:42:03 +09:00
Shunsuke Shibayama
5029d71cbe Impl: auto generating of new 2022-09-07 14:48:02 +09:00
Shunsuke Shibayama
1ae7633501 Merge branch 'main' into class 2022-09-06 21:55:53 +09:00
Shunsuke Shibayama
36aa226d10 Impl Linker 2022-09-06 14:43:01 +09:00
Shunsuke Shibayama
be8c0978f0 Add ClassType object 2022-09-06 01:29:56 +09:00
Shunsuke Shibayama
1b4c9aa9c3 Move eval.rs to context 2022-09-05 23:50:32 +09:00
Shunsuke Shibayama
7e08f0b0c6 Fix type checker bugs 2022-09-05 23:46:31 +09:00
Shunsuke Shibayama
4a8572a9fe Fix type inference imcompleteness 
Add intersection type inference
 2022-09-05 21:55:16 +09:00
Shunsuke Shibayama
d5f2b5f450 Add register_gen_* 
`register_*` renamed `register_const_*`
 2022-09-05 14:24:30 +09:00
Shunsuke Shibayama
fb0d2f5737 Refactor 2022-09-05 11:11:57 +09:00
Shunsuke Shibayama
25094efd17 Refactor 2022-09-05 11:09:51 +09:00
Shunsuke Shibayama
2320ff0360 Refactor 2022-09-05 10:11:03 +09:00
Shunsuke Shibayama
e860da2a15 WIP: impl type checker 2022-09-05 01:13:14 +09:00
Cai Bingjun
51de3c9d5a Set Erg's markdown snippet highlighting to Python 2022-09-04 12:01:06 +08:00
Shunsuke Shibayama
cf0858ddde Add TypeObj 2022-09-04 00:46:15 +09:00
Shunsuke Shibayama
22cb113fcd Unify Type::Class/Trait 2022-09-03 22:22:49 +09:00
Shunsuke Shibayama
263c43d74b WIP: Impl DataPack type checking 2022-09-03 20:58:28 +09:00
Shunsuke Shibayama
924ab27369 Add hir::MethodDefs 2022-09-03 15:53:09 +09:00
Shunsuke Shibayama
094eb499fb Fix refinement inference bugs 2022-09-03 15:52:55 +09:00
Shunsuke Shibayama
78c0b60f3f Fix inference bugs 2022-09-03 15:22:44 +09:00
Shunsuke Shibayama
618f73f0c0 Unify poly_classes and poly_traits of Context 2022-09-03 12:07:27 +09:00
Shunsuke Shibayama
e1eebb252f Fix constant evaluation methods to return EvalResult 2022-09-03 11:59:18 +09:00
Shunsuke Shibayama
e2bd64ebe5 Move python module definition files 2022-09-03 01:52:23 +09:00
Shunsuke Shibayama
c4bff5d54a Add some const funcs & Remove Evaluator 2022-09-03 01:45:00 +09:00
Shunsuke Shibayama
3550a0e4b5 Add hint.rs in context 2022-09-02 01:20:35 +09:00
Shunsuke Shibayama
66451ad61a Update docs 2022-09-02 01:16:03 +09:00
Shunsuke Shibayama
f71024e9d2 Fix #110 2022-09-01 19:12:26 +09:00
Shunsuke Shibayama
90f057af94 Update mod.rs 2022-09-01 17:50:30 +09:00
Yuna Tomida
afbea9d83c
add forgotten inheritances in builtin initialization 2022-09-01 15:20:20 +09:00
Shunsuke Shibayama
33e762d437 Create a singular object version of get_similar_attr 2022-08-31 14:23:01 +09:00
Shunsuke Shibayama
a8e4658c67 Add importlib, io, socket, sys, time 2022-08-31 14:19:25 +09:00
Shunsuke Shibayama
c9ffceec57 Fix method call bugs 2022-08-31 12:31:51 +09:00
Shunsuke Shibayama
a71704329c Add rec_get_singular_ctx 2022-08-31 11:53:53 +09:00
Shunsuke Shibayama
af08945798 Split initialize.rs 2022-08-31 11:53:32 +09:00
Shunsuke Shibayama
824f85e18c Update tyvar.rs 2022-08-30 21:23:08 +09:00
Shunsuke Shibayama
de7832bf33 Implement variable-length/keyword arguments 2022-08-30 20:31:56 +09:00
Yuna Tomida
95c70f4aed
make debug log easier to see 2022-08-30 10:57:30 +09:00
Shunsuke Shibayama
d634948121 Update the type of log 2022-08-30 05:53:15 +09:00
Shunsuke Shibayama
0a851d83d2 Fix: display the parameter name when a type error is caused 2022-08-30 05:52:27 +09:00
Shunsuke Shibayama
99ffee35b2 Implement access to array/tuple elements 2022-08-29 21:59:17 +09:00
Shunsuke Shibayama
6fd61efc76 Add Tuple1~Tuple8 2022-08-29 14:36:14 +09:00
Shunsuke Shibayama
bdb084c4ed Update initialize.rs 2022-08-29 14:27:06 +09:00
Shunsuke Shibayama
451d94d31b Impl Tuple type checking & code generating 2022-08-29 12:41:14 +09:00
Shunsuke Shibayama
b730383065 Fix a type inference bug for dependent procedural methods 2022-08-29 00:48:52 +09:00
Shunsuke Shibayama
49fb4848a2 Fix minor bugs 
* Fix Lambda parsing bugs
* Fix a bug that is registered as parameters instead of variables
* Fix Lambda formatting
 2022-08-28 10:34:12 +09:00
Shunsuke Shibayama
4232243842 Fix type system bugs 2022-08-28 01:41:36 +09:00
Shunsuke Shibayama
026b891c22 WIP: Improve type inference system 2022-08-27 23:51:35 +09:00
Shunsuke Shibayama
263bf70baf WIP: fix stack overflow bug 2022-08-27 01:31:18 +09:00