From 1b4bcd1e2c73b8ffcab93c4447322d01934c76ec Mon Sep 17 00:00:00 2001 From: Asumu Takikawa Date: Tue, 26 Nov 2013 01:06:44 -0500 Subject: [PATCH] Convert readline to Racket Also lighten package dependencies by removing scheme-lib and compatibility-lib. --- pkgs/readline-pkgs/readline-lib/info.rkt | 4 +--- pkgs/readline-pkgs/readline-lib/readline/main.rkt | 2 +- pkgs/readline-pkgs/readline-lib/readline/mzrl.rkt | 4 ++-- pkgs/readline-pkgs/readline-lib/readline/readline.rkt | 4 ++-- pkgs/readline-pkgs/readline-lib/readline/rep-start.rkt | 2 +- pkgs/readline-pkgs/readline-lib/readline/rep.rkt | 4 ++-- 6 files changed, 9 insertions(+), 11 deletions(-) diff --git a/pkgs/readline-pkgs/readline-lib/info.rkt b/pkgs/readline-pkgs/readline-lib/info.rkt index e6786b0178..821d3aa5c1 100644 --- a/pkgs/readline-pkgs/readline-lib/info.rkt +++ b/pkgs/readline-pkgs/readline-lib/info.rkt @@ -1,9 +1,7 @@ #lang info (define collection 'multi) -(define deps '("scheme-lib" - "base" - "compatibility-lib")) +(define deps '("base")) (define pkg-desc "implementation (no documentation) part of \"readline\"") diff --git a/pkgs/readline-pkgs/readline-lib/readline/main.rkt b/pkgs/readline-pkgs/readline-lib/readline/main.rkt index fd2b15978e..f10d51ea61 100644 --- a/pkgs/readline-pkgs/readline-lib/readline/main.rkt +++ b/pkgs/readline-pkgs/readline-lib/readline/main.rkt @@ -1,4 +1,4 @@ -#lang scheme +#lang racket (require "rep.rkt") (provide (all-from-out "rep.rkt")) diff --git a/pkgs/readline-pkgs/readline-lib/readline/mzrl.rkt b/pkgs/readline-pkgs/readline-lib/readline/mzrl.rkt index 5a649a2555..e4840550ef 100644 --- a/pkgs/readline-pkgs/readline-lib/readline/mzrl.rkt +++ b/pkgs/readline-pkgs/readline-lib/readline/mzrl.rkt @@ -1,6 +1,6 @@ -#lang scheme/base +#lang racket/base -(require mzlib/foreign (only-in '#%foreign ffi-obj)) (unsafe!) +(require ffi/unsafe (only-in '#%foreign ffi-obj)) (provide readline readline-bytes add-history add-history-bytes history-length history-get history-delete diff --git a/pkgs/readline-pkgs/readline-lib/readline/readline.rkt b/pkgs/readline-pkgs/readline-lib/readline/readline.rkt index 7fb2e6c92c..b163e3c1ef 100644 --- a/pkgs/readline-pkgs/readline-lib/readline/readline.rkt +++ b/pkgs/readline-pkgs/readline-lib/readline/readline.rkt @@ -1,3 +1,3 @@ -(module readline mzscheme +(module readline racket/base (require "mzrl.rkt") - (provide (all-from "mzrl.rkt"))) + (provide (all-from-out "mzrl.rkt"))) diff --git a/pkgs/readline-pkgs/readline-lib/readline/rep-start.rkt b/pkgs/readline-pkgs/readline-lib/readline/rep-start.rkt index 1bc6ba2f4a..b9b318606c 100644 --- a/pkgs/readline-pkgs/readline-lib/readline/rep-start.rkt +++ b/pkgs/readline-pkgs/readline-lib/readline/rep-start.rkt @@ -1,7 +1,7 @@ ;; This module initializes readline unconditionally, "rep.rkt" uses it if we're ;; using a `terminal-port?' for input. -#lang scheme/base +#lang racket/base (require "pread.rkt") diff --git a/pkgs/readline-pkgs/readline-lib/readline/rep.rkt b/pkgs/readline-pkgs/readline-lib/readline/rep.rkt index e915b320e0..7e1b23eab0 100644 --- a/pkgs/readline-pkgs/readline-lib/readline/rep.rkt +++ b/pkgs/readline-pkgs/readline-lib/readline/rep.rkt @@ -1,7 +1,7 @@ ;; This is a wrapper around "rep-start.rkt" -- use it if we're using a terminal -#lang scheme/base +#lang racket/base -(require scheme/runtime-path scheme/file) +(require racket/runtime-path racket/file) (define-runtime-path rep-start "rep-start.rkt")