jbwdevries
0 Followers · 0 Following
  • Joined on 2022-08-20
Repositories
3
 Projects Packages Public Activity Starred Repositories
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
jbwdevries pushed to milner_type_checking at jbwdevries/phasm 2022-09-16 15:40:33 +00:00
6f3d9a5bcc First attempt at ripping out old system
2d0daf4b90 Fixes
7669f3cbca More framework stuff
48e16c38b9 FunctionParam is a class, more framework stuff
7acb2bd8e6 Framework sketch
Compare 5 commits »
jbwdevries merged pull request jbwdevries/phasm#2 2022-08-21 13:39:44 +00:00
Speedup foldl over bytes
jbwdevries pushed to master at jbwdevries/phasm 2022-08-21 13:39:44 +00:00
c02afb05f4 Merge pull request 'Speedup foldl over bytes' (#2) from optimize_fold_bytes_inline_subscript_bytes_call into master
5ad5a9c064 Speedup foldl over bytes
Compare 2 commits »
jbwdevries created pull request jbwdevries/phasm#2 2022-08-21 13:38:31 +00:00
Speedup foldl over bytes
5ad5a9c064 Speedup foldl over bytes