aboutsummaryrefslogtreecommitdiff
path: root/src/type/conversion.rs
AgeCommit message (Expand)Author
2 daysfix: added missing conversions and generic inferring for coproductsJoel Kronqvist
6 daysfix: refined [x] to x conversion, think (not true) and (vector 1)Joel Kronqvist
7 daysrefactor: change conversions to use a stricter function with deduplicated codeJoel Kronqvist
8 daysfix: changed type of (() T) from (T ...) to (Vector (T ...))Joel Kronqvist
9 daysfix: conversions between vectors, they were needed for some functions, but no...Joel Kronqvist
9 daysfeat: type conversion from (Vec/Quote X) -> X and add vec/quote to rest patte...Joel Kronqvist
10 daysfix: made conversion work according to updated tests:Joel Kronqvist
10 daystest: stricter generic checking tests added for Type::aka and Type::into_typeJoel Kronqvist
10 daysfeat: parsing of new types (T, (int ...), (int bool)) etc. also fixed bug in ...Joel Kronqvist
12 daysfeat: generic match arms, mostly for functions I guess?Joel Kronqvist
2025-08-10Added tests for functionsJoel Kronqvist
2025-08-10Added into_type and used it to implement implicit conversions in type checkingJoel Kronqvist
2025-08-10Implemented aka. Changed Nil:st type to NilType from an empty list.Joel Kronqvist
2025-08-10Added tests for conversions. Excluded emacs-files in .gitignore.Joel Kronqvist
generated by cgit v1.2.3 (git 2.25.1) at 2025-08-24 22:50:40 +0000