The type information used for the arguments and results of functions produced by the debugger must use global identifiers.  This is in line with what happens for identifiers looked up at a break-point.  This fixes a bug where tracing a function that uses a local datatype could result in a Subscript error.
The type information used for the arguments and results of functions produced by the debugger must use global identifiers.  This is in line with what happens for identifiers looked up at a break-point.  This fixes a bug where tracing a function that uses a local datatype could result in a Subscript error.

git-svn-id: 98787b36aaefbae4b30fa755be920954cd25e1e4@1984 ae7d391e-3f74-4a2b-a0db-a8776840fd2a

dcjm/polyml,mn200/polyml,mn200/polyml,dcjm/polyml,dcjm/polyml,mn200/polyml,polyml/polyml,mn200/polyml,polyml/polyml,dcjm/polyml,polyml/polyml,polyml/polyml