ハスケル、取り除くことができない可能性のあるインデントエラー

Question

私は問題があり、それが何であるかを知ることができません。何度も何度もやり直してきましたが、解決策を見つけることができません。これに依存することができる他に何かありますか？

コード：

type Triple = (Prime, Quot, Gen) 

correctness :: Triple -> Bool 
correctness (p,q,g) = prime && pLength && qLength && divisor && orderq 
      where prime = probablyPrime n 5 
       qLength = q < 2^1024 
       pLength = p < 2^160 
       divisor = (p-1 `mod` q) == 0 
       orderq = (g^q mod p == 1) && (g > 1) 

エラーメッセージ（ラインへの94に相当する "正しさ::トリプル - >ブール"）：

crypt.hs:94:0: parse error (possibly incorrect indentation) 

編集：私は、問題を解決しました。上記の関数で構文エラーが発生しました。私が持っていたotherwise m_ify m*2代わりのotherwise = m_ify m*2

Answer 1

試してみてください。

type Triple = (Prime, Quot, Gen) 

correctness :: Triple -> Bool 
correctness (p,q,g) = prime && pLength && qLength && divisor && orderq 
      where 
       prime = probablyPrime n 5 
       qLength = q < 2^1024 
       pLength = p < 2^160 
       divisor = (p-1 `mod` q) == 0 
       orderq = (g^q mod p == 1) && (g > 1) 

読む - http://www.haskell.org/onlinereport/syntax-iso.htmlから9.3レイアウト

Answer 2

WORKSFORME、右型エラーにジャンプします。

はライン92

type Triple = (Prime, Quot, Gen) 

行されますが、どこか別の場所から移動することにしましたか？実際に発生する場所よりも後でエラーが発生することがあります。私は92行目（恐らく近く）の上のカッコが一致していないかチェックします。

場合によっては、見えないユニコード文字が私のコードに潜入しているようです。再タイピングが時折働いています。

Answer 3

最後の行にあるmodの周りにバックティックを追加するだけでよい場合があります。これは、あなたが報告インデントエラーが発生していないだろうが、以下は私のためにコンパイルされます。

n = undefined 
probablyPrime = undefined 
type Prime = Int 
type Quot = Int 
type Gen = Int 

type Triple = (Prime, Quot, Gen) 

correctness :: Triple -> Bool 
correctness (p,q,g) = prime && pLength && qLength && divisor && orderq 
      where prime = probablyPrime n 5 
       qLength = q < 2^1024 
       pLength = p < 2^160 
       divisor = (p-1 `mod` q) == 0 
       orderq = (g^q `mod` p == 1) && (g > 1) 

（離れて最初の5行から）ここでの唯一の変更は、最後の行です。