aboutsummaryrefslogtreecommitdiff
path: root/src
diff options
context:
space:
mode:
authorazidar2016-01-27 14:09:00 -0800
committerazidar2016-01-28 09:25:04 -0800
commit067eb9db57f6c9f5f3675d9be11133378531a9b5 (patch)
tree963d54455ce628455a2c1d81455fab3c3c5c01ff /src
parentbfc44fdaf7a44ac17020f48576b987ae1cf16852 (diff)
Add map of symbol->symbol for wdefinstance
Diffstat (limited to 'src')
-rw-r--r--src/main/stanza/passes.stanza2
1 files changed, 2 insertions, 0 deletions
diff --git a/src/main/stanza/passes.stanza b/src/main/stanza/passes.stanza
index 3f18ef21..2ad3d596 100644
--- a/src/main/stanza/passes.stanza
+++ b/src/main/stanza/passes.stanza
@@ -322,6 +322,8 @@ defmethod map (f: Type -> Type, e: WSubAccess) :
defmethod map (f: Type -> Type, s: WDefInstance) :
WDefInstance(info(s),name(s),module(s),f(type(s)))
+defmethod map (f: Symbol -> Symbol, s: WDefInstance) :
+ WDefInstance(info(s),f(name(s)),module(s),type(s))
;================ WIDTH LIBRARY ====================