msyds/rlp
1
0
Fork 0
Code Issues 4 Pull Requests Actions Packages Projects Releases 2 Wiki Activity

add negExample3

Browse Source
This commit is contained in:
crumbtoo
2023-11-13 19:54:56 -07:00
parent 034f2cba9c
commit 694eaacbbd
1 changed files with 6 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
src/TI.hs
View File

@@ -320,6 +320,12 @@ negExample2 = Program
Prim IntNegP :$ Prim (IntP 3) Prim IntNegP :$ Prim (IntP 3)
] ]
negExample3 :: Program
negExample3 = Program
[ ScDef "main" [] $
"twice" :$ Prim IntNegP :$ Prim (IntP 3)
]
---------------------------------------------------------------------------------- ----------------------------------------------------------------------------------
instance Pretty TiState where instance Pretty TiState where