/*
	Show Wrapped Node

	Version 1.0.5
	Ronny Wichers Schreur
	ronny@cs.ru.nl
*/
implementation module ClosureShowWrapped

import StdEnv
import ClosureWrap
import Wrap, ShowWrapped

instance showWrapped (ClosureWrappedNode arg) | showWrapped arg where
	showWrapped options (Closure descriptor args unboxed)
		=	["<" : showApplication Don`tShowParentheses (toString descriptor) args]
				++ if (unboxed > 0) [" #" +++ toString unboxed +++ ">"] [">"]
	showWrapped options (NotAClosure wrappedNode)
		=	showWrapped options wrappedNode
