use-1.sml.out

(*
 * 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.
 *
 * Called by use.sml (which we assume has defined 'x');
 * also called standalone. Some commands fail if 'x' is not
 * defined, but the script continues to the end.
 *)

"entering use-1.sml";
val it = "entering use-1.sml" : string

val y = x ^ ", ";
stdIn:1.9 Error: unbound variable or constructor: x
  raised at: stdIn:1.9

val x = y ^ "step 2";
stdIn:1.9 Error: unbound variable or constructor: y
  raised at: stdIn:1.9

fun plus3 n = n + 3;
val plus3 = fn : int -> int

plus3 ~1;
val it = 2 : int

"leaving use-1.sml";
val it = "leaving use-1.sml" : string


(*) End use-1.sml