jbwdevries

jbwdevries created pull request jbwdevries/phasm#4

2022-12-26 12:21:57 +00:00

Implements a typing system

jbwdevries pushed to type3 at jbwdevries/phasm

2022-12-26 12:20:21 +00:00

4876be77fd Cleanup type comments, old generator file

jbwdevries pushed to type3 at jbwdevries/phasm

2022-12-26 12:11:43 +00:00

1afa3efc31 Reimplements casting and foldl

jbwdevries pushed to type3 at jbwdevries/phasm

2022-12-25 13:30:28 +00:00

a164976f63 Restored importing of function

jbwdevries pushed to type3 at jbwdevries/phasm

2022-12-24 19:00:28 +00:00

2ab574706f Updated main, buffer, added test

jbwdevries pushed to type3 at jbwdevries/phasm

2022-12-24 18:47:19 +00:00

750f8806b6 Work on bytes

jbwdevries pushed to type3 at jbwdevries/phasm

2022-12-24 18:40:14 +00:00

25b5d6fc06 More work on tuples

jbwdevries pushed to type3 at jbwdevries/phasm

2022-12-24 18:25:37 +00:00

17f538d8cc Fixed a missing constraint

e456f55bb0 Type compare, code cleanup, extra test

Compare 2 commits »

jbwdevries pushed to type3 at jbwdevries/phasm

2022-12-24 16:56:52 +00:00

6e0c554cf2 Starting to see how this could work with static arrays

jbwdevries pushed to type3 at jbwdevries/phasm

2022-12-24 16:43:13 +00:00

08b1d78faf Edge case fixes

jbwdevries pushed to type3 at jbwdevries/phasm

2022-12-24 16:38:00 +00:00

1ab6dfd333 Some fixes for static array

jbwdevries pushed to type3 at jbwdevries/phasm

2022-12-24 14:07:29 +00:00

d4d5e9e482 Constraints can now explode into more constraints

jbwdevries pushed to type3 at jbwdevries/phasm

2022-12-18 14:05:48 +00:00

7ce3f0f11c Started on struct constants

d18f1c6956 Re-implemented allocation calculations

Compare 2 commits »

jbwdevries pushed to type3 at jbwdevries/phasm

2022-12-18 13:26:24 +00:00

6d426753c8 Various small fixes

jbwdevries pushed to type3 at jbwdevries/phasm

2022-11-27 13:11:26 +00:00

05e7c356ea Fixes

jbwdevries created branch type3 in jbwdevries/phasm

2022-11-27 11:33:57 +00:00

jbwdevries pushed to type3 at jbwdevries/phasm

2022-11-27 11:33:57 +00:00

a838035e1a Cleanup

30a4cee5af Fixes

3bac625714 Introduced type classes, added debugging info for constraint

9f21d0fd1d More work on type3

b5a28daebf Ripping out Type2 (type_var) system

Compare 10 commits »

jbwdevries pushed to milner_type_checking at jbwdevries/phasm

2022-09-22 07:43:07 +00:00

977c449c3f Removed redundant file

2a6da91eb9 Simplified locations, adds typing tests

4d3c0c6c3c StaticArray with constant index works again

5da45e78c2 More work on StaticArray

4f7608a601 Fix: ModuleConstantDef type annotation was ignored

Compare 13 commits »

jbwdevries created pull request jbwdevries/phasm#3

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

Adds a separte typing system

jbwdevries created branch milner_type_checking in jbwdevries/phasm

2022-09-16 15:40:33 +00:00