Matt Birkholz [Sun, 28 Apr 2013 00:48:31 +0000 (17:48 -0700)]
planetarium: Rename fancy-... to r3rs-...
Matt Birkholz [Sun, 28 Apr 2013 00:46:44 +0000 (17:46 -0700)]
planetarium: Abbreviate filenames from mit-scheme-... to mit-...
Matt Birkholz [Sun, 28 Apr 2013 00:44:19 +0000 (17:44 -0700)]
planetarium: Rename *all* MIT-specific files with "mit-" prefix.
Matt Birkholz [Sat, 27 Apr 2013 21:20:41 +0000 (14:20 -0700)]
Merge branch 'master' into Gtk
Matt Birkholz [Sat, 27 Apr 2013 21:16:13 +0000 (14:16 -0700)]
runtime: Make it nicer to (ge '(R3RS)).
The default parser and unparser expect to find bindings for
e.g. *parser-table* in any given environment, but there are no such
bindings in a package with parent #f (unless you import them). If you
don't, executing (ge '(R3RS)) puts the REPL into a tight little error
loop. This patch makes the parser and unparser consult the (USER)
package if they don't find these bindings in the current environment.
Once "in" a package like (r3rs) it is tricky to get out(!). Entering
(ge '(USER)) will just produce an error: unbound variable GE. Thus
the default/repl-eval now looks for an unquoted expression and
evaluates it in the (USER) package, so you can enter ,(ge '(USER)) to
get back.
Matt Birkholz [Wed, 24 Apr 2013 18:26:14 +0000 (11:26 -0700)]
planetarium: Cool it with the integration and other declarations.
Internal (declare)s are still used, but top-level declarations
(usual-integrations) and (integrate-external) are already made by
compile-file, so are just another barrier to portabimini.
Procedures like project and make-x-rotation-matrix need not be inlined
as they already use flo:vectors to pass 2, 3 and 9 flonums around
efficiently. Not inlining these reduces matrices.scm to zero
integrable definitions (no .ext file)!
Matt Birkholz [Wed, 24 Apr 2013 17:41:52 +0000 (10:41 -0700)]
planetarium: Create an (r3rs) package and use it.
Fix planetarium.pkg. Putting files into separate packages requires
some changes. Move read-cil-file to an MIT-Scheme-specific
package/file; move cil-file to load before mit-scheme-cil.scm. Add
explicit clear-graphics and flush-graphics exports from the graphics
packages. Why did geometry.scm have to be changed?
Matt Birkholz [Wed, 24 Apr 2013 16:52:52 +0000 (09:52 -0700)]
Merge branch 'master' into Gtk
Matt Birkholz [Wed, 24 Apr 2013 16:52:13 +0000 (09:52 -0700)]
cref: one more place must allow #f for a package's parent.
Matt Birkholz [Wed, 24 Apr 2013 02:01:01 +0000 (19:01 -0700)]
Merge branch 'master' into Gtk
Matt Birkholz [Wed, 24 Apr 2013 00:49:31 +0000 (17:49 -0700)]
ffi: Temporay hack is no longer needed.
Matt Birkholz [Wed, 24 Apr 2013 00:48:31 +0000 (17:48 -0700)]
cref: Support (parent #f) packages. Punt system-global-package.
The package-structure<? sort did not ensure that BOTH a package's
parent-in-name and parent-environment were created first. An easier
sort ensures only that the parent-environment is created first. The
parent-in-name was only needed to hang the "child" on a tree. This
patch replaces the tree with a list: *packages*. Thus a
parent-in-name is not needed and the only parent/child tree is the
environment tree.
To catch out old code searching for packages via package/children (as
in swank.scm) the system-global-package binding was removed, as was
package/child. Package/add-child! seems popular and so is supported
(with only minor trouble, i.e. no APPENDing during the cold load).
Package creation by other means is... not supported.
Matt Birkholz [Fri, 19 Apr 2013 19:52:15 +0000 (12:52 -0700)]
gtk: Fix documentation and tests.
Match @deffnx and symbol names containing : and /. Document
gtk-graphics/make; punt gtk-graphics-device-type. Fix old spelling of
tellurion in tests.
Matt Birkholz [Fri, 19 Apr 2013 19:37:11 +0000 (12:37 -0700)]
Merge branch 'master' into Gtk
Matt Birkholz [Fri, 19 Apr 2013 19:26:54 +0000 (12:26 -0700)]
Add (unused) attribute to Rdl.
This eliminates LAIR/C build log noise to the tune of 70,000 lines!
Matt Birkholz [Wed, 17 Apr 2013 16:10:34 +0000 (09:10 -0700)]
Merge branch 'master' into Gtk
Matt Birkholz [Wed, 17 Apr 2013 16:07:28 +0000 (09:07 -0700)]
Typo: thread-queue/dequeue-until!.
Matt Birkholz [Wed, 17 Apr 2013 16:04:28 +0000 (09:04 -0700)]
Revert this commit when the release can build without it.
These last vestiges of TC_COMBINATION_1, TC_COMBINATION_2, TC_PCOMB0,
TC_PCOMB1, and TC_PCOMB2 remain only to allow building directly from
release 9.1.
Matt Birkholz [Wed, 17 Apr 2013 15:42:50 +0000 (08:42 -0700)]
Remove all trace of type codes COMBINATION-2, PCOMB0, etc.
This finishes what
3fc580e started. The resulting system runs but
does not build with the released version 9.1. That version puts old
combinations in .exts that cannot be fasloaded by this new version.
As the old combination types are no longer compilable nor even
interpretable, it seems the build process loads them but does not use
them.
The following commit will put just the gc handlers back, which is
sufficient to allow building directly from 9.1.
Matt Birkholz [Sat, 13 Apr 2013 18:24:58 +0000 (11:24 -0700)]
Fix Gtk doc xrefs. Add cairo-move-to, cairo-new-sub-path.
Matt Birkholz [Sat, 13 Apr 2013 17:49:32 +0000 (10:49 -0700)]
Catch up Gtk documentation. Fix typo in ref-manual/graphics.texi.
Matt Birkholz [Sat, 13 Apr 2013 17:48:40 +0000 (10:48 -0700)]
gtk: Export surface-ink?, set-surface-ink-position!.
Removed (renamed) set-surface-ink!.
Matt Birkholz [Sat, 13 Apr 2013 17:47:58 +0000 (10:47 -0700)]
Added new, Gtk3 window type hints to gtk-window-set-type-hint.
Matt Birkholz [Tue, 9 Apr 2013 21:39:51 +0000 (14:39 -0700)]
planetarium: Replace "tellurian" with "tellurion".
Matt Birkholz [Tue, 9 Apr 2013 15:51:36 +0000 (08:51 -0700)]
planetarium: Fix snapshot.scm to syntax in correct environment.
Taylor R Campbell [Tue, 9 Apr 2013 02:46:16 +0000 (02:46 +0000)]
Fix argument order in HASH-TABLE/MODIFY! documentation.
Taylor R Campbell [Tue, 9 Apr 2013 02:45:36 +0000 (02:45 +0000)]
Fix tabification in (runtime hash-table) package description.
Taylor R Campbell [Tue, 9 Apr 2013 02:42:12 +0000 (02:42 +0000)]
Merge Alexey's hash table documentation and tweaks from ages ago.
There was some little issue but I forget what it was.
Alexey Radul [Fri, 27 May 2011 21:04:45 +0000 (22:04 +0100)]
Warn that weak references are scary and hard to get right.
Redirect to provided higher-level abstractions.
Alexey Radul [Sun, 29 May 2011 22:22:41 +0000 (23:22 +0100)]
Update hash-table/count for multiple entry types.
Alexey Radul [Sun, 29 May 2011 22:06:42 +0000 (23:06 +0100)]
Record the reason for the restrictions in hash-table/modify!
I found this non-obvious when I was writing the documentation, so it
seems appropriate to record it somewhere. On the other hand, it does
not seem appropriate to burden the user with having to read it ---
just obey the restriction and you'll be fine. Will anyone ever read
comments in the source of the manual? Is there a better place to
record this knowledge?
Alexey Radul [Sun, 29 May 2011 21:56:34 +0000 (22:56 +0100)]
Add some concept index entries that seem reasonable.
Alexey Radul [Sun, 29 May 2011 21:48:26 +0000 (22:48 +0100)]
Update the documentation of hash-table/clean!
Alexey Radul [Sun, 29 May 2011 21:47:49 +0000 (22:47 +0100)]
Deprecate {strong/weak}-hash-table/constructor.
Flush the detailed description of what they do as having been copied
into the description of HASH-TABLE/CONSTRUCTOR.
Alexey Radul [Sun, 29 May 2011 21:37:59 +0000 (22:37 +0100)]
Rewrite the hash table constructors section with more weakness options.
Define and export key-ephemeral-eq and key-ephemeral-eqv tables as
replacements for the key-weak versions.
Punt descriptions of old hash table constructor procedures to the
bottom of the section and say they are for backward compatibility.
One may object to MAKE-KEY-EPHEMERAL-EQ-HASH-TABLE on the grounds that
it invites a combinatorial explosion of names:
make-key/datum-weak-eqv-hash-table
make-datum-ephemeral-string-hash-table
make-key&datum-ephemeral-equal-hash-table (!?)
and so on ad nauseam.
Where will it end? The criterion I used to decide which names to
export and document and which names to leave alone and defer to the
general HASH-TABLE/CONSTRUCTOR mechanism was simply to update the
existing documentation. The manual already listed
MAKE-WEAK-EQ-HASH-TABLE. It is now named MAKE-KEY-WEAK-EQ-HASH-TABLE,
so that name is included. But really, a key-weak table is just a
performance optimization over a key-ephemeral table, to save work when
you know the data will not hold the keys strongly. So
MAKE-KEY-EPHEMERAL-EQ-HASH-TABLE is in; it was, in fact, the reason I
wanted Taylor to implement ephemerons in the first place.
MAKE-KEY-EPHEMERAL-EQV-HASH-TABLE is in to preserve the symmetry
between eq? and eqv? that was already present in the manual. But the
rest of them are out, because they weren't there before. If
datum-weak tables were so important that their constructor really must
be given a name here, then (arguably) why were they not already
implemented and documented? The fact that MIT Scheme only supported
strong and key-weak tables for a long time suggests that those kinds
are the most common, and therefore the most deserving of slots in the
name space.
Alexey Radul [Sun, 29 May 2011 20:48:27 +0000 (21:48 +0100)]
Relocate and update the examples of defining hash table contructors.
Now in terms of HASH-TABLE/CONSTRUCTOR and entry types.
Alexey Radul [Fri, 27 May 2011 22:56:42 +0000 (23:56 +0100)]
Draft documentation of HASH-TABLE/CONSTRUCTOR and all the entry types.
Will adjust the surrounding text to fit it in in a separate commit.
Alexey Radul [Fri, 27 May 2011 20:42:38 +0000 (21:42 +0100)]
Redirect cross reference to Weak References
on the grounds that that is now the landing page for the discussion of
strength and weakness.
Alexey Radul [Fri, 27 May 2011 08:31:28 +0000 (09:31 +0100)]
Improve documentation of hash-table/{modify,intern}!
By the mechanism of implementing Taylor's suggestions. Also add
sentences about average running times.
Alexey Radul [Thu, 26 May 2011 11:05:25 +0000 (12:05 +0100)]
Deparenthesize.
Alexey Radul [Thu, 26 May 2011 11:03:25 +0000 (12:03 +0100)]
Collect "Weak Pairs" and "Ephemerons" into a section called "Weak References".
State the common motivation, define the common terminology, and
describe the contrasts between weak pairs and ephemerons in the common
section, and tighten the "Weak Pairs" and "Ephemerons" sections
themselves back to just describing their data structures.
Alexey Radul [Thu, 26 May 2011 08:48:10 +0000 (09:48 +0100)]
Rewrite the description of intricacies with ephemeron-broken? per
Taylor's recommendation to name the ephemeron explicitly and use more
active language.
Alexey Radul [Tue, 24 May 2011 22:39:06 +0000 (23:39 +0100)]
Documenting hash-table/modify! and hash-table/intern!. Also slightly
reworded the introduction to hash-table/lookup, to make it more
positive.
Alexey Radul [Tue, 24 May 2011 12:13:07 +0000 (13:13 +0100)]
Documenting the fact that MIT Scheme implements SRFI 69, the
relationship between the MIT Scheme native hash table API and the one
specified by SRFI 69, and the reason why it is appropriate to provide
both (it's not pure backwards compatibility). This includes
documenting the bugs in SRFI 69.
Alexey Radul [Tue, 24 May 2011 09:39:49 +0000 (10:39 +0100)]
Grammar.
Alexey Radul [Mon, 23 May 2011 11:27:14 +0000 (12:27 +0100)]
Pointing out what ephemerons are for; emphasizing the special feature
of ephemerons, and the distinction between ephemerons and weak pairs.
Alexey Radul [Mon, 23 May 2011 11:24:59 +0000 (12:24 +0100)]
Clarifying that ephemeron-broken? indicates that an ephemeron is whole by returning #f.
Alexey Radul [Mon, 23 May 2011 11:23:10 +0000 (12:23 +0100)]
Correcting a typo.
Matt Birkholz [Mon, 8 Apr 2013 23:28:15 +0000 (16:28 -0700)]
Merge branch 'master' into Gtk
Matt Birkholz [Mon, 8 Apr 2013 23:17:12 +0000 (16:17 -0700)]
Undo commit
93d3d5c so that "out of memory" need not be The End...
...even in batch-mode. The effect of
93d3d5c can be had more
elegantly, as pointed out in
6b3f8e0: "Always wrap stdin in a (begin
...)..."
Matt Birkholz [Mon, 8 Apr 2013 23:10:07 +0000 (16:10 -0700)]
tests: Replace : with / so progress notes are not errors to Emacs.
Matt Birkholz [Mon, 8 Apr 2013 22:59:42 +0000 (15:59 -0700)]
Add thread-queue/dequeue-no-hang!, rm peek-until, fix -no-hang.
Fix when-non-empty-before, which did not append! to waiting-dequeuers,
and thus would only time out.
Un-export peek-until. Its TIME argument is... weird -- not universal.
Swat can import it.
Matt Birkholz [Mon, 8 Apr 2013 22:39:17 +0000 (15:39 -0700)]
Finish replacing type code SEQUENCE-2 with SEQUENCE.
Hack runtime.sf to inform older hosts about new type code.
Matt Birkholz [Mon, 8 Apr 2013 04:22:18 +0000 (21:22 -0700)]
gtk: Punt tests if no errors or DISPLAY not set.
Matt Birkholz [Mon, 8 Apr 2013 03:01:27 +0000 (20:01 -0700)]
gtk: Replace leftover references to gtk+-2.0 with gtk+-3.0.
Matt Birkholz [Sun, 7 Apr 2013 21:16:20 +0000 (14:16 -0700)]
gtk: Use gtk-graphics/make in planetarium/snapshot.
Gtk-graphics/make doesn't care if DISPLAY is set.
Matt Birkholz [Sun, 7 Apr 2013 21:14:01 +0000 (14:14 -0700)]
gtk: Only warn if DISPLAY not set.
Some of the Gtk libraries are useful without a DISPLAY.
Matt Birkholz [Sun, 7 Apr 2013 21:13:35 +0000 (14:13 -0700)]
gtk: Add gtk-graphics/make.
Matt Birkholz [Sun, 7 Apr 2013 17:43:13 +0000 (10:43 -0700)]
Add src/planetarium/snapshot, tweaks, TODO list.
Factor draw-tellurian out of run-tellurian for snapshot.scm. Tweak
position of lat/long text. Use default fore/background.
Matt Birkholz [Sun, 7 Apr 2013 17:20:30 +0000 (10:20 -0700)]
Add no-window? parameter to gtk-graphics/open.
Matt Birkholz [Sun, 7 Apr 2013 17:18:56 +0000 (10:18 -0700)]
Add cairo-surface-write-to-png.
This should really use cairo_surface_write_to_png_stream.
Matt Birkholz [Fri, 5 Apr 2013 23:31:25 +0000 (16:31 -0700)]
gtk: Add src/planetarium/, which works with a simple graphics device.
Just half a tellurian for now -- a drawing of Earth showing the
position of the Sun. On a simple (or even an X11) graphics device
just the terminator is drawn. The light and dark sides of Earth are
undistinguished. On a Gtk graphics device, the dark side is shaded
light gray.
Matt Birkholz [Fri, 5 Apr 2013 23:28:34 +0000 (16:28 -0700)]
gtk: Update fix-demo.scm's copyright notice. Turn the ball blue.
Matt Birkholz [Fri, 5 Apr 2013 23:19:44 +0000 (16:19 -0700)]
gtk: Add gtk-graphics device type.
Just the simple operations plus fill-polygon-list, draw-circle,
set-foreground-color and set-background-color.
Matt Birkholz [Fri, 5 Apr 2013 17:40:43 +0000 (10:40 -0700)]
gtk: Add Cairo <surface-ink>. Use it in fix-layout demo.
Adjust demo for a smaller drawing size.
Matt Birkholz [Fri, 5 Apr 2013 17:20:45 +0000 (10:20 -0700)]
gtk: Add many cairo- wrappers: cairo-image-surface-create...
... cairo-pattern-create-linear, cairo-pattern-create-radial,
cairo-pattern-add-color-stop, cairo-create, cairo-translate,
cairo-scale, cairo-set-source, cairo-set-source-color, cairo-arc,
cairo-paint, cairo-fill, cairo-stroke, cairo-set-font-matrix,
cairo-matrix, cairo-surface-destroy, cairo-surface-flush, and
cairo-pattern-destroy.
Matt Birkholz [Fri, 5 Apr 2013 17:12:47 +0000 (10:12 -0700)]
gtk: Add gtk-window-set-type-hint.
Matt Birkholz [Fri, 5 Apr 2013 17:03:45 +0000 (10:03 -0700)]
gtk: Add thread-queue/dequeue-no-hang!, rm peek-until, fix -no-hang.
Fix when-non-empty-before, which did not append! to waiting-dequeuers,
and thus would only time out.
Not exporting peek-until. Its TIME argument is... weird -- not
universal. Swat can import it.
Matt Birkholz [Mon, 25 Mar 2013 20:08:27 +0000 (13:08 -0700)]
Merge branch 'master' into Gtk
Matt Birkholz [Tue, 19 Mar 2013 00:26:13 +0000 (17:26 -0700)]
gtk: Allow for specialization of fix-layout scrollbar behavior.
The new generic procedure fix-layout-adjustment-parameters allows
Edwin to customize scrolling.
Matt Birkholz [Tue, 19 Mar 2013 00:22:51 +0000 (17:22 -0700)]
gtk: load option SUBPROCESS, so main.scm can hook/subprocess-wait.
Taylor R Campbell [Mon, 18 Feb 2013 15:11:04 +0000 (15:11 +0000)]
Unparse the symbol whose name is `.' as `|.|'.
Add a trivial test for it.
Found by Pavel Panchekha.
Matt Birkholz [Mon, 11 Feb 2013 23:49:10 +0000 (16:49 -0700)]
gtk: Document pango-layout-set-markup. Fix many @brefs.
Define @bref{}'s as actual references ONLY in the HTML version, where
they can be hyperlinks to a binding's documentation. Otherwise they
are just hyphenated names in @code style, except in Info. In Info,
even single-quotes around these names is really too much.
Matt Birkholz [Tue, 5 Feb 2013 20:47:22 +0000 (13:47 -0700)]
gtk: Added pango-layout-set-markup. Caught up documentation.
Matt Birkholz [Sun, 3 Feb 2013 01:42:52 +0000 (18:42 -0700)]
Merge branch 'master' into Gtk
Matt Birkholz [Sun, 3 Feb 2013 01:39:15 +0000 (18:39 -0700)]
microcode: Quiet some unused-but-set-variable warnings.
Matt Birkholz [Sat, 2 Feb 2013 19:27:59 +0000 (12:27 -0700)]
gtk: Update the time-slice window BEFORE sleeping.
Thus when the toolkit flames out, the time-slice window stops on the
list of file descriptors Scheme IS waiting on (NOT the descriptors it
WAS waiting on).
Matt Birkholz [Sat, 2 Feb 2013 17:28:49 +0000 (10:28 -0700)]
gtk: Added gtk-paned-get-position, gtk-paned-set-position.
Matt Birkholz [Tue, 29 Jan 2013 19:29:27 +0000 (12:29 -0700)]
gtk: Added GtkPanedView, a specialized GtkPaned.
Matt Birkholz [Tue, 29 Jan 2013 05:15:56 +0000 (22:15 -0700)]
gtk: Remove deprecated functions: g_value_get_char, g_thread_init...
Matt Birkholz [Tue, 29 Jan 2013 05:07:53 +0000 (22:07 -0700)]
gtk: Update to Gtk+3.6. Separate GtkScrolledWindow and GtkScrolledView.
Rename GtkScrollingWindow to GtkScrolledView and fix it to work with
Gtk+3.6.0 (in Ubuntu 12.10). Create distinct classes for
GtkScrolledWindow and GtkScrolledView. The former might be useful to
someone else, and substituting the latter for the former just invites
confusion.
Taylor R Campbell [Sat, 19 Jan 2013 05:07:42 +0000 (05:07 +0000)]
Report a meaningful error message if the TUTORIAL file is hosed.
Matt Birkholz [Wed, 19 Dec 2012 00:57:51 +0000 (17:57 -0700)]
Do not remove a gtk-paned's child if it is destroyed.
If it is destroyed, it has already been removed (from the list of
children).
Matt Birkholz [Wed, 19 Dec 2012 00:47:25 +0000 (17:47 -0700)]
Init a <fix-layout>'s viewport size before it is realized.
Punt redundant code in the realize callback. Initializing the size
early allows the view (scroll position) to be set whether the widget
is realized or not.
Matt Birkholz [Wed, 19 Dec 2012 00:45:09 +0000 (17:45 -0700)]
Fixed the Gtk tests to access the final malloced-aliens list.
Matt Birkholz [Wed, 19 Dec 2012 00:39:05 +0000 (17:39 -0700)]
Added gtk-widget-queue-resize and gtk-widget-queue-resize-no-redraw.
Matt Birkholz [Wed, 19 Dec 2012 00:20:07 +0000 (17:20 -0700)]
Merge branch 'master' into Gtk
Matt Birkholz [Wed, 19 Dec 2012 00:11:44 +0000 (17:11 -0700)]
Support callout struct and union parameter and return types.
Requested by Peter Feigl <craven@gmx.net>.
Matt Birkholz [Tue, 18 Dec 2012 23:58:56 +0000 (16:58 -0700)]
Update old "package: (ffi syntax)" comments.
Matt Birkholz [Tue, 18 Dec 2012 23:56:53 +0000 (16:56 -0700)]
Do not setsid() just because of --batch-mode.
Commit
6b474c5 has turned --batch-mode into something like a
--background option, ensuring that setsid() is called. Re-worked the
logic so that tty interrupt characters are not frobbed in batch-mode
AND setsid() is not called (except according to the curious but
ancient heuristic/default: when there is no tty on stdin, stderr and
stdout and no --emacs option).
Taylor R Campbell [Wed, 12 Dec 2012 06:10:18 +0000 (06:10 +0000)]
Work around broken IMAP servers that give bogus responses to FETCH.
Taylor R Campbell [Wed, 12 Dec 2012 06:06:39 +0000 (06:06 +0000)]
Tidy up local declarations in DEFINE_BIT_COUNT.
`static' is pointless (and causes `gcc -O0' to actually allocate
static storage for them), and using uintmax_t rather than TYPE is
overkill.
Taylor R Campbell [Wed, 12 Dec 2012 05:56:45 +0000 (05:56 +0000)]
Fix some ignored variable warnings in swank.scm.
Taylor R Campbell [Tue, 11 Dec 2012 20:35:13 +0000 (20:35 +0000)]
Add BIT, BITS, SHIFTIN, and SHIFTOUT, for handily hacking bit fields.
Taylor R Campbell [Tue, 11 Dec 2012 20:16:28 +0000 (20:16 +0000)]
Fix READ-PACKET in swank.scm to cope with partial reads.
Thanks, ecraven.
Matt Birkholz [Thu, 29 Nov 2012 18:39:45 +0000 (11:39 -0700)]
Merge branch 'master' into Gtk
Matt Birkholz [Thu, 29 Nov 2012 18:28:23 +0000 (11:28 -0700)]
Punt deprecated gdk_window_get_pointer.
Matt Birkholz [Thu, 29 Nov 2012 17:07:32 +0000 (10:07 -0700)]
Added <gtk-paned>, gtk-grid-attach-next-to. Punted fix-resizer.
Also added gtk-orientable-get-orientation, just for completeness, and
documented cairo-clip-extents.
Chris Hanson [Mon, 12 Nov 2012 05:54:19 +0000 (21:54 -0800)]
Support new location of Xcode 4.3 and later; just warn if can't find SDKs directory.
Joe Marshall [Fri, 19 Oct 2012 20:34:20 +0000 (13:34 -0700)]
Integrate CALLER argument in guarantees.