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