New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

REPL renamed to CONSOLE #484

Merged

draegtun merged 1 commit into metaeducation:master from draegtun:repl_to_console_rename

Apr 29, 2017

draegtun commented Apr 29, 2017 •

edited

Loading

This PR changes all (relevant) references of REPL to CONSOLE.

Some pertinent info:

HOST-CONSOLE & host-console.r are the new function! and filenames used.
system/console replaces system/repl
console! replaces repl! object.
%console-skin.reb is new name for skin file (%repl-skin.reb is defunct).

So %console-skin.reb must end in a console! object for it skin the console:

    Rebol []
    
    make console! [
        prompt: ">>> "
        result: "=== "
    ]

The REPL is dead. Long live the CONSOLE :)


          REPL renamed to CONSOLE

f314e4f

draegtun merged commit 00def28 into metaeducation:master

draegtun deleted the repl_to_console_rename branch

April 29, 2017 16:16

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet