Web Images Videos Maps News Shopping Gmail more »
Recently Visited Groups | Help | Sign in
Google Groups Home
Message from discussion Whassup with MCL?
The group you are posting to is a Usenet group. Messages posted to this group will make your email address visible to anyone on the Internet.
Your reply message has not been sent.
Your post was successful
 
From:
To:
Cc:
Followup To:
Add Cc | Add Followup-to | Edit Subject
Subject:
Validation:
For verification purposes please type the characters you see in the picture below or the numbers you hear by clicking the accessibility icon. Listen and type the numbers you hear
 
John DeSoi  
View profile  
 More options Nov 5 2004, 12:34 am
Newsgroups: comp.lang.lisp
From: John DeSoi <j...@icx.net>
Date: Fri, 05 Nov 2004 05:34:00 GMT
Subject: Re: Whassup with MCL?
Hi Kenny,

Kenneth Tilton wrote:
> Well, setting ccl::*do-unix-hack* does open files nicely, but nothing
> more: a "Save as..." on the same file actually flips back to one-line
> mode. And no improvement is seen on the load of a file via (load... ).

Below is a hack I put at the top of my OpenMCL init file to allow it to
read files with Mac line endings. I have not tested it, but I think it
should do the same for MCL with Unix line endings.

Best,

John DeSoi, Ph.D.

#|

Note: Do not put any semicolon comments before this line.
The next forms define a semicolon reader for both #\linefeed
and #\return line endings so that OpenMCL can read MCL input
files (Mac line endings). Should also work with with MCL for unix files.

|#

(defun semicolon-reader (stream char)
   (declare (ignore char))
   (do ((c #\null)) ((or (char= c #\linefeed) (char= c #\return)))
     (setf c (read-char stream nil #\newline t)))
   (values))

(set-macro-character #\; #'semicolon-reader)


    Reply to author    Forward  
You must Sign in before you can post messages.
To post a message you must first join this group.
Please update your nickname on the subscription settings page before posting.
You do not have the permission required to post.

Create a group - Google Groups - Google Home - Terms of Service - Privacy Policy
©2009 Google