repl.expect

#!/usr/bin/env expect
spawn ./repl.native

set timeout 5

set prompt {> }

expect -re $prompt
send "7;;\r"
expect {
    "7: int" {}
    timeout { exit 1 }
}

expect -re $prompt
send "type foo = A | B of int;;\r"

expect -re $prompt
send "A;;\r"
expect {
    "A: foo" {}
    timeout { exit 1 }
}

expect -re $prompt
send "B 7;;\r"
expect {
    "B 7: foo" {}
    timeout { exit 1 }
}

expect -re $prompt
send "let f x = match x with A -> 0 | B i -> i;;\r"

expect -re $prompt
send "f;;\r"
expect {
    "<fun>: foo -> int" {}
    timeout { exit 1 }
}

expect -re $prompt
send "f A;;\r"
expect {
    "0: int" {}
    timeout { exit 1 }
}

expect -re $prompt
send "f (B 3);;\r"
expect {
    "3: int" {}
    timeout { exit 1 }
}

expect -re $prompt
send "type bar = C of foo;;\r"

expect -re $prompt
send "C A;;\r"
expect {
    "C A: bar" {}
    timeout { exit 1 }
}

expect -re $prompt
send "f (C A);;\r"
expect {
    "unification failed" {}
    timeout { exit 1 }
}

expect -re $prompt
send "((), 7);;\r"
expect {
    "((), 7): (unit, int)" {}
    timeout { exit 1 }
}

expect -re $prompt
send "3 * (7 - (1 + 2));;\r"
expect {
    "12: int" {}
    timeout { exit 1 }
}

expect -re $prompt
send "let x = 7;;\r"

expect -re $prompt
send "print_int x;; print_newline ();;\r"
expect {
    "7\r" {}
    timeout { exit 1 }
}
expect {
    "(): unit" {}
    timeout { exit 1 }
}


expect -re $prompt
send "let f x y = x + y;;\r"

expect -re $prompt
send "f;;\r"
expect {
    "<fun>: int -> int -> int" {}
    timeout { exit 1 }
}

expect -re $prompt
send "let g = f 1;;\r"

expect -re $prompt
send "g;;\r"
expect {
    "<fun>: int -> int" {}
    timeout { exit 1 }
}

expect -re $prompt
send "let h = f 2;;\r"

expect -re $prompt
send "h;;\r"
expect {
    "<fun>: int -> int" {}
    timeout { exit 1 }
}

expect -re $prompt
send "g 2;;\r"
expect {
    "3: int" {}
    timeout { exit 1 }
}

expect -re $prompt
send "h 2;;\r"
expect {
    "4: int" {}
    timeout { exit 1 }
}

expect -re $prompt
send "let sum n = let rec go acc i = match i with 0 -> acc | _ -> go (acc + i) (i - 1) in go 0 n;;\r"

expect -re $prompt
send "sum;;\r"
expect {
    "<fun>: int -> int" {}
    timeout { exit 1 }
}

expect -re $prompt
send "sum 6;;\r"
expect {
    "21: int" {}
    timeout { exit 1 }
}

expect -re $prompt
send "let rec fib n = match n with 0 -> 0 | 1 -> 1 | n -> (fib (n - 1)) + (fib (n - 2));;\r"

expect -re $prompt
send "fib 5;;\r"
expect {
    "5: int" {}
    timeout { exit 1 }
}

expect -re $prompt
send "fib 6;;\r"
expect {
    "8: int" {}
    timeout { exit 1 }
}