[elpa] externals/poke e71f9cea1a 26/76: pkl: immutable declarations in compiler bootstrapping

[ELPA Syncer]

branch: externals/poke
commit e71f9cea1af218bf84daff81339366d9d9c66df4
Author: Jose E. Marchesi <jose.marchesi@oracle.com>
Commit: Jose E. Marchesi <jose.marchesi@oracle.com>

    pkl: immutable declarations in compiler bootstrapping
    
    2022-03-14  Jose E. Marchesi  <jemarch@gnu.org>
    
            * libpoke/pkl-env.c (_decl): Do not allow re-defining immutable
            declarations.
            * libpoke/pkl-rt.pk: Mark declarations as immutable.
            * libpoke/pkl-tab.y: Allow IMMUTABLE declarations at the
            top-level.
            * libpoke/pkl-ast.c (pkl_ast_make_decl): Initialize immutable_p to
            0.
            (pkl_ast_print_1): Print immutable_p.
            * libpoke/pkl-ast.h (PKL_AST_DECL_IMMUTABLE_P): Define.
            (struct pkl_ast_decl): New field `immutable_p'.
            * libpoke/pkl-tab.y: New token IMMUTABLE.
            * libpoke/pkl-lex.l: Handle __IMMUTABLE__.
            * testsuite/poke.pkl/immutable-func-1.pk: Likewise.
            * testsuite/poke.pkl/immutable-diag-2.pk: Likewise.
            * testsuite/poke.pkl/immutable-diag-1.pk: New test.
            * testsuite/Makefile.am (EXTRA_DIST): Add new tests.
---
 poke.el | 14 ++++++++------
 1 file changed, 8 insertions(+), 6 deletions(-)

diff --git a/poke.el b/poke.el
index 5d2ccd74ef..f5a6028adb 100644
--- a/poke.el
+++ b/poke.el
@@ -120,7 +120,7 @@
     (setq poke-poked-process
           (make-process :name "poked"
                         :buffer "*poked*"
-                        :command (list poke-poked-program)))
+                        :command (list poke-poked-program "--debug")))
     (set-process-query-on-exit-flag poke-poked-process nil)))
 
 ;;;; pokelet protocol
@@ -652,7 +652,7 @@ fun plet_elval = (string s) void:
 *poke-ios* buffer."
   (interactive)
   (let ((ios-id (tabulated-list-get-id)))
-    (poke-code-send "set_ios (" + (number-to-string ios-id) ")")))
+    (poke-code-send (concat "set_ios (" (number-to-string ios-id) ");"))))
 
 (defun poke-ios-open (ios iohandler ioflags iosize)
   (unless (assoc ios poke-ios-alist)
@@ -672,14 +672,18 @@ fun plet_elval = (string s) void:
 
 (defun poke-ios-set (ios)
   ;; Select the right line in *poke-ios*.
+  ;; XXX
   ;; Change prompt in *poke-repl*.
   (let ((ios-data (assoc ios poke-ios-alist)))
     (when ios-data
-      (poke-repl-set-prompt (concat "#!" (cadr ios-data) "!# ")))))
+      (poke-repl-set-prompt (concat "#!" (cadr ios-data) "!# "))))
+  ;; Update VU
+  (poke-vu-refresh))
 
 (defvar poke-ios-mode-map
   (let ((map (make-sparse-keymap)))
     (define-key map [return] 'poke-ios-set-ios)
+    (define-key map (kbd "RET") 'poke-ios-set-ios)
     map)
   "Local keymap for `poke-ios-mode' buffers.")
 
@@ -733,7 +737,7 @@ fun plet_elval = (string s) void:
 fun poke_el_banner = void:
 {
   /* XXX include libpoke version.  */
-  print \"Welcome to GNU poke.\\n\";
+  printf (\"Welcome to GNU poke %s.\\n\", poked_libpoke_version);
 }
 
 fun poke_el_ios_open = (int<32> ios) void:
@@ -797,11 +801,9 @@ fun quit = void:
   (poke-code-send poke-pk)
   (poke-repl)
   (poke-vu)
-  (poke-ios)
   (delete-other-windows)
   (switch-to-buffer "*poke-vu*")
   (switch-to-buffer-other-window "*poke-out*")
-  (switch-to-buffer-other-window "*poke-ios*")
   (switch-to-buffer-other-window "*poke-repl*"))
 
 (defun poke-exit ()