Conlang

j/Conlang

Fork 0

Commit Graph

Author	SHA1	Message	Date
John	4096442f75	cl-typeck: Turn ref into a linked list. This should be fine, since the only thing you can do with a ref is dereference it.	2024-07-26 02:14:41 -05:00
John	fe2b816f27	cl-typeck: Crate-spanning refactor part 2 - Removed all unreferenced files - Reimplemented missing/nonfunctional behavior - Added module documentation for most things - TODO: item-level docs on Entry(Mut) - Reparented the stages of Table population into the `stage` module. - TODO: rewrite type inference to use only the tools provided by Table.	2024-07-25 05:55:11 -05:00
John	e19127facc	cl-typeck: Crate-spanning refactor TODO: remove all unreferenced files TODO: Finish resolving statically known types of values TODO: Type inference	2024-07-24 18:22:42 -05:00

Author

SHA1

Message

Date

John

4096442f75

cl-typeck: Turn ref into a linked list.

This should be fine, since the only thing you can do with a ref is dereference it.

2024-07-26 02:14:41 -05:00

John

fe2b816f27

cl-typeck: Crate-spanning refactor part 2

- Removed all unreferenced files
- Reimplemented missing/nonfunctional behavior
- Added module documentation for most things
  - TODO: item-level docs on Entry(Mut)
- Reparented the stages of Table population into the `stage` module.
  - TODO: rewrite type inference to use only the tools provided by Table.

2024-07-25 05:55:11 -05:00

John

e19127facc

cl-typeck: Crate-spanning refactor

TODO: remove all unreferenced files
TODO: Finish resolving statically known types of values
TODO: Type inference

2024-07-24 18:22:42 -05:00

3 Commits