ML编译函数中的错误

时间:2013-06-13 17:29:20

标签: compilation smlnj ml

在修复以下代码几个小时之后,我遇到了以下编译错误消息,无论我尝试什么,我都无法修复它。

错误:语法错误:删除END RPAREN FUN

代码是:

 fun we  (array1 , k, n, fif1) = if Queue.isEmpty fif1 then (array1, ~1 , n ,
   fif1 )
    else (  
     let
        val b = Queue.head(fif1)
        val y = Queue.dequeue(fif1)
        val z = #1 b
        in 
            if ( (Array.sub (array1 , z))  = (What) ) then (array1 , #2 y ,    n    , fif1 ) else 
            (
            if (Array.sub (array1 ,(z+n) ) <> ( Block) ) then (
            ( Queue.enqueue ( fif1 , (z, (#2 b) ))) ; Array.update (array1 , ((z)+n) , Block)) else (); 
            if ( (Array.sub (array1 , (z+1)) ) <> ( Block) ) then (
            Queue.enqueue ( fif1 ,((z+1), ((#2b) + 1)));  Array.update (array1 , (z+1) , Block)) else () ; 
            if (Array.sub (array1 , (z-1 ) ) <> ( Block) ) then (
            Queue.enqueue ( fif1 , (((z-1), ((#2 b)+1) ) )) ; Array.update (array1 , (z-1) , Block)) else () ; 
            if ( (Array.sub (array1 , (z-n ) )) <> (Block) ) then 
            ( Queue.enqueue ( fif1 , ((z-n), ((#2 b)+2 )) );  Array.update (array1 , (z-n) , Block) ) else () ;
            we (array1 , k, n , fif1));
        end ) 

fun tb filename =
let
 val (n, array1) = parse filename
 val c = findt (T, array1, 0) 
 val fif1 = Queue.mkQueue ()
in
  #2 we (array1, 0, n, Queue.enqueue (fif1 , (c,0) ) )
end

并且错误消息是关于代码的这一部分

we (array1 , k, n , fif1));
            end ) 

    fun tb filename =

任何可能的帮助将不胜感激,提前感谢!

1 个答案:

答案 0 :(得分:1)

            we (array1 , k, n , fif1));
        end )

在SML ;中是语句分隔符,而不是语句终结符。这意味着:如果你有一个包含多个语句的块,你可以在语句之间放置;,但是你不要在块中的最后一个语句之后放置;。换句话说:;之后应该没有we (array1 , k, n , fif1))

#2 we (array1, 0, n, Queue.enqueue (fif1 , (c,0) ) )

在这里,您使用两个参数调用#2:函数we和元组(array1,...)。你打算做的是用元组作为参数调用we,然后以结果作为参数调用#2。那将是#2 (we (array1, 0, n, Queue.enqueue (fif1 , (c,0) ) ) )