Apply the test for top-level free variables to a sequence of strdecs.  Originally the test was applied to the whole "program" but that can break the type system if a functor refers to a free variable.  More recently the check was moved to an individual strdec but that means that the example on p90 of the Definition did not compile.
Apply the test for top-level free variables to a sequence of strdecs.  Originally the test was applied to the whole "program" but that can break the type system if a functor refers to a free variable.  More recently the check was moved to an individual strdec but that means that the example on p90 of the Definition did not compile.

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

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