Thanks! Now it’s much easier to understand:) —Chun > Il giorno 27 mar 2017, alle ore 13:46, Brian Campbell > <[email protected]> ha scritto: > > On 25/03/17 12:19, Ramana Kumar wrote: >> OK... You could check directly whether "PAT_X_ASSUM" is bound in the >> PolyML global namespace, and enter it if necessary: >> >> val ns = PolyML.globalNameSpace; >> val () = #enterVal ns ("PAT_X_ASSUM", Option.getOpt (#lookupVal ns >> "PAT_X_ASSUM", Option.valOf(#lookupVal ns "PAT_ASSUM"))); >> >> There might be an easier way to conditionally make a declaration that I >> can't think of at the moment. (There's a trickier way using "use"...) > > I think a more generic way is > > local > val PAT_X_ASSUM = PAT_ASSUM > open Tactical > in > val PAT_X_ASSUM = PAT_X_ASSUM > end > > (adjusting as necessary if you want the version from Q). > > -- > The University of Edinburgh is a charitable body, registered in > Scotland, with registration number SC005336. > > > ------------------------------------------------------------------------------ > Check out the vibrant tech community on one of the world's most > engaging tech sites, Slashdot.org! http://sdm.link/slashdot > _______________________________________________ > hol-info mailing list > [email protected] > https://lists.sourceforge.net/lists/listinfo/hol-info
signature.asc
Description: Message signed with OpenPGP using GPGMail
------------------------------------------------------------------------------ Check out the vibrant tech community on one of the world's most engaging tech sites, Slashdot.org! http://sdm.link/slashdot
_______________________________________________ hol-info mailing list [email protected] https://lists.sourceforge.net/lists/listinfo/hol-info
