From 4e5497862c2e37f86114b21f03e443072ec6abf0 Mon Sep 17 00:00:00 2001 From: dos-reis <gdr@axiomatics.org> Date: Tue, 21 Jun 2011 16:12:07 +0000 Subject: * interp/buildom.boot (MappingCategory): Take argument by value. --- src/ChangeLog | 4 ++++ src/interp/buildom.boot | 2 +- 2 files changed, 5 insertions(+), 1 deletion(-) diff --git a/src/ChangeLog b/src/ChangeLog index ba2cd791..0aad1b5a 100644 --- a/src/ChangeLog +++ b/src/ChangeLog @@ -1,3 +1,7 @@ +2011-06-21 Gabriel Dos Reis <gdr@cs.tamu.edu> + + * interp/buildom.boot (MappingCategory): Take argument by value. + 2011-06-21 Gabriel Dos Reis <gdr@cs.tamu.edu> * interp/compiler.boot: Remove reference to $SingleFloat. diff --git a/src/interp/buildom.boot b/src/interp/buildom.boot index 5e666fcf..df276d9d 100644 --- a/src/interp/buildom.boot +++ b/src/interp/buildom.boot @@ -459,7 +459,7 @@ coerceUn2E(x,source) == ++ A domain that satisfy this predicate provides implementation ++ to abstraction that map values from some type to values ++ of another type. -MappingCategory(:"sig") == +MappingCategory(:sig) == sig = nil => error '"MappingCategory requires at least one argument" cat := eval ['Join,$Type, -- cgit v1.2.3