use.sml

(*
 * Licensed to Julian Hyde under one or more contributor license
 * agreements.  See the NOTICE file distributed with this work
 * for additional information regarding copyright ownership.
 * Julian Hyde licenses this file to you under the Apache
 * License, Version 2.0 (the "License"); you may not use this
 * file except in compliance with the License.  You may obtain a
 * copy of the License at
 *
 * http://www.apache.org/licenses/LICENSE-2.0
 *
 * Unless required by applicable law or agreed to in writing,
 * software distributed under the License is distributed on an
 * "AS IS" BASIS, WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND,
 * either express or implied.  See the License for the specific
 * language governing permissions and limitations under the
 * License.
 *
 * Script that calls other scripts; tests the "use" command.
 *)
Sys.set ("stringDepth", ~1);

(*) First, let's check that plans are assigned, but variables
(*) are not assigned, when there are exceptions.

val a = 2 + 3;
Sys.plan();
val b = 20;
(*) throws Subscript:
val a = String.sub("abc", b);
(*) plan is for the unsuccessful statement:
Sys.plan();
String.sub("xyz", b - 1);
(*) plan is for the unsuccessful expression:
Sys.plan();
(*) a is still an int:
a;

"entering use.sml";
val x = "step 1";

(*) Include a script that uses x, and then defines x and plus3.
use "use-1.sml";
"x is now " ^ x;
plus3 7;

(*) Now, define x as an integer, which will cause failures in the invoked
(*) script, but the script won't bail out.
val x = 10;
use "use-1.sml";
"x is now " ^ x;

"leaving use.sml";

(*) End use.sml