Skip to content

Commit 212114c

Browse files
igrepkakkun61
andauthored
Update preprocessed-site/posts/2019/hiw-ghc-future.md
> 「GHCが推論した型にマッチする関数を」が長めなので「エラーメッセージに」を後に置いた方が「付記する」にかかることが明示的になると思いました。 Co-Authored-By: Kazuki Okamoto <kakkun61@gmail.com>
1 parent 54f7916 commit 212114c

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

preprocessed-site/posts/2019/hiw-ghc-future.md

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -23,7 +23,7 @@ tags: GHC, Haskell Implementors' Workshop
2323
[昨年のHaskell Symposiumでも発表](https://icfp18.sigplan.org/details/haskellsymp-2018-papers/10/Suggesting-Valid-Hole-Fits-for-Typed-Holes-Experience-Report-)されてGHC 8.6で導入された、「Valid Hole Fits」という機能のさらなる拡張について。
2424

2525
まず、「Valid Hole Fits」という機能について軽く紹介します<small>(詳しくは[こちらのスライド](https://wataru86.github.io/slides/vhs/)が参考になるかと思います)</small>。
26-
「Valid Hole Fits」はアンダースコア `_`で始まる識別子を書いたとき、エラーメッセージにGHCが推論した型にマッチする関数を付記することで、ユーザーがどんな式を書けばよいか、ヒントを与えてくれるものです。
26+
「Valid Hole Fits」はアンダースコア `_`で始まる識別子を書いたとき、GHCが推論した型にマッチする関数をエラーメッセージに付記することで、ユーザーがどんな式を書けばよいか、ヒントを与えてくれるものです。
2727

2828
例えば、
2929

0 commit comments

Comments
 (0)