Changeset 14591 in project for chicken


Ignore:
Timestamp:
05/11/09 16:02:04 (11 years ago)
Author:
felix winkelmann
Message:

more types

Location:
chicken/branches/scrutiny
Files:
2 edited

Legend:

Unmodified
Added
Removed
  • chicken/branches/scrutiny/posixunix.scm

    r13368 r14591  
    22052205(define process-run
    22062206  (let ([process-fork process-fork]
    2207         [process-execute process-execute]
    2208         [getenv getenv] )
     2207        [process-execute process-execute])
    22092208    (lambda (f . args)
    22102209      (let ([args (if (pair? args) (car args) #f)]
  • chicken/branches/scrutiny/types.db

    r14564 r14591  
    628628(with-error-output-to-port (procedure with-error-output-to-port (port (procedure () . *)) . *))
    629629
     630;; posix
     631
     632(_exit (procedure _exit (number) noreturn))
     633(call-with-input-pipe (procedure call-with-input-pipe (string (procedure (port) . *) #!optional symbol) . *))
     634(call-with-output-pipe (procedure call-with-output-pipe (string (procedure (port) . *) #!optional symbol) . *))
     635(canonical-path (procedure canonical-path (string) string))
     636(change-directory (procedure change-directory (string) undefined))
     637(change-file-mode (procedure change-file-mode (string number) undefined))
     638(change-file-owner (procedure change-file-owner (string number) undefined))
     639(close-input-pipe (procedure close-input-pipe (port) number))
     640(close-output-pipe (procedure close-output-pipe (port) number))
     641(create-directory (procedure create-directory (string #!optional *) undefined))
     642(create-fifo (procedure create-fifo (string #!optional number) undefined))
     643(create-pipe (procedure create-pipe () number number))
     644(create-session (procedure create-session () number))
     645(create-symbolic-link (procedure create-symbolic-link (string string) undefined))
     646(current-directory (procedure current-directory () string))
     647(current-effective-group-id (procedure current-effective-group-id () number))
     648(current-effective-user-id (procedure current-effective-user-id () number))
     649(current-effective-user-name (procedure current-effective-user-name () string))
     650(current-environment deprecated)
     651(get-environment-variables (procedure get-environment-variables () list))
     652(current-group-id (procedure current-group-id () number))
     653(current-process-id (procedure current-process-id () number))
     654(current-user-id (procedure current-user-id () number))
     655(current-user-name (procedure current-user-name () string))
     656(delete-directory (procedure delete-directory (string) undefined))
     657(directory (procedure directory (string #!optional *) list))
     658(directory? (procedure directory? (string) boolean))
     659(duplicate-fileno (procedure duplicate-fileno (number #!optional number) number))
     660(errno/2big number)
     661(errno/acces number)
     662(errno/again number)
     663(errno/badf number)
     664(errno/busy number)
     665(errno/child number)
     666(errno/deadlk number)
     667(errno/dom number)
     668(errno/exist number)
     669(errno/fault number)
     670(errno/fbig number)
     671(errno/ilseq number)
     672(errno/intr number)
     673(errno/inval number)
     674(errno/io number)
     675(errno/isdir number)
     676(errno/mfile number)
     677(errno/mlink number)
     678(errno/nametoolong number)
     679(errno/nfile number)
     680(errno/nodev number)
     681(errno/noent number)
     682(errno/noexec number)
     683(errno/nolck number)
     684(errno/nomem number)
     685(errno/nospc number)
     686(errno/nosys number)
     687(errno/notdir number)
     688(errno/notempty number)
     689(errno/notty number)
     690(errno/nxio number)
     691(errno/perm number)
     692(errno/pipe number)
     693(errno/range number)
     694(errno/rofs number)
     695(errno/spipe number)
     696(errno/srch number)
     697(errno/wouldblock number)
     698(errno/xdev number)
     699(fcntl/dupfd number)
     700(fcntl/getfd number)
     701(fcntl/getfl number)
     702(fcntl/setfd number)
     703(fcntl/setfl number)
     704(fifo? (procedure fifo? (string) boolean))
     705(file-access-time (procedure file-access-time (string) number))
     706(file-change-time (procedure file-change-time (string) number))
     707(file-close (procedure file-close (number) undefined))
     708(file-control (procedure file-control (number number #!optional number) number))
     709(file-execute-access? (procedure file-execute-access? (string) boolean))
     710(file-link (procedure file-link (string string) undefined))
     711(file-lock (procedure file-lock (string number #!optional *) (struct lock)))
     712(file-lock/blocking (procedure file-lock/blocking (string number #!optional *) (struct lock)))
     713(file-mkstemp (procedure file-mkstemp (string) number string))
     714(file-modification-time (procedure file-modification-time (string) number))
     715(file-open (procedure file-open (string number #!optional number) number))
     716(file-owner (procedure file-owner (string) number))
     717(file-permissions (procedure file-permissions (string) number))
     718(file-position (procedure file-position (string) number))
     719(file-read (procedure file-read (number number #!optional *) * number))
     720(file-read-access? (procedure file-read-access? (string) boolean))
     721(file-select (procedure file-select (list list #!optional number) list list))
     722(file-size (procedure file-size (string) number))
     723(file-stat (procedure file-stat (string #!optional *) vector))
     724(file-test-lock (procedure file-test-lock (port number #!optional *) boolean))
     725(file-truncate (procedure file-truncate (string number) undefined))
     726(file-unlock (procedure file-unlock ((struct lock)) undefined))
     727(file-write (procedure file-write (number * #!optional number) number))
     728(file-write-access? (procedure file-write-access? (string) boolean))
     729(fileno/stderr number)
     730(fileno/stdin number)
     731(fileno/stdout number)
     732(find-files (procedure find-files (string * #!optional (procedure (string string) *) * number) list))
     733(get-groups (procedure get-groups () list))
     734(get-host-name (procedure get-host-name () string))
     735(glob (procedure glob (#!rest string) list))
     736(group-information (procedure group-information (number #!optional *) *))
     737(initialize-groups (procedure initialize-groups (number number) undefined))
     738(local-time->seconds (procedure local-time->seconds (vector) number))
     739(local-timezone-abbreviation (procedure local-timezone-abbreviation () string))
     740(map-file-to-memory (procedure map-file-to-memory (* number number number number #!optional number) (struct mmap)))
     741(map/anonymous number)
     742(map/file number)
     743(map/fixed number)
     744(map/private number)
     745(map/shared number)
     746(memory-mapped-file-pointer (procedure memory-mapped-file-pointer ((struct mmap)) pointer))
     747(memory-mapped-file? (procedure memory-mapped-file? (*) boolean))
     748(open-input-file* (procedure open-input-file* (number #!optional symbol) port))
     749(open-input-pipe (procedure open-input-pipe (string #!optional symbol) port))
     750(open-output-file* (procedure open-output-file* (number #!optional symbol) port))
     751(open-output-pipe (procedure open-output-pipe (string #!optional symbol) port))
     752(open/append number)
     753(open/binary number)
     754(open/creat number)
     755(open/excl number)
     756(open/fsync number)
     757(open/noctty number)
     758(open/nonblock number)
     759(open/rdonly number)
     760(open/rdwr number)
     761(open/read number)
     762(open/sync number)
     763(open/text number)
     764(open/trunc number)
     765(open/write number)
     766(open/wronly number)
     767(parent-process-id (procedure parent-process-id () number))
     768(perm/irgrp number)
     769(perm/iroth number)
     770(perm/irusr number)
     771(perm/irwxg number)
     772(perm/irwxo number)
     773(perm/irwxu number)
     774(perm/isgid number)
     775(perm/isuid number)
     776(perm/isvtx number)
     777(perm/iwgrp number)
     778(perm/iwoth number)
     779(perm/iwusr number)
     780(perm/ixgrp number)
     781(perm/ixoth number)
     782(perm/ixusr number)
     783(pipe/buf number)
     784(port->fileno (procedure port->fileno (port) number))
     785(process (procedure process (string #!optional list list) port port number))
     786(process* (procedure process* (string #!optional list list) port port number *))
     787(process-execute (procedure process-execute (string #!optional list list) noreturn))
     788(process-fork (procedure process-fork (#!optional (procedure () . *)) number))
     789(process-group-id (procedure process-group-id () number))
     790(process-run (procedure process-run (string #!optional list) number))
     791(process-signal (procedure process-signal (number #!optional number) undefined))
     792(process-wait (procedure process-wait (number #!optional *) number number number))
     793(prot/exec number)
     794(prot/none number)
     795(prot/read number)
     796(prot/write number)
     797(read-symbolic-link (procedure read-symbolic-link (string) string))
     798(regular-file? (procedure regular-file? (string) boolean))
     799(seconds->local-time (procedure seconds->local-time (number) vector))
     800(seconds->string (procedure seconds->string (number) string))
     801(seconds->utc-time (procedure seconds->utc-time (number) vector))
     802(seek/cur number)
     803(seek/end number)
     804(seek/set number)
     805(set-alarm! (procedure set-alarm! (number) number))
     806(set-buffering-mode! (procedure set-buffering-mode! (port symbol #!optional number) undefined))
     807(set-groups! (procedure set-groups! (list) undefined))
     808(set-root-directory! (procedure set-root-directory! (string) undefined))
     809(set-signal-handler! (procedure set-signal-handler! (number (procedure (number) . *)) undefined))
     810(set-signal-mask! (procedure set-signal-mask! (list) undefined))
     811(setenv (procedure setenv (string string) undefined))
     812(signal-handler (procedure signal-handler (number) (procedure (number) . *)))
     813(signal-mask (procedure signal-mask () number))
     814(signal-mask! (procedure signal-mask! (number) undefined))
     815(signal-masked? (procedure signal-masked? (number) boolean))
     816(signal-unmask! (procedure signal-unmask! (number) undefined))
     817(signal/abrt number)
     818(signal/alrm number)
     819(signal/chld number)
     820(signal/cont number)
     821(signal/fpe number)
     822(signal/hup number)
     823(signal/ill number)
     824(signal/int number)
     825(signal/io number)
     826(signal/kill number)
     827(signal/pipe number)
     828(signal/prof number)
     829(signal/quit number)
     830(signal/segv number)
     831(signal/stop number)
     832(signal/term number)
     833(signal/trap number)
     834(signal/tstp number)
     835(signal/urg number)
     836(signal/usr1 number)
     837(signal/usr2 number)
     838(signal/vtalrm number)
     839(signal/winch number)
     840(signal/xcpu number)
     841(signal/xfsz number)
     842(signals-list list)
     843(sleep (procedure sleep (number) undefined))
     844(stat-block-device? (procedure stat-block-device? (string) boolean))
     845(stat-char-device? (procedure stat-char-device? (string) boolean))
     846(stat-directory? (procedure stat-directory? (string) boolean))
     847(stat-fifo? (procedure stat-fifo? (string) boolean))
     848(stat-regular? (procedure stat-regular? (string) boolean))
     849(stat-socket? (procedure stat-socket? (string) boolean))
     850(stat-symlink? (procedure stat-symlink? (string) boolean))
     851(string->time (procedure string->time (string #!optional string) vector))
     852(symbolic-link? (procedure symbolic-link? (string) boolean))
     853(system-information (procedure system-information () list))
     854(terminal-name (procedure terminal-name (port) string))
     855(terminal-port? (procedure terminal-port? (port) boolean))
     856(terminal-size (procedure terminal-size (port) number number))
     857(time->string (procedure time->string (vector #!optional string) string))
     858(unmap-file-from-memory (procedure unmap-file-from-memory ((struct mmap) #!optional number) undefined))
     859(unsetenv (procedure unsetenv (string) undefined))
     860(user-information (procedure user-information (number #!optional *) *))
     861(utc-time->seconds (procedure utc-time->seconds (vector) number))
     862(with-input-from-pipe (procedure with-input-from-pipe (string (procedure () . *) #!optional symbol) . *))
     863(with-output-to-pipe (procedure with-output-to-pipe (string (procedure () . *) #!optional symbol) . *))
     864
    630865#!eof
    631 
    632 ;; posix
    633 
    634 (_exit (procedure _exit () *))
    635 (call-with-input-pipe (procedure call-with-input-pipe () *))
    636 (call-with-output-pipe (procedure call-with-output-pipe () *))
    637 (canonical-path (procedure canonical-path () *))
    638 (change-directory (procedure change-directory () *))
    639 (change-file-mode (procedure change-file-mode () *))
    640 (change-file-owner (procedure change-file-owner () *))
    641 (close-input-pipe (procedure close-input-pipe () *))
    642 (close-output-pipe (procedure close-output-pipe () *))
    643 (create-directory (procedure create-directory () *))
    644 (create-fifo (procedure create-fifo () *))
    645 (create-pipe (procedure create-pipe () *))
    646 (create-session (procedure create-session () *))
    647 (create-symbolic-link (procedure create-symbolic-link () *))
    648 (current-directory (procedure current-directory () *))
    649 (current-effective-group-id (procedure current-effective-group-id () *))
    650 (current-effective-user-id (procedure current-effective-user-id () *))
    651 (current-effective-user-name (procedure current-effective-user-name () *))
    652 (current-environment deprecated)
    653 (get-environment-variables (procedure get-environment-variables () *))
    654 (current-group-id (procedure current-group-id () *))
    655 (current-process-id (procedure current-process-id () *))
    656 (current-user-id (procedure current-user-id () *))
    657 (current-user-name (procedure current-user-name () *))
    658 (delete-directory (procedure delete-directory () *))
    659 (directory (procedure directory () *))
    660 (directory? (procedure directory? () *))
    661 (duplicate-fileno (procedure duplicate-fileno () *))
    662 (errno/2big (procedure errno/2big () *))
    663 (errno/acces (procedure errno/acces () *))
    664 (errno/again (procedure errno/again () *))
    665 (errno/badf (procedure errno/badf () *))
    666 (errno/busy (procedure errno/busy () *))
    667 (errno/child (procedure errno/child () *))
    668 (errno/deadlk (procedure errno/deadlk () *))
    669 (errno/dom (procedure errno/dom () *))
    670 (errno/exist (procedure errno/exist () *))
    671 (errno/fault (procedure errno/fault () *))
    672 (errno/fbig (procedure errno/fbig () *))
    673 (errno/ilseq (procedure errno/ilseq () *))
    674 (errno/intr (procedure errno/intr () *))
    675 (errno/inval (procedure errno/inval () *))
    676 (errno/io (procedure errno/io () *))
    677 (errno/isdir (procedure errno/isdir () *))
    678 (errno/mfile (procedure errno/mfile () *))
    679 (errno/mlink (procedure errno/mlink () *))
    680 (errno/nametoolong (procedure errno/nametoolong () *))
    681 (errno/nfile (procedure errno/nfile () *))
    682 (errno/nodev (procedure errno/nodev () *))
    683 (errno/noent (procedure errno/noent () *))
    684 (errno/noexec (procedure errno/noexec () *))
    685 (errno/nolck (procedure errno/nolck () *))
    686 (errno/nomem (procedure errno/nomem () *))
    687 (errno/nospc (procedure errno/nospc () *))
    688 (errno/nosys (procedure errno/nosys () *))
    689 (errno/notdir (procedure errno/notdir () *))
    690 (errno/notempty (procedure errno/notempty () *))
    691 (errno/notty (procedure errno/notty () *))
    692 (errno/nxio (procedure errno/nxio () *))
    693 (errno/perm (procedure errno/perm () *))
    694 (errno/pipe (procedure errno/pipe () *))
    695 (errno/range (procedure errno/range () *))
    696 (errno/rofs (procedure errno/rofs () *))
    697 (errno/spipe (procedure errno/spipe () *))
    698 (errno/srch (procedure errno/srch () *))
    699 (errno/wouldblock (procedure errno/wouldblock () *))
    700 (errno/xdev (procedure errno/xdev () *))
    701 (fcntl/dupfd (procedure fcntl/dupfd () *))
    702 (fcntl/getfd (procedure fcntl/getfd () *))
    703 (fcntl/getfl (procedure fcntl/getfl () *))
    704 (fcntl/setfd (procedure fcntl/setfd () *))
    705 (fcntl/setfl (procedure fcntl/setfl () *))
    706 (fifo? (procedure fifo? () *))
    707 (file-access-time (procedure file-access-time () *))
    708 (file-change-time (procedure file-change-time () *))
    709 (file-close (procedure file-close () *))
    710 (file-control (procedure file-control () *))
    711 (file-execute-access? (procedure file-execute-access? () *))
    712 (file-link (procedure file-link () *))
    713 (file-lock (procedure file-lock () *))
    714 (file-lock/blocking (procedure file-lock/blocking () *))
    715 (file-mkstemp (procedure file-mkstemp () *))
    716 (file-modification-time (procedure file-modification-time () *))
    717 (file-open (procedure file-open () *))
    718 (file-owner (procedure file-owner () *))
    719 (file-permissions (procedure file-permissions () *))
    720 (file-position (procedure file-position () *))
    721 (file-read (procedure file-read () *))
    722 (file-read-access? (procedure file-read-access? () *))
    723 (file-select (procedure file-select () *))
    724 (file-size (procedure file-size () *))
    725 (file-stat (procedure file-stat () *))
    726 (file-test-lock (procedure file-test-lock () *))
    727 (file-truncate (procedure file-truncate () *))
    728 (file-unlock (procedure file-unlock () *))
    729 (file-write (procedure file-write () *))
    730 (file-write-access? (procedure file-write-access? () *))
    731 (fileno/stderr (procedure fileno/stderr () *))
    732 (fileno/stdin (procedure fileno/stdin () *))
    733 (fileno/stdout (procedure fileno/stdout () *))
    734 (find-files (procedure find-files () *))
    735 (get-groups (procedure get-groups () *))
    736 (get-host-name (procedure get-host-name () *))
    737 (glob (procedure glob () *))
    738 (group-information (procedure group-information () *))
    739 (initialize-groups (procedure initialize-groups () *))
    740 (local-time->seconds (procedure local-time->seconds () *))
    741 (local-timezone-abbreviation (procedure local-timezone-abbreviation () *))
    742 (map-file-to-memory (procedure map-file-to-memory () *))
    743 (map/anonymous (procedure map/anonymous () *))
    744 (map/file (procedure map/file () *))
    745 (map/fixed (procedure map/fixed () *))
    746 (map/private (procedure map/private () *))
    747 (map/shared (procedure map/shared () *))
    748 (memory-mapped-file-pointer (procedure memory-mapped-file-pointer () *))
    749 (memory-mapped-file? (procedure memory-mapped-file? () *))
    750 (open-input-file* (procedure open-input-file* () *))
    751 (open-input-pipe (procedure open-input-pipe () *))
    752 (open-output-file* (procedure open-output-file* () *))
    753 (open-output-pipe (procedure open-output-pipe () *))
    754 (open/append (procedure open/append () *))
    755 (open/binary (procedure open/binary () *))
    756 (open/creat (procedure open/creat () *))
    757 (open/excl (procedure open/excl () *))
    758 (open/fsync (procedure open/fsync () *))
    759 (open/noctty (procedure open/noctty () *))
    760 (open/nonblock (procedure open/nonblock () *))
    761 (open/rdonly (procedure open/rdonly () *))
    762 (open/rdwr (procedure open/rdwr () *))
    763 (open/read (procedure open/read () *))
    764 (open/sync (procedure open/sync () *))
    765 (open/text (procedure open/text () *))
    766 (open/trunc (procedure open/trunc () *))
    767 (open/write (procedure open/write () *))
    768 (open/wronly (procedure open/wronly () *))
    769 (parent-process-id (procedure parent-process-id () *))
    770 (perm/irgrp (procedure perm/irgrp () *))
    771 (perm/iroth (procedure perm/iroth () *))
    772 (perm/irusr (procedure perm/irusr () *))
    773 (perm/irwxg (procedure perm/irwxg () *))
    774 (perm/irwxo (procedure perm/irwxo () *))
    775 (perm/irwxu (procedure perm/irwxu () *))
    776 (perm/isgid (procedure perm/isgid () *))
    777 (perm/isuid (procedure perm/isuid () *))
    778 (perm/isvtx (procedure perm/isvtx () *))
    779 (perm/iwgrp (procedure perm/iwgrp () *))
    780 (perm/iwoth (procedure perm/iwoth () *))
    781 (perm/iwusr (procedure perm/iwusr () *))
    782 (perm/ixgrp (procedure perm/ixgrp () *))
    783 (perm/ixoth (procedure perm/ixoth () *))
    784 (perm/ixusr (procedure perm/ixusr () *))
    785 (pipe/buf (procedure pipe/buf () *))
    786 (port->fileno (procedure port->fileno () *))
    787 (process (procedure process () *))
    788 (process* (procedure process* () *))
    789 (process-execute (procedure process-execute () *))
    790 (process-fork (procedure process-fork () *))
    791 (process-group-id (procedure process-group-id () *))
    792 (process-run (procedure process-run () *))
    793 (process-signal (procedure process-signal () *))
    794 (process-wait (procedure process-wait () *))
    795 (prot/exec (procedure prot/exec () *))
    796 (prot/none (procedure prot/none () *))
    797 (prot/read (procedure prot/read () *))
    798 (prot/write (procedure prot/write () *))
    799 (read-symbolic-link (procedure read-symbolic-link () *))
    800 (regular-file? (procedure regular-file? () *))
    801 (seconds->local-time (procedure seconds->local-time () *))
    802 (seconds->string (procedure seconds->string () *))
    803 (seconds->utc-time (procedure seconds->utc-time () *))
    804 (seek/cur (procedure seek/cur () *))
    805 (seek/end (procedure seek/end () *))
    806 (seek/set (procedure seek/set () *))
    807 (set-alarm! (procedure set-alarm! () *))
    808 (set-buffering-mode! (procedure set-buffering-mode! () *))
    809 (set-groups! (procedure set-groups! () *))
    810 (set-root-directory! (procedure set-root-directory! () *))
    811 (set-signal-handler! (procedure set-signal-handler! () *))
    812 (set-signal-mask! (procedure set-signal-mask! () *))
    813 (setenv (procedure setenv () *))
    814 (signal-handler (procedure signal-handler () *))
    815 (signal-mask (procedure signal-mask () *))
    816 (signal-mask! (procedure signal-mask! () *))
    817 (signal-masked? (procedure signal-masked? () *))
    818 (signal-unmask! (procedure signal-unmask! () *))
    819 (signal/abrt (procedure signal/abrt () *))
    820 (signal/alrm (procedure signal/alrm () *))
    821 (signal/chld (procedure signal/chld () *))
    822 (signal/cont (procedure signal/cont () *))
    823 (signal/fpe (procedure signal/fpe () *))
    824 (signal/hup (procedure signal/hup () *))
    825 (signal/ill (procedure signal/ill () *))
    826 (signal/int (procedure signal/int () *))
    827 (signal/io (procedure signal/io () *))
    828 (signal/kill (procedure signal/kill () *))
    829 (signal/pipe (procedure signal/pipe () *))
    830 (signal/prof (procedure signal/prof () *))
    831 (signal/quit (procedure signal/quit () *))
    832 (signal/segv (procedure signal/segv () *))
    833 (signal/stop (procedure signal/stop () *))
    834 (signal/term (procedure signal/term () *))
    835 (signal/trap (procedure signal/trap () *))
    836 (signal/tstp (procedure signal/tstp () *))
    837 (signal/urg (procedure signal/urg () *))
    838 (signal/usr1 (procedure signal/usr1 () *))
    839 (signal/usr2 (procedure signal/usr2 () *))
    840 (signal/vtalrm (procedure signal/vtalrm () *))
    841 (signal/winch (procedure signal/winch () *))
    842 (signal/xcpu (procedure signal/xcpu () *))
    843 (signal/xfsz (procedure signal/xfsz () *))
    844 (signals-list (procedure signals-list () *))
    845 (sleep (procedure sleep () *))
    846 (stat-block-device? (procedure stat-block-device? () *))
    847 (stat-char-device? (procedure stat-char-device? () *))
    848 (stat-directory? (procedure stat-directory? () *))
    849 (stat-fifo? (procedure stat-fifo? () *))
    850 (stat-regular? (procedure stat-regular? () *))
    851 (stat-socket? (procedure stat-socket? () *))
    852 (stat-symlink? (procedure stat-symlink? () *))
    853 (string->time (procedure string->time () *))
    854 (symbolic-link? (procedure symbolic-link? () *))
    855 (system-information (procedure system-information () *))
    856 (terminal-name (procedure terminal-name () *))
    857 (terminal-port? (procedure terminal-port? () *))
    858 (terminal-size (procedure terminal-size () *))
    859 (time->string (procedure time->string () *))
    860 (unmap-file-from-memory (procedure unmap-file-from-memory () *))
    861 (unsetenv (procedure unsetenv () *))
    862 (user-information (procedure user-information () *))
    863 (utc-time->seconds (procedure utc-time->seconds () *))
    864 (with-input-from-pipe (procedure with-input-from-pipe () *))
    865 (with-output-to-pipe (procedure with-output-to-pipe () *))
    866866
    867867;; regex
Note: See TracChangeset for help on using the changeset viewer.