Shunsuke Shibayama 53172d5132 fix: declared type instantiation bug		2024-02-07 01:58:39 +09:00
..
initialize	fix: modulo operator bug	2024-02-04 18:11:30 +09:00
compare.rs	fix: subtype check bug	2024-02-04 17:29:34 +09:00
eval.rs	fix: callable object bug	2024-02-02 02:24:43 +09:00
generalize.rs	feat: eval const call/lambda in refinement types	2024-01-29 18:10:26 +09:00
hint.rs	refactor: fix warns	2023-12-29 12:30:41 +09:00
inquire.rs	fix: subtype check bug	2024-02-04 17:29:34 +09:00
instantiate.rs	feat: eval const call/lambda in refinement types	2024-01-29 18:10:26 +09:00
instantiate_spec.rs	fix: declared type instantiation bug	2024-02-07 01:58:39 +09:00
mod.rs	fix: nested module resolution bug	2024-02-01 11:22:20 +09:00
register.rs	fix: nested module bug	2024-01-31 12:11:20 +09:00
test.rs	fix: forward-referenced method inference bug	2023-10-29 21:24:40 +09:00
unify.rs	fix: dependent refinement type bug	2024-01-30 01:06:03 +09:00