ML错误：用LPAREN替换DARROW

Question

fun make_alt_record (stringlists, {x, y, z}) =
    case generate_alts (stringlists, x) of
    [] => {x, y, z}
      | alt::stringlists' => {name, y, z} 

generate_alts使用字符串列表和字符串，并生成字符串列表。 make_alt_record应该生成一个新记录。

相反，它会产生错误，如下所示：

hw2provided.sml:48.6-48.8 Error: syntax error: replacing  DARROW with  LPAREN
hw2provided.sml:49.23-49.25 Error: syntax error: replacing  DARROW with  AS
hw2provided.sml:65.1 Error: syntax error found at EOF

Answer 1

您的记录语法错误。您可以对记录进行模式匹配，但不能通过双关语创建它们。你需要，例如

  [] => {x = x, y = y, z = z}
| ... => {x = name, y = y, z = z}