suzanne.soy/racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

added note committing teaching language metadata to always being three lines

Browse Source
This commit is contained in:
Robby Findler 2010-12-25 15:52:46 -06:00
parent dd531dde9e
commit 0a3c70db91
1 changed files with 11 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

11
collects/scribblings/drracket/languages.scrbl
View File

@ -341,6 +341,17 @@ A program in the teaching languages should be tested using the check forms ---
Tests can be disabled if necessary, see @secref["menu:racket"] for details. Tests can be disabled if necessary, see @secref["menu:racket"] for details.
One final difference between these teaching languages and other languages is the way
they save files. That is, when DrRacket saves a file and the current language
is one of these five teaching languages, it inserts three lines of metadata that
record the precise language (including any options set) and the teachpacks.
This has two benefits: opening the file later restores the settings and the metadata
is formulated in such a way as to be executable code so running @exec{racket} or
@exec{gracket} on the file in a shell will run the program in the appropriate language.
This meta data always consists of exactly three lines, and so can be stripped out
by three calls to @racket[read-line].
@; ---------------------------------------- @; ----------------------------------------
@section[#:tag "experimental-langs"]{Other Experimental Languages} @section[#:tag "experimental-langs"]{Other Experimental Languages}