From 9aa8d5a5d3c04b207daf73374aedd472b1c38060 Mon Sep 17 00:00:00 2001 From: Zachary Snow Date: Wed, 8 Jul 2020 19:39:04 -0600 Subject: [PATCH] remove outdated TODOs --- src/Convert/ParamType.hs | 2 -- src/Convert/TypeOf.hs | 5 ----- 2 files changed, 7 deletions(-) diff --git a/src/Convert/ParamType.hs b/src/Convert/ParamType.hs index 2f75b10..d565f4f 100644 --- a/src/Convert/ParamType.hs +++ b/src/Convert/ParamType.hs @@ -235,8 +235,6 @@ exprToType (Bit e i) = exprToType _ = Nothing -- checks where a type is sufficiently resolved to be substituted --- TODO: If a type parameter contains an expression, that expression should be --- substituted into the new module, or created as a new parameter. isSimpleType :: Type -> Bool isSimpleType typ = (not $ typeHasQueries typ) && diff --git a/src/Convert/TypeOf.hs b/src/Convert/TypeOf.hs index 42580cf..2422aef 100644 --- a/src/Convert/TypeOf.hs +++ b/src/Convert/TypeOf.hs @@ -2,11 +2,6 @@ - Author: Zachary Snow - - Conversion for the `type` operator - - - - TODO: This conversion only supports the most basic expressions so far. We can - - add support for range and bit accesses, struct fields, and perhaps even - - arithmetic operations. Bits and pieces of similar logic exist in other - - conversion. -} module Convert.TypeOf (convert) where