Add simple force-delay tests + clean-up #5849
Conversation
Signed-off-by: Ana Pantilie <ana.pantilie95@gmail.com>
Signed-off-by: Ana Pantilie <ana.pantilie95@gmail.com>
Signed-off-by: Ana Pantilie <ana.pantilie95@gmail.com>
| @@ -227,6 +227,18 @@ multiApp = runQuote $ do | |||
| app = mkIterAppNoAnn lam [mkConstant @Integer () 1, mkConstant @Integer () 2, mkConstant @Integer () 3] | |||
| pure app | |||
|
|
|||
| forceDelayNoApps :: Term Name PLC.DefaultUni PLC.DefaultFun () | |||
There was a problem hiding this comment.
btw you can write these with input files that have program syntax in them. That can be easier for simple programs like this! I'm not sure why this file has so many test cases defined by explicitly constructing ASTs...
There was a problem hiding this comment.
Oh thanks for the tip! I can't seem to find any example, though, could you share one?
There was a problem hiding this comment.
Hmm, weird, there just aren't any for UPLC? Not sure why. But look at e.g. PlutusIR.Transform.Beta.Test
There was a problem hiding this comment.
Yeah UPLC tests have always been done this way. The lack of types makes it easy to construct terms in Haskell. I find it at least as easy as writing UPLC by hand.
|
Forgot to mark this as ready for review. I tested the simple I also addressed some of the comments I got on my PRs after they were merged. |
ana-pantilie
changed the title
Pre-submit checklist: