update

DEADJOE

+
+*** These modified files were found in JOE when it aborted on Tue Mar  8 11:29:53 2022
+*** JOE was aborted because the terminal closed
+
+*** Fichier '(Sans nom)'
+/homes/c21girot/.gitconfig
+
+*** Fichier '/homes/c21girot/.gitconfig'
+eci est le fichier de configuration personnel de Git.
+[user]
+# Veuillez adapter et décommenter les lignes suivantes :
+#	name = Claire GIROT--PERSON
+#	email = c21girot@fl-tp-br-428.imta.fr
+
+*** Fichier '* Startup Log *'
+Traitement de '/etc/joe/editorrc'...Traitement de '/etc/joe/ftyperc'...Finished processing /etc/joe/ftyperc
+Finished processing /etc/joe/editorrc

pfx/basic/eval.ml

@@ -29,7 +29,7 @@ let step state =
   | Rem::_, [] -> Error("Nothing to divide",state)
   | Rem::_, _::0::_ -> Error("Forbidden operation",state)
   (* Valid configurations *)
-  | (Push x)::t, stack -> Ok (q, x::stack)
+  | (Push x)::q, stack -> Ok (q, x::stack)
   | Pop::q, x::stack -> Ok (q, stack)
   | Swap::q, x::y::stack -> Ok (q, y::x::stack)
   | Add::q, x::y::stack -> Ok (q, (x + y)::stack)