問題タブ [liquid-haskell]

私はコードを持っています:

その上で LH を実行すると ( stack exec liquid -- MyFile.hs)、エラーが発生します。

T.headLH は の呼び出しが安全ではないと考えているようです。しかし、私は長さのチェックをしていT.length t > 0ます！LH が検証に合格できるように、この問題を修正する正規の方法は何ですか? さらに興味深いのは、コードを書き直さずに LH のみを使用することです。

最近、液体 Haskell をいじり始めましたが、見つけたすべてのチュートリアルから、次のような例を見つけることができませんでした。

次のことを試してみると、モジュールは期待どおりに型チェックを行いません。

ただし、何らかの理由で、以下はまだ型チェックを行いません。

エラーが発生します

さらに、getPerson _ = undefined行を省略すると、

Liquidhaskell で指定された前提条件のために、明らかにこの関数は全体ですが。

ここで何が間違っていますか？Maybe a私は基本的に、コンストラクターから来る型のサブタイプで推論できるようにしたいだけですが、Justこれを適切に行う場所の例はどこにも見つかりませんでした。