frasertweedale · February 27, 2020 02:04
diff --git a/hedgehog.txt b/hedgehog.txt
    message round trip with From header:                  FAIL (47.81s)
        ✗ message round trip with From header failed at tests/Message.hs:106:3
          after 866 tests and 69 shrinks.
         
              ┏━━ tests/Message.hs ━━━
          100 ┃ prop_messageFromRoundTrip :: Property
          101 ┃ prop_messageFromRoundTrip = property $ do
          102 ┃   from <- forAll genMailbox
              ┃   │ Mailbox (Just "\r\n") (AddrSpec "!" (DomainDotAtom ("!" :| [])))
          103 ┃   let
          104 ┃     l = headerFrom defaultCharsets
          105 ┃     msg = set l [from] (createTextPlainMessage "Hello")
          106 ┃   (view l <$> parse (message mime) (renderMessage msg)) === Right [from]
              ┃   ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
              ┃   │ ━━━ Failed (- lhs) (+ rhs) ━━━
              ┃   │   Right [
              ┃   │       Mailbox
              ┃   │ -       Just "=?us-ascii?Q? ?="
              ┃   │ +       Just "\r\n"
              ┃   │         AddrSpec "!" (DomainDotAtom ("!" :| []))
              ┃   │     ]
         
diff --git a/qc.txt b/qc.txt
    message round trip with From header:                  FAIL (3.89s)                                   
      *** Failed! Falsified (after 1090 tests):                                                          
      Mailbox (Just "\r\n\617309\990252F\SO{\36170\EOTE\rjxHg\NUL\375521\40710\878394\812276%\273790\USU2
 \NAK\DC1\FS=K#\SO\SYNAIA\37830\617194jP\201749\1025883cV3\98741\RS\\=\r5H'^o\109453\925605\247522<\775764
 \1029678I%\\.{e\1108491R9MT\942184KJ\EOTj\1080860\SOwB\162509\ENQ") (AddrSpec "Ad+j3dRo21+%_fQ|_^1SnUQhwq
 p7z2zimd}{|KaGI#F^4kIk9jO.%C6SUZ=$vNfiprz|O4j.bE1rAcfFP&9/C3L.OT-QDI=De5kF$qD=4dfNa`ReRBSX`J-PB}xaYIbEoCm
 IMsE{}.tvrjkuw=6=--dX|33Y/v+~kNbhGguS.xCM7bX2+|kH=lvRY3Z#QyGUb++ZvMI66e^3/yMM`K30Lud_kGnm`4cfdKv.VGLCF#.{
 !uVXd*|KI&A2oEa2awZ6oIrAUckzM9%qgz}A|1O9Sd~WdJ*plt?3$OI=WmU7B`.hlpz1'|6JtBuYoCpWwsL7m+d7vX?xDOSjbr/0FOxr|
 2N?p$nQ**P*R6pj2HfubS6VW-lap33WI^.MPYiQcw3SUfKVo0eU~zX3W#xCG4fxV~sswK&O2E9.0NXG_4zOJyWvv=-7`2e*jydY=sQeET
 h9=_~ypqW9D.xarK{XeP`#9gUJ2O!Jg7pb$t037mO3rjAwDKxs/VZZy}1{3NIzzuyl!cF~sCQAzS---6HtLvmEgYhWjijVH.Svl`sV#-y
 /}B8gUFK'l?Bnoj^pU-MI.Vrw{WFXLbZ09GW!cdtPObmhz}?v8xzz+LR`U?cBP!zuI=iRTK}_m#9PGJNH6WZcn3u4td-8y{rj_r^DKY{q
 K*w+kK.%x.cLIek|fzQ9dJLpaVI|fJx{!-~sFO-}Q_?7F#-naFR4s7#7=Y_U-%HXhKsK1qJC.{P3*F7==MCX6sGU^q5sh9M*L0fFF9knT
 h^A6ZAXYLS$BX}/31sU|}+Q!cdj#hGFRqcjp~IoHw|JGKK}/6Y?E%+cop.*&`rJM87aH!Nph&6pMU-U+Z3o-7L.HAoHW#-vfadyy+AA?O
 9LI2hU5xfkGAwz/T-7$Wr='x7-'+}AZ6yUGB.!&nq7`ViGdFM#Er0}yJtWFRi#/zNMf!_gtBitQH{=G}PefcLcPF^%S3K6qqsl.?NqTE0
 e&$%GHS.7AGCSviyx*-Bq|hA6+'!#{foj!$i.7evxp3cwoST#Bbz4CmJeAyUHMqsgnbW&fG08gOoBqBIuda#$q}G3e1G8f!b5w^_A}C.!
 =HPqzE1.4enC.QrCTo*~PE%`}5Q-/PPNXw|3!%^*s$YaFdvjPVegSJ4vuJAa6o{A-5pfW#-IT1}r?dw'y.`SzR&X#G%zFF%d%/wWS1cyZ
 f%WXox_j^qew1?4P!uBqb&&XxoLk*d*gOg-Uh/WG~#3Zqq`ZSw#}Cu'2&JK.83YmO!v0g$bNSixtQpV!-##0VHRC#flu~_`.*w^/HWm7s
 oMfEy^Sh082g3*R!vlPFCWZ7wk%J}GLxZcNut!%8p?+Y|A9}'Za5-{kkGMMH|G%dRcbL|.IQDP1VzCY'p'h+~{`|_Aba*Fl5ccRJhWyGC
 T._4#I%7TXR0FOH0+T%u67Per++r?kePkhWExZ6co{i#oBkZ6U&XHbrxV5Xy{#Dk#0|%0CgWy*{8t*+.&|}?/*i/Zp{LYJgWISJNqNkKx
 nZtPo04/MTH'.$R7ck6kvg2&vsCwqPLo`H%E*y$7`sw~9d*#53M4%KKw|qlN1h`*P2#&=6U{exw^'I^|?/`=-WOip/Cn{5`h'1X.l3B^N
 G?UP6lbO-%Dh7.|obTf3fH252SHx62hpeM8*Va}2Gv+5z`Pnun?EDL.Wx-EkiTsfsc05E3X`%WAtO3mgoc$TfFrX'JsSa_+k$/Hw8Mou=
 hh^7B2206}PSj%~W966_-VB.4w2.khd0'i^3Ie!#u%Lo0U54HctD1eJdHR2q.mZKa6b$|UT26dz$|eMg}$Qo+k`ron_nT~#32L9`P8y7.
 ft7tN{Lf}S&85#|32O6IJA3jE4gCz=ZN^1&Z9uDaUl|KJ3jGPHD.R~c~v!-rXY$Dx{MsJ'f~gz&4*UgWe|aO=8BQZF$gk_U1W_oy/TVJ2
 C9W%.Y%#hgwGxU?-g&PhoG+RfflLU-ad-m-%/`m+n-c+^/8^9kj&dG={0+bgkw0xrJh{PF1cKkWbN&.k1jtJXaqp442SHMenuYf2&R3VV
 ~~{Q}.iPFaih}fhC6yP%^'+AugNXl?jh*pLJb+U_0pz3+`QP3w9SS!EnH!0m`NZzbQ4%Moa.N}qMwRJnb#L{BE2d?+*-rmdL!YnV7E^EO
 tbQS~dmT5AVEOeHhz8*IchVaLl{Xvdubm0&XYO6GSzH|gO%#wO~Kl{h.AZ2N#$r&wKk-msV8ybJ9$LQ.*2=u+0pws3+8bdFdJJ&E/%Qa=
 BmN?rl~QZfxQq~|Vz*#s_ZTs4Kp^%2{0!cJOSI9|Dk.WL%H0pRgY.Ht?h{Xz3L!A^-AIcT{=U+YNssZnaJ%%=}8Ylp6zO.3L5SNnB&6G+
 b`6{e#p5565M4WDriUH4!IByU?US{TkQf5c8WP3}XirW1RJDT~-e=u!v4mj63QBaYYr6.rx*NJ8olK+Xu3Z4&YI8C2?x_6`.M%6G.TX!U
 n0VOsNM8~Bss8XKA|.i9k}99EeOx%JqIXc+{u.Gu9Ns=d1}HasDj^IzFDSa5$SzeK.4hwf#a1Fcewp_PXOC-VKJuKz.8mG+Kjy4Pgxwm4
 `rv5lP%8{jEfjhsj9t$zsp4mb85J_ZyXbyFgWo2t1RT'-ReGCSh.ypHp!C/3UiFGJ_/#A|YSL?{#5b~`U0Y$xVvh9taFi#'NJcIy5H'3D
 *I.?KJ9ngID*l2M.Cg`*~yCdu{pXYG**8slMmHXA.zgw.9v-jzj'xti{E|+Pg~nT+b+w6BkJTx53|^Q6U^Ll#.COxJYvKowVc3Oy_l!6^
 2'4YtmFZHYL-e1U|e2c+aAMJTFNKbeEUMfCpjEX%$$?oS}^.9F33J$_1ALwi*+MNU&qvsLQ/WI^UnCd4+.Z/%xt.fMCbDzRJcZFN#=Qvi
 _C6Z|4LCf&0a4iM-Dg^|&YVr8wIfV0z$.1gQXg3__l2%ir-vXIQ{0pf}k!Ejx+#L|j_X6DBTit`s{2.Cx2d63gz&9IdkD6klHwx_{vKCu
 D9{}Pb7GvTqL4c6sAJ'H'XaxJa8-3.-WAewPr0h.|SwcuIFliH5-Ro8zigOb=92^ZR%aM8B5I$wbNrU}XB4#dYYAIlBP1Cx~?Fw7BqIV_
 ri^.z_znwUBWdhYK7^JYG0$F#Bk-rc%rfy*XiazKA2OuMs.k" (DomainDotAtom ("Ut||VyF|OIoq`9h`6!`_nL|s+b5OLb}VM!Qe'+
 1" :| ["UtT9C?7!stiF&i","u","52IO'0S9wrvodlpL`}M^N#K|6Hliu!hd`sk7t&wwD0S%H#ZWcvIf+ZCn{C$4Q38NZ/{hn2GdL0/l
 ZExv","wP{kH9SF2v?hH`81GI{aJyGmje3d1o`DRS4r4'rMzXs"])))
      Use --quickcheck-replay=822386 to reproduce.
	message round trip with From header: FAIL (47.81s)
	✗ message round trip with From header failed at tests/Message.hs:106:3
	after 866 tests and 69 shrinks.

	┏━━ tests/Message.hs ━━━
	100 ┃ prop_messageFromRoundTrip :: Property
	101 ┃ prop_messageFromRoundTrip = property $ do
	102 ┃ from <- forAll genMailbox
	┃ │ Mailbox (Just "\r\n") (AddrSpec "!" (DomainDotAtom ("!" :\| [])))
	103 ┃ let
	104 ┃ l = headerFrom defaultCharsets
	105 ┃ msg = set l [from] (createTextPlainMessage "Hello")
	106 ┃ (view l <$> parse (message mime) (renderMessage msg)) === Right [from]
	┃ ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
	┃ │ ━━━ Failed (- lhs) (+ rhs) ━━━
	┃ │ Right [
	┃ │ Mailbox
	┃ │ - Just "=?us-ascii?Q? ?="
	┃ │ + Just "\r\n"
	┃ │ AddrSpec "!" (DomainDotAtom ("!" :\| []))
	┃ │ ]
	message round trip with From header: FAIL (3.89s)
	*** Failed! Falsified (after 1090 tests):
	Mailbox (Just "\r\n\617309\990252F\SO{\36170\EOTE\rjxHg\NUL\375521\40710\878394\812276%\273790\USU2
	\NAK\DC1\FS=K#\SO\SYNAIA\37830\617194jP\201749\1025883cV3\98741\RS\\=\r5H'^o\109453\925605\247522<\775764
	\1029678I%\\.{e\1108491R9MT\942184KJ\EOTj\1080860\SOwB\162509\ENQ") (AddrSpec "Ad+j3dRo21+%_fQ\|_^1SnUQhwq
	p7z2zimd}{\|KaGI#F^4kIk9jO.%C6SUZ=$vNfiprz\|O4j.bE1rAcfFP&9/C3L.OT-QDI=De5kF$qD=4dfNa`ReRBSX`J-PB}xaYIbEoCm
	IMsE{}.tvrjkuw=6=--dX\|33Y/v+~kNbhGguS.xCM7bX2+\|kH=lvRY3Z#QyGUb++ZvMI66e^3/yMM`K30Lud_kGnm`4cfdKv.VGLCF#.{
	!uVXd\|KI&A2oEa2awZ6oIrAUckzM9%qgz}A\|1O9Sd~WdJplt?3$OI=WmU7B`.hlpz1'\|6JtBuYoCpWwsL7m+d7vX?xDOSjbr/0FOxr\|
	2N?p$nQ*PR6pj2HfubS6VW-lap33WI^.MPYiQcw3SUfKVo0eU~zX3W#xCG4fxV~sswK&O2E9.0NXG_4zOJyWvv=-7`2e*jydY=sQeET
	h9=_~ypqW9D.xarK{XeP`#9gUJ2O!Jg7pb$t037mO3rjAwDKxs/VZZy}1{3NIzzuyl!cF~sCQAzS---6HtLvmEgYhWjijVH.Svl`sV#-y
	/}B8gUFK'l?Bnoj^pU-MI.Vrw{WFXLbZ09GW!cdtPObmhz}?v8xzz+LR`U?cBP!zuI=iRTK}_m#9PGJNH6WZcn3u4td-8y{rj_r^DKY{q
	Kw+kK.%x.cLIek\|fzQ9dJLpaVI\|fJx{!-~sFO-}Q_?7F#-naFR4s7#7=Y_U-%HXhKsK1qJC.{P3F7==MCX6sGU^q5sh9M*L0fFF9knT
	h^A6ZAXYLS$BX}/31sU\|}+Q!cdj#hGFRqcjp~IoHw\|JGKK}/6Y?E%+cop.*&`rJM87aH!Nph&6pMU-U+Z3o-7L.HAoHW#-vfadyy+AA?O
	9LI2hU5xfkGAwz/T-7$Wr='x7-'+}AZ6yUGB.!&nq7`ViGdFM#Er0}yJtWFRi#/zNMf!_gtBitQH{=G}PefcLcPF^%S3K6qqsl.?NqTE0
	e&$%GHS.7AGCSviyx*-Bq\|hA6+'!#{foj!$i.7evxp3cwoST#Bbz4CmJeAyUHMqsgnbW&fG08gOoBqBIuda#$q}G3e1G8f!b5w^_A}C.!
	=HPqzE1.4enC.QrCTo~PE%`}5Q-/PPNXw\|3!%^s$YaFdvjPVegSJ4vuJAa6o{A-5pfW#-IT1}r?dw'y.`SzR&X#G%zFF%d%/wWS1cyZ
	f%WXox_j^qew1?4P!uBqb&&XxoLkdgOg-Uh/WG~#3Zqq`ZSw#}Cu'2&JK.83YmO!v0g$bNSixtQpV!-##0VHRC#flu~_`.*w^/HWm7s
	oMfEy^Sh082g3R!vlPFCWZ7wk%J}GLxZcNut!%8p?+Y\|A9}'Za5-{kkGMMH\|G%dRcbL\|.IQDP1VzCY'p'h+~{`\|_AbaFl5ccRJhWyGC
	T._4#I%7TXR0FOH0+T%u67Per++r?kePkhWExZ6co{i#oBkZ6U&XHbrxV5Xy{#Dk#0\|%0CgWy{8t+.&\|}?/*i/Zp{LYJgWISJNqNkKx
	nZtPo04/MTH'.$R7ck6kvg2&vsCwqPLo`H%Ey$7`sw~9d#53M4%KKw\|qlN1h`*P2#&=6U{exw^'I^\|?/`=-WOip/Cn{5`h'1X.l3B^N
	G?UP6lbO-%Dh7.\|obTf3fH252SHx62hpeM8*Va}2Gv+5z`Pnun?EDL.Wx-EkiTsfsc05E3X`%WAtO3mgoc$TfFrX'JsSa_+k$/Hw8Mou=
	hh^7B2206}PSj%~W966_-VB.4w2.khd0'i^3Ie!#u%Lo0U54HctD1eJdHR2q.mZKa6b$\|UT26dz$\|eMg}$Qo+k`ron_nT~#32L9`P8y7.
	ft7tN{Lf}S&85#\|32O6IJA3jE4gCz=ZN^1&Z9uDaUl\|KJ3jGPHD.R~c~v!-rXY$Dx{MsJ'f~gz&4*UgWe\|aO=8BQZF$gk_U1W_oy/TVJ2
	C9W%.Y%#hgwGxU?-g&PhoG+RfflLU-ad-m-%/`m+n-c+^/8^9kj&dG={0+bgkw0xrJh{PF1cKkWbN&.k1jtJXaqp442SHMenuYf2&R3VV
	~~{Q}.iPFaih}fhC6yP%^'+AugNXl?jhpLJb+U_0pz3+`QP3w9SS!EnH!0m`NZzbQ4%Moa.N}qMwRJnb#L{BE2d?+-rmdL!YnV7E^EO
	tbQS~dmT5AVEOeHhz8IchVaLl{Xvdubm0&XYO6GSzH\|gO%#wO~Kl{h.AZ2N#$r&wKk-msV8ybJ9$LQ.2=u+0pws3+8bdFdJJ&E/%Qa=
	BmN?rl~QZfxQq~\|Vz*#s_ZTs4Kp^%2{0!cJOSI9\|Dk.WL%H0pRgY.Ht?h{Xz3L!A^-AIcT{=U+YNssZnaJ%%=}8Ylp6zO.3L5SNnB&6G+
	b`6{e#p5565M4WDriUH4!IByU?US{TkQf5c8WP3}XirW1RJDT~-e=u!v4mj63QBaYYr6.rx*NJ8olK+Xu3Z4&YI8C2?x_6`.M%6G.TX!U
	n0VOsNM8~Bss8XKA\|.i9k}99EeOx%JqIXc+{u.Gu9Ns=d1}HasDj^IzFDSa5$SzeK.4hwf#a1Fcewp_PXOC-VKJuKz.8mG+Kjy4Pgxwm4
	`rv5lP%8{jEfjhsj9t$zsp4mb85J_ZyXbyFgWo2t1RT'-ReGCSh.ypHp!C/3UiFGJ_/#A\|YSL?{#5b~`U0Y$xVvh9taFi#'NJcIy5H'3D
	I.?KJ9ngIDl2M.Cg`~yCdu{pXYG*8slMmHXA.zgw.9v-jzj'xti{E\|+Pg~nT+b+w6BkJTx53\|^Q6U^Ll#.COxJYvKowVc3Oy_l!6^
	2'4YtmFZHYL-e1U\|e2c+aAMJTFNKbeEUMfCpjEX%$$?oS}^.9F33J$_1ALwi*+MNU&qvsLQ/WI^UnCd4+.Z/%xt.fMCbDzRJcZFN#=Qvi
	_C6Z\|4LCf&0a4iM-Dg^\|&YVr8wIfV0z$.1gQXg3__l2%ir-vXIQ{0pf}k!Ejx+#L\|j_X6DBTit`s{2.Cx2d63gz&9IdkD6klHwx_{vKCu
	D9{}Pb7GvTqL4c6sAJ'H'XaxJa8-3.-WAewPr0h.\|SwcuIFliH5-Ro8zigOb=92^ZR%aM8B5I$wbNrU}XB4#dYYAIlBP1Cx~?Fw7BqIV_
	ri^.z_znwUBWdhYK7^JYG0$F#Bk-rc%rfy*XiazKA2OuMs.k" (DomainDotAtom ("Ut\|\|VyF\|OIoq`9h`6!`_nL\|s+b5OLb}VM!Qe'+
	1" :\| ["UtT9C?7!stiF&i","u","52IO'0S9wrvodlpL`}M^N#K\|6Hliu!hd`sk7t&wwD0S%H#ZWcvIf+ZCn{C$4Q38NZ/{hn2GdL0/l
	ZExv","wP{kH9SF2v?hH`81GI{aJyGmje3d1o`DRS4r4'rMzXs"])))
	Use --quickcheck-replay=822386 to reproduce.