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
375 commits 42 branches 95 tags 21 MiB
Commit graph

25 commits

Author SHA1 Message Date
Shunsuke Shibayama
263bf70baf WIP: fix stack overflow bug 2022-08-27 01:31:18 +09:00
Shunsuke Shibayama
baab3f1f90 WIP: Restructuring Context 2022-08-26 23:22:45 +09:00
Shunsuke Shibayama
6727b00054 Split custom types into Class and Trait 2022-08-26 17:24:55 +09:00
Shunsuke Shibayama
400c173f38 Move all constructors of Type to constructors 2022-08-26 12:39:35 +09:00
Shunsuke Shibayama
5b5234f477 Create erg_type crate 2022-08-26 11:52:11 +09:00
Shunsuke Shibayama
b2322c7fd7 Split ty module into several modules 2022-08-26 09:27:51 +09:00
Shunsuke Shibayama
c4986248f0 Divide Context into some modules by functions 2022-08-26 08:36:25 +09:00
Shunsuke Shibayama
f78c89665b WIP: fix type checker bugs 
Instantiate each time when comparing quantified types
 2022-08-25 02:23:41 +09:00
Shunsuke Shibayama
7633618e76 WIP 2022-08-24 17:23:48 +09:00
Shunsuke Shibayama
45945ae9b4 WIP: type checking for records 2022-08-23 14:48:56 +09:00
Shunsuke Shibayama
20aaf6a53e Impl: variable visibility 2022-08-22 23:15:07 +09:00
Shunsuke Shibayama
a6f9e89ffc Parser: impl Record 2022-08-22 17:21:43 +09:00
Shunsuke Shibayama
e54b627507 Fix type-checker bugs 2022-08-22 02:57:52 +09:00
Shunsuke Shibayama
4ba1f4f59a Remove ConstObj (merge into ValueObj) 2022-08-20 07:38:33 +09:00
Shunsuke Shibayama
791107cdd3 Fixed a type inference bugs 
Pass source code line numbers instead of error numbers as a temporary hack
 2022-08-19 01:33:05 +09:00
ShantanuKumar
4e7be1400b cargo fmt 2022-08-17 11:21:09 +02:00
Shunsuke Shibayama
4e91cb81cb
Merge branch 'main' into clippy 2022-08-17 01:26:00 +09:00
Shunsuke Shibayama
8028ed8431 Update version (v0.2.3) 
Many type inference bugs have been fixed in this version.

Other changes:
Fix: REPL server starts for file input
Improve: Error messages now show operators as human-readable
 2022-08-16 23:27:09 +09:00
Félix Saparelli
8efffbfbc0
Apply formatting 2022-08-15 17:44:15 +12:00
Félix Saparelli
7d3116f546
Apply trivial clippy fixes 2022-08-15 17:37:20 +12:00
Shunsuke Shibayama
6d3dda8129 WIP: Impl Context::monomorphise 
Impled: TyVarContext::sort_bounds
 2022-08-15 03:39:45 +09:00
Shunsuke Shibayama
1c3a3a7d0b Cargo fmt 2022-08-14 01:45:15 +09:00
Shunsuke Shibayama
30f6e98715 Fix polymorphic type infering bugs 
Delete: DefaultParamSignarure
Add: some convinient APIs (py, p!)

Inferences can now be made that take into account the variance of polymorphic types
 2022-08-14 00:45:55 +09:00
Shunsuke Shibayama
6726d93f65 Do cargo fmt 2022-08-13 07:02:07 +09:00
Shunsuke Shibayama
f9d91aa38e Organize crates 2022-08-13 06:38:12 +09:00
Renamed from src/erg_compiler/eval.rs (Browse further)