Adds a separte typing system #3

jbwdevries · 2022-09-16T15:46:36Z

jbwdevries commented

2022-09-16 15:46:36 +00:00

Prior to this MR, a minimal type system was in place in the parser.

This had its limits. Notably, when coding in the foldl expression,
we had to hardcode the type.

In this MR, we attempt to build something almost, but not quite, entirely
unlike a Hindley-Milner typing system[1].

This also lets us get rid of all the ConstantUIn32 etc. classes.

[1] https://en.wikipedia.org/wiki/Hindley%E2%80%93Milner_type_system

Prior to this MR, a minimal type system was in place in the parser. This had its limits. Notably, when coding in the foldl expression, we had to hardcode the type. In this MR, we attempt to build something almost, but not quite, entirely unlike a Hindley-Milner typing system[1]. This also lets us get rid of all the ConstantUIn32 etc. classes. [1] https://en.wikipedia.org/wiki/Hindley%E2%80%93Milner_type_system

jbwdevries added 5 commits 2022-09-16 15:46:37 +00:00

Framework sketch 7acb2bd8e6

FunctionParam is a class, more framework stuff 48e16c38b9

More framework stuff 7669f3cbca

Fixes 2d0daf4b90

First attempt at ripping out old system 6f3d9a5bcc

This breaks test_addition[u32], which is a good thing to chase next.

jbwdevries self-assigned this 2022-09-16 15:46:45 +00:00

jbwdevries added 13 commits 2022-09-22 07:43:08 +00:00

Improved unification b2816164f9

Worked on floats 4b46483895

Restored function calling 58f74d3e1d

Work on ripping out old type system 564f00a419

Ripping out old type system. Will have to reimplement 07c0688d1b

bytes, static array, tuple and struct.

Large cleanup to the tests 906b15c93c

They are now better organized and easier to extend, I hope.

All primitive tests work again 299551db1b

First work on restoring StaticArray 0097ce782d

Removed the separate ModuleConstantRef since you can tell by the variable
property of VariableReference. We'll also add local variables there later
on.

Fix: ModuleConstantDef type annotation was ignored 4f7608a601

More work on StaticArray 5da45e78c2

Also naming fix, buildin => builtin.

Removes the use of ConstantStaticArray, as this was context dependent

StaticArray with constant index works again 4d3c0c6c3c

Also, fix issue with f64 being parsed as f32

Simplified locations, adds typing tests 2a6da91eb9

Removed redundant file 977c449c3f

jbwdevries commented

2023-01-07 15:31:10 +00:00

Replaced by #4

jbwdevries closed this pull request

2023-01-07 15:31:10 +00:00

jbwdevries deleted branch milner_type_checking

2023-01-07 15:31:20 +00:00

Pull request closed

This pull request cannot be reopened because the branch was deleted.

Sign in to join this conversation.

1 Participants

Notifications

Due Date

No due date set.

Dependencies

No dependencies set.

Reference: jbwdevries/phasm#3