2012-01-09 26 views
1

ので、streams上のサンプルコードと一緒に以下の、これはGHCiのにロードすることに失敗しましたか?ありがとう!無効な型シグネチャは

アップデート:私はちょうどintsFrom :: MyStream Integerを入力すると、私はエラーを取得する:

stream.hs:4:1: 
    The equation(s) for `intsFrom' have one argument, 
    but its type `MyStream Integer' has none 
Failed, modules loaded: none. 
+2

ああ、壊れたタイプの署名には申し訳ありません。私は記事を更新しました。 – shang

答えて

6

それはあなたの署名はこのような何かになりたいように見えますintsFromの結果です。

4

あなただけのパラメータ名を追加しない、型シグネチャに沿って関数名を使用する必要があります。だからではなく、

intsFrom n :: MyStream Integer 

使用

intsFrom :: MyStream Integer 

のまた、あなたは宣言型は機能と一致することを確認する必要があります。関数がIntegerパラメータを取りますので、正しい署名は次のようになります。

intsFrom :: Integer -> MyStream Integer 

Integerここにあなたの引数があり、かつMyStream Integerは次のとおりです。

intsFrom :: Integer -> MyStream Integer 
関連する問題