These are chat archives for scalajp/functional

3rd
Jun 2015
kenji yoshida
@xuwei-k
Jun 03 2015 14:54
@pocketberserker すでにTuple2のShrinkあるから、こう書ける scalaprops/scalaprops-examples@64a6caa けど、その場でShrink作ってるのって、もとのサンプルを直訳した結果、わざとですか?
pocketberserker
@pocketberserker
Jun 03 2015 14:54
はい、わざとです
けど、別の例にしたほうがよさそうですね…
kenji yoshida
@xuwei-k
Jun 03 2015 14:56
どうなんですかね。まぁそのままでもいいとも思いますけど、わざと作ってることをコメントか何かで書いたほうがいいのだろうか
pocketberserker
@pocketberserker
Jun 03 2015 14:57
logictはちゃんと動いている…つまりscala-logicかscalazの挙動がおかしい…
あー、コメントに書くでもいいかもしれませんね
(どうせShrinkはそんなに定義しないだろうという…)
kenji yoshida
@xuwei-k
Jun 03 2015 14:59
えー、HaskellのLogicTちゃんと動いてるの・・・
pocketberserker
@pocketberserker
Jun 03 2015 15:18
splitの実装ミスかな…?
pocketberserker
@pocketberserker
Jun 03 2015 17:04
お、Haskellのlogictも満たさない例を作れた
さっき満たしていると勘違いしていたのは、テストに使っていた型のときはたまたま満たしていただけだった模様
pocketberserker
@pocketberserker
Jun 03 2015 17:09
@xuwei-k ということでscala-logicのいくつかのテストをコメントアウトします。
あとついでに実装ミスしている部分の修正コミットをsmallcheckブランチからいただきますー。