change license to AGPL-3.0-or-later
[haskell/symantic-parser.git] / test / Golden / Machine / string.dump
index b046b89b8a3e5bfc7c9b779cc7cef94f625c7c74..90f534cf880c15c8b942f7a5ea465ebb665b3416 100644 (file)
@@ -1,6 +1,6 @@
 catchFail
   <try>
-  | push (\u1 -> (\u2 -> (\u3 -> (\u4 -> 'a' : ('b' : ('c' : ('d' : Pure)))))))
+  | push (\u1 -> (\u2 -> (\u3 -> (\u4 -> 'a' : ('b' : ('c' : ('d' : Term)))))))
   | read ('a' ==)
   | lift (\u1 -> (\u2 -> u1 u2))
   | read ('b' ==)