問題タブ [liquid-haskell]
For questions regarding programming in ECMAScript (JavaScript/JS) and its various dialects/implementations (excluding ActionScript). Note JavaScript is NOT the same as Java! Please include all relevant tags on your question; e.g., [node.js], [jquery], [json], [reactjs], [angular], [ember.js], [vue.js], [typescript], [svelte], etc.
34 問題
0
投票する
1
に答える
54
参照
haskell - PS で新しいバイト文字列を作成する Liquid haskell
私は Haskell から C へのバインディングを作成し、LiquidHaskell でより安全にしようとしています。LH 型注釈でバイト文字列の長さを指定するのに問題があります。
私は、LiquidHaskell に長さを含む拡張 ByteString 型を持っています。
Liquidhaskell を実行すると、次のエラーが表示されます。
47 行目は次のとおりです。
(これはちょっとばかげた機能のように思えますが、問題が見つかるまでビットを分解して LH 注釈を付けるというデバッグ プロセスがあったため、この機能が組み込まれました。)
関連するインポートは次のとおりです。
LH NonNeg タイプは