2007-05-05 22:54:53 -04:00
|
|
|
|
|
|
|
(library (ikarus singular-objects)
|
2007-05-05 23:00:39 -04:00
|
|
|
(export base-rtd eof-object)
|
2007-05-05 22:54:53 -04:00
|
|
|
(import
|
2007-05-06 17:41:59 -04:00
|
|
|
(rename (ikarus system $records) (base-rtd sys:base-rtd))
|
|
|
|
(rename (ikarus) (eof-object sys:eof-object)))
|
2007-05-05 23:00:39 -04:00
|
|
|
|
|
|
|
(define (eof-object) (sys:eof-object))
|
2007-05-05 22:54:53 -04:00
|
|
|
(define (base-rtd) (sys:base-rtd)))
|
|
|
|
|