From 694eaacbbd86072f8f0d8004ac0fb25d09bc6b36 Mon Sep 17 00:00:00 2001
From: crumbtoo <crumb@disroot.org>
Date: Mon, 13 Nov 2023 19:54:56 -0700
Subject: [PATCH] add negExample3

---
 src/TI.hs | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/src/TI.hs b/src/TI.hs
index e1f39aa..5998f38 100644
--- a/src/TI.hs
+++ b/src/TI.hs
@@ -320,6 +320,12 @@ negExample2 = Program
         Prim IntNegP :$ Prim (IntP 3)
     ]
 
+negExample3 :: Program
+negExample3 = Program
+    [ ScDef "main" [] $
+        "twice" :$ Prim IntNegP :$ Prim (IntP 3)
+    ]
+
 ----------------------------------------------------------------------------------
 
 instance Pretty TiState where