如何在 OCaml 中使用断言？

How to use assert in OCaml?

我正在尝试学习 OCaml，但我遇到了断言语句的问题。在解释器中我可以使用它：

1
2
3
4
5
6
7
8

Zameers-MacBook-Air:~ zmanji$ ocaml
OCaml version 4.01.0

# let x = 1;;
val x : int = 1
# assert(x > 2);;
Exception: Assert_failure ("//toplevel//", 1, 0).
# ^D

但是，当我将代码放入如下所示的文件中时：

1 2	let x = 1 assert(x > 2)

我收到以下错误：

1
2
3

Zameers-MacBook-Air:Q4 zmanji$ ocaml test.ml
File"test.ml", line 2, characters 0-6:
Error: Syntax error

我做错了什么？

如果您将 ;; 放入文件中，它将起作用。没有它，它在语法上没有意义。表达式 1 后跟关键字 assert 没有意义。

我不太喜欢在实际代码中使用 ;;(不是在顶层，即解释器)。如果你也想避免它，你可以写

1 2	let x = 1 let () = assert (x > 2)