Create issues for a few FIXMEs (#7257)

Author: zliu41

plutus-core/plutus-core/test/CostModelSafety/Spec.hs

@@ -199,7 +199,8 @@ genArgs semvar bn = case meaning of
     meaning :: BuiltinMeaning Term (CostingPart DefaultUni DefaultFun)
     meaning = toBuiltinMeaning semvar bn
 
--- FIXME: this doesn't work in some cases: for example if we have a costing
+-- FIXME (https://github.com/IntersectMBO/plutus-private/issues/1733):
+-- this doesn't work in some cases: for example if we have a costing
 -- function 10-2*size we'll only test it on for a small value of size (0 or 1)
 -- so we won't spot that it can give you a negative result.  We do want to check
 -- small sizes, but we should also check larger ones.
@@ -247,4 +248,3 @@ test_costModelSafety =
             ]
   in testGroup "Cost model safety test" $
      map mkTest $ enumerate @(BuiltinSemanticsVariant DefaultFun)
-

plutus-core/plutus-ir/src/PlutusIR/Error.hs

@@ -52,7 +52,8 @@ instance (PLC.PrettyUni uni, Pretty ann) =>
 instance (PLC.PrettyUni uni, Pretty fun, Pretty ann) => Show (Error uni fun ann) where
     show = show . PP.pretty
 
--- FIXME: we get rid of this when our TestLib stops using rethrow
+-- FIXME (https://github.com/IntersectMBO/plutus-private/issues/1732): we get rid of this
+-- when our TestLib stops using rethrow
 deriving anyclass instance
     (PLC.ThrowableBuiltins uni fun, PP.Pretty ann, Typeable ann) => Exception (Error uni fun ann)
 

plutus-ledger-api/src/PlutusLedgerApi/Common/Eval.hs

@@ -191,7 +191,7 @@ mkDynEvaluationContext ll toCaser semVars toSemVar newCMP = do
     machPars <- mkMachineVariantParametersFor semVars newCMP
     pure $ EvaluationContext ll toCaser toSemVar machPars
 
--- FIXME: remove this function
+-- FIXME (https://github.com/IntersectMBO/plutus-private/issues/1726): remove this function
 assertWellFormedCostModelParams :: MonadError CostModelApplyError m => Plutus.CostModelParams -> m ()
 assertWellFormedCostModelParams = void . Plutus.applyCostModelParams Plutus.defaultCekCostModelForTesting
 

plutus-tx-plugin/test/Strictness/Spec.hs

@@ -21,20 +21,23 @@ tests =
       , goldenPirReadable "lambda-default" lambdaDefault
       , goldenUPlcReadable "lambda-default" lambdaDefault
       , -- FIXME: This should not crash, but it currently does.
+        -- https://github.com/IntersectMBO/plutus-private/issues/1728
         goldenEvalCekCatchBudget "lambda-nonstrict" $ lambdaNonStrict `unsafeApplyCode` bot
       , goldenPirReadable "lambda-nonstrict" lambdaNonStrict
       , goldenUPlcReadable "lambda-nonstrict" lambdaNonStrict
       , goldenEvalCekCatchBudget "lambda-strict" $ lambdaStrict `unsafeApplyCode` bot
       , goldenPirReadable "lambda-strict" lambdaStrict
       , goldenUPlcReadable "lambda-strict" lambdaStrict
       , -- FIXME: This should crash (because the `Strict` extension is on), but it currently doesn't.
+        -- https://github.com/IntersectMBO/plutus-private/issues/1728
         goldenEvalCekCatchBudget "let-default" $ letDefault `unsafeApplyCode` one
       , goldenPirReadable "let-default" letDefault
       , goldenUPlcReadable "let-default" letDefault
       , goldenEvalCekCatchBudget "let-nonstrict" $ letNonStrict `unsafeApplyCode` one
       , goldenPirReadable "let-nonstrict" letNonStrict
       , goldenUPlcReadable "let-nonstrict" letNonStrict
       , -- FIXME: This should crash, but it currently doesn't.
+        -- https://github.com/IntersectMBO/plutus-private/issues/1728
         goldenEvalCekCatchBudget "let-strict" $ letStrict `unsafeApplyCode` one
       , goldenPirReadable "let-strict" letStrict
       , goldenUPlcReadable "let-strict" letStrict

plutus-tx/src/PlutusTx/Prelude.hs

@@ -233,7 +233,7 @@ modulo :: Integer -> Integer -> Integer
 modulo = Builtins.modInteger
 {-# INLINEABLE modulo #-}
 
--- | FIXME
+-- | FIXME (https://github.com/IntersectMBO/plutus-private/issues/1729)
 expMod :: Integer -> Integer -> Integer -> Integer
 expMod = Builtins.expModInteger
 {-# INLINEABLE expMod #-}