1

下面的代码在输入 REPL 时有效：

type seat = seat_type * int
val my_seat = (Window, 13)

fun aow seat =
    case seat of
    (Window,_) => "Window"
      | (Aisle,_) => "Aisle"

fun is_window (x,_) = x = Window

aow my_seat
is_window my_seat

但是如果保存在文件中并编译，则表达式aow my_seat并is_window my_seat在编译过程中失败并出现以下错误：

test1.sml:12.23-16.18 Error: operator is not a function [tycon mismatch]
  operator: seat_type
  in expression:
    Window aow

uncaught exception Error
  raised at: ../compiler/TopLevel/interact/evalloop.sml:66.19-66.27
             ../compiler/TopLevel/interact/evalloop.sml:44.55
             ../compiler/TopLevel/interact/evalloop.sml:296.17-296.20

如果我将它们注释掉，文件就会编译，当我在 REPL 中输入这两个表达式时，它们就会起作用。什么可能导致此错误？而且，如果它是相关的，关于我的数据类型和类型定义的评论是非常受欢迎的，因为我认为自己不适合这个主题。

4

1 回答 1

2

在两个表达式之前添加一个 val 语句，例如：

val x = aow my_seat
val y = is_window my_seat

让文件编译。看到这一点，我也尝试在 aow 和 is_window 函数之前替换 fun 。但是，这会导致以下非常合乎逻辑的错误：

Error: syntax error: replacing  VAL with  FUN

显然，SML 在编译期间不允许自由表达。

于 2013-07-14T00:01:39.753 回答