From fdaa6805722f69fd946edaad2aec72a83b865f69 Mon Sep 17 00:00:00 2001 From: "Johan B.W. de Vries" Date: Wed, 21 May 2025 19:01:15 +0200 Subject: [PATCH] Cleanup todo --- TODO.md | 6 +----- phasm/type3/entry.py | 1 - 2 files changed, 1 insertion(+), 6 deletions(-) diff --git a/TODO.md b/TODO.md index 81cd2db..d2d002f 100644 --- a/TODO.md +++ b/TODO.md @@ -22,14 +22,10 @@ - Surely the compiler should build data blocks - Also put the struct.pack constants in TYPE_INFO_MAP - Make prelude more an actual thing - - Merge in compiler.INSTANCES - Make it less build in - have a environment class of some kind + - instance_type_class should probably be part of this environment - Implemented Bounded: https://hackage.haskell.org/package/base-4.21.0.0/docs/Prelude.html#t:Bounded - Try to implement the min and max functions using select - Filter out methods that aren't used; other the other way around (easier?) only add __ methods when needed -- Move foldr into type class methods - - Functions don't seem to be a thing on typing level yet? - - Related to the FIXME in phasm_type3? - - Type constuctor should also be able to constuct placeholders - somehow. - Read https://bytecodealliance.org/articles/multi-value-all-the-wasm diff --git a/phasm/type3/entry.py b/phasm/type3/entry.py index 818ff53..6819ecb 100644 --- a/phasm/type3/entry.py +++ b/phasm/type3/entry.py @@ -112,7 +112,6 @@ def phasm_type3(inp: ourlang.Module, verbose: bool = False) -> None: if error_list: raise Type3Exception(error_list) - # FIXME: This doesn't work with e.g. `:: [a] -> a`, as the placeholder is inside a type for plh, typ in placeholder_substitutes.items(): for expr in plh.update_on_substitution: expr.type3 = typ