Haskellでデバッグしたい

Question

haskellで２つの引数の最大公約数を表示する関数を作成したいです。
下記のような関数を作ったのですが、どこかが間違っていて無限ループに入ります
原因を調べるためにデバッグ用のprint(x y)を入れたのですがprintで
Parse error: module header, import declaration
or top-level declaration expected.
というエラーを吐かれました。
どうしたらデバッグできますか？

gcdivisor::Int -> Int -> Int--最大公約数
print(x y)
gcdivisor x y=
  if x>y
    then x--これなくせない？
    else gcdivisor x y
gcdivisor x y=
  if y<0
    then -1
    else gcdivisor x y
gcdivisor x y =
  if x`mod`y==0
  then y
  else gcdivisor y x`mod`y

Answer 1

モジュールの直下には import や定義しか書けませんので、ただの式である print(x y) は書けません。

デバッグ用に出力する場合は Debug.Trace.trace などを使用します。

使用方法は下記です。

import Debug.Trace

gcdivisor::Int -> Int -> Int--最大公約数
gcdivisor x y=
  trace (show (x, y)) $ -- 例えば「(3, 8)」などと表示される
    if x>y
      then x--これなくせない？
      else gcdivisor x y

---

ちなみに掲載のコードで一瞥しておかしいところは gcdivisor の1つめの定義しか使われないところですね。

gcdivisor::Int -> Int -> Int--最大公約数
gcdivisor x y= -- ← すべての引数でここにマッチする
  if x>y
    then x--これなくせない？
    else gcdivisor x y
gcdivisor x y= -- ← 上の定義にマッチするのでここや下の定義は使われない
  if y<0
    then -1
    else gcdivisor x y
gcdivisor x y =
  if x`mod`y==0
  then y
  else gcdivisor y x`mod`y

この問題を直すとしたらこうです（まだ他のバグがあると思いますが）。

gcdivisor :: Int -> Int -> Int
gcdivisor x y
  | x > y          = x
  | y < 0          = -1
  | x `mod` y == 0 = y
  | otherwise      = gcdivisor y $ x `mod` y

Comments

[退会済みユーザー]

ありがとうございます