Hoist ChooseList and MkCons synonyms

Plutonomicon · Jan 7, 2022 · c1971eb · c1971eb
1 parent ef0ea82
commit c1971eb
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/Plutarch/Builtin.hs b/Plutarch/Builtin.hs
@@ -70,13 +70,13 @@ ptailBuiltin :: Term s (PBuiltinList a :--> PBuiltinList a)
 ptailBuiltin = phoistAcyclic $ pforce $ punsafeBuiltin PLC.TailList
 
 pchooseListBuiltin :: Term s (PBuiltinList a :--> b :--> b :--> b)
-pchooseListBuiltin = pforce $ pforce $ punsafeBuiltin PLC.ChooseList
+pchooseListBuiltin = phoistAcyclic $ pforce $ pforce $ punsafeBuiltin PLC.ChooseList
 
 pnullBuiltin :: Term s (PBuiltinList a :--> PBool)
 pnullBuiltin = phoistAcyclic $ pforce $ punsafeBuiltin PLC.NullList
 
 pconsBuiltin :: Term s (a :--> PBuiltinList a :--> PBuiltinList a)
-pconsBuiltin = pforce $ punsafeBuiltin PLC.MkCons
+pconsBuiltin = phoistAcyclic $ pforce $ punsafeBuiltin PLC.MkCons
 
 --------------------------------------------------------------------------------