Standard ML of New Jersey (32-bit) v110.99 [built: Thu Dec 24 11:01:10 2020]
- val x = (4, 5);
val x = (4,5) : int * int
- val y = ("cat", 6);
val y = ("cat",6) : string * int
-
-
- real 6;
val it = 6.0 : real
- real 6.0;
stdIn:6.1-6.9 Error: operator and operand do not agree [tycon mismatch]
  operator domain: int
  operand:         real
  in expression:
    real 6.0
- real 6.0;
stdIn:1.2-1.10 Error: operator and operand do not agree [tycon mismatch]
  operator domain: int
  operand:         real
  in expression:
    real 6.0
- real;
val it = fn : int -> real
-
-
- use "2021-02-16\\example_2.sml";
[opening 2021-02-16\example_2.sml]
val f1 = fn : int * int -> int
val f2 = fn : int -> int -> int
val f3 = fn : real * real -> real
val f4 = fn : real * real -> real
val f5 = fn : string -> char
val f6 = fn : string list -> char
val f7 = fn : real -> int -> real
val f8 = fn : real -> int -> int
val f9 = fn : real -> int -> int
val it = () : unit
-
- f8 (3.6, 1);
stdIn:13.1-13.12 Error: operator and operand do not agree [tycon mismatch]
  operator domain: real
  operand:         real * 'Z[INT]
  in expression:
    f8 (3.6,1)
-
- f8 3.6, 1;
= ;
stdIn:14.7 Error: syntax error found at COMMA
- f8 3.6 1;
val it = 5 : int
-
-
- f8  3.6  1;
val it = 5 : int
- f9  3.6  1;
val it = 4 : int
- (1, 2, 3, 4, 5, 6, 7, 8, 9);
val it = (1,2,3,4,5,6,7,8,9) :
  int * int * int * int * int * int * int * int * int
- (1, 2, 3, 4, 5, 6.0, 7, 8, 9);
val it = (1,2,3,4,5,6.0,7,8,9) :
  int * int * int * int * int * real * int * int * int
-
-
-
- use "2021-02-16\\example_2.sml";
[opening 2021-02-16\example_2.sml]
val f1 = fn : int * int -> int
val f2 = fn : int -> int -> int
val f3 = fn : real * real -> real
val f4 = fn : real * real -> real
val f5 = fn : string -> char
val f6 = fn : string list -> char
val f7 = fn : real -> int -> real
val f8 = fn : real -> int -> int
val f9 = fn : real -> int -> int
val f10 = fn : real * int -> real
val it = () : unit
- f10  (3.6,  1);
val it = 4.6 : real
-
-
- (1, 2);
val it = (1,2) : int * int
- (1);
val it = 1 : int
-
- (1);
val it = 1 : int
- (1, 2);
val it = (1,2) : int * int
- (1);
val it = 1 : int
-
-
- use "2021-02-16\\example_2.sml";
[opening 2021-02-16\example_2.sml]
2021-02-16\example_2.sml:33.16 Error: syntax error: inserting  EQUALOP

uncaught exception Compile [Compile: "syntax error"]
  raised at: ../compiler/Parse/main/smlfile.sml:19.24-19.46
             ../compiler/TopLevel/interact/evalloop.sml:45.54
             ../compiler/TopLevel/interact/evalloop.sml:306.20-306.23
- use "2021-02-16\\example_2.sml";
[opening 2021-02-16\example_2.sml]
2021-02-16\example_2.sml:22.31-27.28 Error: operator is not a function [tycon mismatch]
  operator: real
  in expression:
    (real y) (3,4)

uncaught exception CompileError
  raised at: ../compiler/TopLevel/interact/interact.sml:37.18-37.30
-
-
-
- use "2021-02-16\\example_2.sml";
[opening 2021-02-16\example_2.sml]
2021-02-16\example_2.sml:22.31-27.28 Error: operator is not a function [tycon mismatch]
  operator: real
  in expression:
    (real y) (3,4)

uncaught exception CompileError
  raised at: ../compiler/TopLevel/interact/interact.sml:37.18-37.30
- use "2021-02-16\\example_2.sml";
[opening 2021-02-16\example_2.sml]
val f1 = fn : int * int -> int
val f2 = fn : int -> int -> int
val f3 = fn : real * real -> real
val f4 = fn : real * real -> real
val f5 = fn : string -> char
val f6 = fn : string list -> char
val f7 = fn : real -> int -> real
val f8 = fn : real -> int -> int
val f9 = fn : real -> int -> int
val f10 = fn : real * int -> real
val f11 = fn : int -> int -> int -> int
val f12 = fn : int * int -> int -> int
val f13 = fn : int -> int * int -> int
val f14 = fn : int * int * int -> int
val f15 = fn : real -> real -> real -> real
val it = () : unit
- use "2021-02-16\\example_2.sml";
[opening 2021-02-16\example_2.sml]
2021-02-16\example_2.sml:22.31-27.28 Error: operator is not a function [tycon mismatch]
  operator: real
  in expression:
    (real y) (3,4)

uncaught exception CompileError
  raised at: ../compiler/TopLevel/interact/interact.sml:37.18-37.30
-
-
- use "2021-02-16\\example_2.sml";
[opening 2021-02-16\example_2.sml]
val f1 = fn : int * int -> int
val f2 = fn : int -> int -> int
val f3 = fn : real * real -> real
val f4 = fn : real * real -> real
val f5 = fn : string -> char
val f6 = fn : string list -> char
val f7 = fn : real -> int -> real
val f8 = fn : real -> int -> int
val f9 = fn : real -> int -> int
val f10 = fn : real * int -> real
val it = (3,4) : int * int
val it = (3,4,5) : int * int * int
val it = (3,4,6,7) : int * int * int * int
val it = (1,2,3,4,5,6,7,8,9) :
  int * int * int * int * int * int * int * int * int
val f11 = fn : int -> int -> int -> int
val f12 = fn : int * int -> int -> int
val f13 = fn : int -> int * int -> int
val f14 = fn : int * int * int -> int
val f15 = fn : real -> real -> real -> real
val it = () : unit
- use "2021-02-16\\example_2.sml";
[opening 2021-02-16\example_2.sml]
val f1 = fn : int * int -> int
val f2 = fn : int -> int -> int
val f3 = fn : real * real -> real
val f4 = fn : real * real -> real
2021-02-16\example_2.sml:13.1-13.10 Error: operator and operand do not agree [overload - bad instantiation]
  operator domain: real * real
  operand:         'Z[INT] * 'Y[INT]
  in expression:
    f4 (6,7)

uncaught exception CompileError
  raised at: ../compiler/TopLevel/interact/interact.sml:37.18-37.30
- use "2021-02-16\\example_2.sml";
[opening 2021-02-16\example_2.sml]
val f1 = fn : int * int -> int
val f2 = fn : int -> int -> int
val f3 = fn : real * real -> real
val f4 = fn : real * real -> real
2021-02-16\example_2.sml:13.1-13.12 Error: operator and operand do not agree [overload - bad instantiation]
  operator domain: real * real
  operand:         real * 'Z[INT]
  in expression:
    f4 (6.0,7)

uncaught exception CompileError
  raised at: ../compiler/TopLevel/interact/interact.sml:37.18-37.30
-
-
- use "2021-02-16\\example_2.sml";
[opening 2021-02-16\example_2.sml]
val f1 = fn : int * int -> int
val f2 = fn : int -> int -> int
val f3 = fn : real * real -> real
val f4 = fn : real * real -> real
2021-02-16\example_2.sml:13.1-13.12 Error: operator and operand do not agree [overload - bad instantiation]
  operator domain: real * real
  operand:         real * 'Z[INT]
  in expression:
    f4 (6.0,7)

uncaught exception CompileError
  raised at: ../compiler/TopLevel/interact/interact.sml:37.18-37.30
- use "2021-02-16\\example_2.sml";
[opening 2021-02-16\example_2.sml]
val f1 = fn : int * int -> int
val f2 = fn : int -> int -> int
val f3 = fn : real * real -> real
val f4 = fn : real * real -> real
val it = 13.0 : real
val f5 = fn : string -> char
val f6 = fn : string list -> char
val f7 = fn : real -> int -> real
val f8 = fn : real -> int -> int
val f9 = fn : real -> int -> int
val f10 = fn : real * int -> real
val it = (3,4) : int * int
val it = (3,4,5) : int * int * int
val it = (3,4,6,7) : int * int * int * int
val it = (1,2,3,4,5,6,7,8,9) :
  int * int * int * int * int * int * int * int * int
val f11 = fn : int -> int -> int -> int
val f12 = fn : int * int -> int -> int
val f13 = fn : int -> int * int -> int
val f14 = fn : int * int * int -> int
val f15 = fn : real -> real -> real -> real
val it = () : unit
- use "2021-02-16\\example_2.sml";
[opening 2021-02-16\example_2.sml]
2021-02-16\example_2.sml:11.23-13.14 Error: operator is not a function [circularity]
  operator: 'Z
  in expression:
    y f4

uncaught exception CompileError
  raised at: ../compiler/TopLevel/interact/interact.sml:37.18-37.30
-