Commit graph

44 commits

Author SHA1 Message Date
Shunsuke Shibayama
14c77e604d Add type_sort() 2022-08-20 09:47:15 +09:00
Shunsuke Shibayama
919bed1d9b Add mutable types 2022-08-20 09:25:21 +09:00
Shunsuke Shibayama
91118d87a6 Update ownercheck.rs 2022-08-20 07:41:06 +09:00
Shunsuke Shibayama
4ba1f4f59a Remove ConstObj (merge into ValueObj) 2022-08-20 07:38:33 +09:00
Shunsuke Shibayama
40d4b6da1d Update Parser: support for length-specified arrays 2022-08-19 19:35:02 +09:00
Shunsuke Shibayama
27379b1e95 Refactor context.rs 2022-08-19 16:37:34 +09:00
Shunsuke Shibayama
190c9ba59f Fix error reporting links 2022-08-19 12:44:37 +09:00
Cai Bingjun
14c6d72f65 Merge branch 'main' of https://github.com/C-BJ/erg 2022-08-19 11:05:27 +08:00
Cai Bingjun
6f3fa64f90 Add error message translation for zh-CN and zh-TW 2022-08-19 11:02:41 +08:00
Shunsuke Shibayama
e36746f964 Fix Array type inference 2022-08-19 10:43:57 +09:00
Shunsuke Shibayama
2a68c89140 Move files 2022-08-19 08:52:10 +09:00
Shunsuke Shibayama
34fc074061 Update version (v0.2.6) 2022-08-19 02:51:29 +09:00
Shunsuke Shibayama
5fb55401e6 Fix match type inference bugs 2022-08-19 02:51:14 +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
Shunsuke Shibayama
1078345a98 Fix to exit correctly when quit() or something is called 2022-08-18 20:27:28 +09:00
Shunsuke Shibayama
3314825fc1 Partial fix #57 2022-08-18 18:40:30 +09:00
Shunsuke Shibayama
53f665355b Fix #56 2022-08-18 18:07:33 +09:00
Shunsuke Shibayama
842fe10353 Add language target: simplified/traditional chinese
Ready for multilingualization. See /doc/EN/dev_guide/i18n_messages.md.
2022-08-18 16:31:35 +09:00
Shunsuke Shibayama
0f5d803a7e Fix print! type 2022-08-18 14:18:52 +09:00
Shunsuke Shibayama
15e7f8c5ad Fix: ParserRunner::eval parsing with default cfgs 2022-08-18 02:59:55 +09:00
Shunsuke Shibayama
fa6979fed2
Merge pull request #42 from ShantanuKumar/cargo-fmt
cargo fmt
2022-08-17 23:41:29 +09:00
Shunsuke Shibayama
974bfc0b86 Delete unnecessary deps 2022-08-17 22:52:17 +09:00
ShantanuKumar
4e7be1400b cargo fmt 2022-08-17 11:21:09 +02:00
Shunsuke Shibayama
7206df97ae Update version (v0.2.5) 2022-08-17 12:38:56 +09:00
Shunsuke Shibayama
ed61bc3181 Stricter type-check 2022-08-17 12:31:28 +09:00
Shunsuke Shibayama
a039f7f672 Update lower.rs 2022-08-17 11:26:20 +09:00
Shunsuke Shibayama
e77d7c081f
Merge branch 'main' into clippy 2022-08-17 01:32:14 +09:00
Shunsuke Shibayama
7a53a8b9d9 Update initialize.rs 2022-08-17 01:31:23 +09:00
Shunsuke Shibayama
4e91cb81cb
Merge branch 'main' into clippy 2022-08-17 01:26:00 +09:00
Shunsuke Shibayama
c79fcd5dbe Update version (v0.2.4)
A crash problem with file input has been fixed.
2022-08-17 00:48:19 +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
4a4b346199 Fix REPL crashing when the input is a statement 2022-08-14 22:38:18 +09:00
Shunsuke Shibayama
beb0965cde Automatically display evaluation results in REPL 2022-08-14 20:51:17 +09:00
Shunsuke Shibayama
1c3a3a7d0b Cargo fmt 2022-08-14 01:45:15 +09:00
Shunsuke Shibayama
e1a5b726aa Update context.rs 2022-08-14 01:17:55 +09:00
Shunsuke Shibayama
63b003aa6e Update version (v0.2.2) 2022-08-14 00:50:24 +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
34e43f8350 Update effectcheck.rs 2022-08-13 22:49:00 +09:00
Shunsuke Shibayama
a3c7adb36c Fix REPL: can put normal exprs even at the top level 2022-08-13 22:48:50 +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