remove FIXME regarding constraints

Per robdockins: I think we can safely ignore the ntConstraints here. They arise from the "well formed" side conditions on types mentioned in the newtype fields.
GaloisInc · Mar 11, 2022 · b488b4c · b488b4c
1 parent c721c7a
commit b488b4c
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/cryptol-saw-core/src/Verifier/SAW/Cryptol.hs b/cryptol-saw-core/src/Verifier/SAW/Cryptol.hs
@@ -1818,7 +1818,6 @@ genNewtypeConstructors sc newtypes env0 =
     newtypeConstr :: Newtype -> C.Expr
     newtypeConstr nt = foldr tFn fn (C.ntParams nt)
       where
-        -- FIXME? What about the `ntConstraints` for the Newtype...?
         paramName = C.asParamName (ntName nt)
         recTy = C.TRec $ ntFields nt
         fn = C.EAbs paramName recTy (C.EVar paramName) -- EAbs Name Type Expr -- ETAbs TParam Expr