Standard ML of New Jersey (32-bit) v110.99 [built: Thu Dec 24 11:01:10 2020]
- val x = 6;
val x = 6 : int
- x;
val it = 6 : int
- val z = 7;
val z = 7 : int
-
- z + (val w = 14);
stdIn:5.5-5.11 Error: syntax error: deleting  LPAREN VAL IDA
- z + (val w = 14);
stdIn:1.6-1.12 Error: syntax error: deleting  LPAREN VAL IDA
- val w = 14;
val w = 14 : int
-
- 4 + 6;
val it = 10 : int
- 4 + 6
;
val it = 10 : int
- 4 +
= 7
= ;
val it = 11 : int
- 4 * 6 + 6;
val it = 30 : int
- "cat";
val it = "cat" : string
- 6;
val it = 6 : int
- 6.5;
val it = 6.5 : real
- "cat" ^ "dog";
val it = "catdog" : string
- 4 + 5;
val it = 9 : int
- 4.0 + 5.0;
val it = 9.0 : real
- 4 + 5.0;
stdIn:28.1-28.8 Error: operator and operand do not agree [overload - bad instantiation]
  operator domain: 'Z[INT] * 'Z[INT]
  operand:         'Z[INT] * real
  in expression:
    4 + 5.0
- 5.0 + 4;
stdIn:1.2-11.6 Error: operator and operand do not agree [overload - bad instantiation]
  operator domain: real * real
  operand:         real * 'Z[INT]
  in expression:
    5.0 + 4
- 4 - 5;
val it = ~1 : int
- -34;
stdIn:31.1 Error: expression or pattern begins with infix identifier "-"
stdIn:31.1-31.4 Error: operator and operand do not agree [overload - bad instantiation]
  operator domain: 'Z[OL(-)] * 'Z[OL(-)]
  operand:         'Y[INT]
  in expression:
    - 34
-
- -1;
stdIn:35.1 Error: expression or pattern begins with infix identifier "-"
stdIn:35.1-35.3 Error: operator and operand do not agree [overload - bad instantiation]
  operator domain: 'Z[OL(-)] * 'Z[OL(-)]
  operand:         'Y[INT]
  in expression:
    - 1
- ~1;
val it = ~1 : int
- 3 + 4;
val it = 7 : int
- 3.0 + 4.0;
val it = 7.0 : real
- 3.0 + 4.0;
val it = 7.0 : real
- 3 + 4;
val it = 7 : int
- "cat" ^ "dog";
val it = "catdog" : string
- "cat" ^ 8;
stdIn:44.1-44.10 Error: operator and operand do not agree [overload - bad instantiation]
  operator domain: string * string
  operand:         string * 'Z[INT]
  in expression:
    "cat" ^ 8
- "cat" ^ string(8);
stdIn:36.5-38.3 Error: unbound variable or constructor: string
- "cat" ^ str(8);
stdIn:1.2-38.3 Error: operator and operand do not agree [overload - bad instantiation]
  operator domain: char
  operand:         'Z[INT]
  in expression:
    str 8
-
- "cat";
val it = "cat" : string
- 's'
= ;
= '
stdIn:50.1 Error: illegal token
- #"s";
val it = #"s" : char
- "cat" ^ #"s";
stdIn:51.1-51.13 Error: operator and operand do not agree [tycon mismatch]
  operator domain: string * string
  operand:         string * char
  in expression:
    "cat" ^ #"s"
- "cat" ^ str(#"s");
val it = "cats" : string
-
- "cat" ^ str(#"s");
val it = "cats" : string
- 5.1 + real(4);
val it = 9.1 : real
- val x = 4;
val x = 4 : int
- 5.1 + real(x);
val it = 9.1 : real
-
-
-
- 4;
val it = 4 : int
- 4.1;
val it = 4.1 : real
- #"4";
val it = #"4" : char
- "4";
val it = "4" : string
- false;
val it = false : bool
- true;
val it = true : bool
-
-
- #"f";
val it = #"f" : char
- #"fg";
stdIn:70.1-70.5 Error: character constant not length 1
- "f";
val it = "f" : string
- "fg";
val it = "fg" : string
-
- #"&";
val it = #"&" : char
-
-
- 'f';
= ;
= ;
stdIn:77.1-78.2 Error: syntax error: deleting  TYVAR SEMICOLON SEMICOLON
-
-
- '4';
= ;
= ;
stdIn:82.1-83.2 Error: syntax error: deleting  TYVAR SEMICOLON SEMICOLON
-
-
- val x = 6;
val x = 6 : int
- val y = 6.3;
val y = 6.3 : real
- val w = "dog";
val w = "dog" : string
- x;
val it = 6 : int
- y;
val it = 6.3 : real
- w;
val it = "dog" : string
- val x2 = 34.5;
val x2 = 34.5 : real
-
-
- val x;
= ;
= ;
= ;
stdIn:97.6-99.2 Error: syntax error: deleting  SEMICOLON SEMICOLON SEMICOLON
-
- val d2:real = 5.4;
val d2 = 5.4 : real
-
- val r1:real = 5;
stdIn:105.5-105.16 Error: pattern and expression in val dec do not agree [overload - bad instantiation]
  pattern:    real
  expression:    'Z[INT]
  in declaration:
    r1 : real = 5
- val r1 = 5;
val r1 = 5 : int
- val r1:int = 5;
val r1 = 5 : int
- val r1:string = 5;
stdIn:107.5-107.18 Error: pattern and expression in val dec do not agree [overload - bad instantiation]
  pattern:    string
  expression:    'Z[INT]
  in declaration:
    r1 : string = 5
- val r1 = "5";
val r1 = "5" : string
-
-
- val x5 = #"5";
val x5 = #"5" : char
-
-
- val x6 =  "fgh";
val x6 = "fgh" : string
-
-
- val t = (1,2,3,"cat", "dog");
val t = (1,2,3,"cat","dog") : int * int * int * string * string
-
-
- val t2 =(3, 3.4, #"g");
val t2 = (3,3.4,#"g") : int * real * char
- t2;
val it = (3,3.4,#"g") : int * real * char
- t1;
stdIn:123.1-123.3 Error: unbound variable or constructor: t1
- t;
val it = (1,2,3,"cat","dog") : int * int * int * string * string
- t2;
val it = (3,3.4,#"g") : int * real * char
- [1,2,3,4];
val it = [1,2,3,4] : int list
-
- [1,2,3.4, 5.6, 7];
stdIn:127.1-127.18 Error: operator and operand do not agree [overload - bad instantiation]
  operator domain: real * real list
  operand:         real * 'Z[INT] list
  in expression:
    5.6 :: 7 :: nil
stdIn:127.1-127.18 Error: operator and operand do not agree [overload - bad instantiation]
  operator domain: 'Z[INT] * 'Z[INT] list
  operand:         'Z[INT] * real list
  in expression:
    2 :: 3.4 :: 5.6 :: 7 :: nil
-
- [1,2,3, 5, 7];
val it = [1,2,3,5,7] : int list
-
-
- val l1 = [3,2,5,6,1,8];
val l1 = [3,2,5,6,1,8] : int list
- l1[3];
stdIn:133.1-133.6 Error: operator is not a function [tycon mismatch]
  operator: int list
  in expression:
    l1 (3 :: nil)
-
- hd l1;
val it = 3 : int
- tl l1;
val it = [2,5,6,1,8] : int list
- hd (tl l1);
val it = 2 : int
- l1;
val it = [3,2,5,6,1,8] : int list
-
- l1;
val it = [3,2,5,6,1,8] : int list
- hd li
= tl l1;
stdIn:144.4-144.6 Error: unbound variable or constructor: li
-
-
-
- hd l1;
val it = 3 : int
- tl l1;
val it = [2,5,6,1,8] : int list
- hd (tl (tl l1));
val it = 5 : int
- l1;
val it = [3,2,5,6,1,8] : int list
- hd (tl (tl l1));
val it = 5 : int
-
- 56;
val it = 56 : int
- 56.9;
val it = 56.9 : real
- "dog";
val it = "dog" : string
-
-
- val r5 = "cats";
val r5 = "cats" : string
-
-
- val r6 = (3, 4.5, "dog");
val r6 = (3,4.5,"dog") : int * real * string
- val r5 = [3, 4, 6];
val r5 = [3,4,6] : int list
-
-
- fun f x = 3 * x + 5;
val f = fn : int -> int
- f 5;
val it = 20 : int
- f 7;
val it = 26 : int
- f(7);
val it = 26 : int
- (f 7);
val it = 26 : int
- f;
val it = fn : int -> int
- fun g x = 3.0 * x + 5.0;
val g = fn : real -> real
-
-
- fun f x = 3 * x + 5;
val f = fn : int -> int
- f("cat");
stdIn:188.1-188.9 Error: operator and operand do not agree [tycon mismatch]
  operator domain: int
  operand:         string
  in expression:
    f "cat"
-
- fun f x = 3 * x + 5;