From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from eggs.gnu.org ([209.51.188.92]:52957) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1gjQSe-0006B7-Rm for guix-patches@gnu.org; Tue, 15 Jan 2019 10:17:06 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1gjQSd-00070r-5h for guix-patches@gnu.org; Tue, 15 Jan 2019 10:17:04 -0500 Received: from debbugs.gnu.org ([209.51.188.43]:60984) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1gjQSc-00070Y-WC for guix-patches@gnu.org; Tue, 15 Jan 2019 10:17:03 -0500 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1gjQSc-0005hj-K5 for guix-patches@gnu.org; Tue, 15 Jan 2019 10:17:02 -0500 Subject: [bug#33987] [PATCH] gnu: Add ghc-tldr. Resent-Message-ID: References: <878szz8fzn.fsf@gmail.com> <87k1j6q44t.fsf@gnu.org> From: Gabriel Hondet In-reply-to: <87k1j6q44t.fsf@gnu.org> Date: Tue, 15 Jan 2019 16:16:23 +0100 Message-ID: <87d0oydk8o.fsf@gmail.com> MIME-Version: 1.0 Content-Type: multipart/signed; boundary="=-=-="; micalg=pgp-sha256; protocol="application/pgp-signature" List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-patches-bounces+kyle=kyleam.com@gnu.org Sender: "Guix-patches" To: Ludovic =?UTF-8?Q?Court=C3=A8s?= Cc: 33987@debbugs.gnu.org --=-=-= Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Hello, On Mon 14 Jan 2019 at 23:13 Ludovic Court=C3=A8s wrote: > This fails to build for me on 64d25f0be214795050b058047133d11f1d5dcbf5: > > --8<---------------cut here---------------start------------->8--- > [1 of 1] Compiling Tldr ( src/Tldr.hs, dist/build/Tldr.o ) > > src/Tldr.hs:60:61: error: > =E2=80=A2 Couldn't match expected type =E2=80=98Text=E2=80=99 > with actual type =E2=80=98text-1.2.3.0:Data.Text.Intern= al.Text=E2=80=99 > NB: =E2=80=98text-1.2.3.0:Data.Text.Internal.Text=E2=80=99 > is defined in =E2=80=98Data.Text.Internal=E2=80=99 in package= =E2=80=98text-1.2.3.0=E2=80=99 > =E2=80=98Text=E2=80=99 is defined in =E2=80=98Data.Text.Interna= l=E2=80=99 in package =E2=80=98text-1.2.3.0=E2=80=99 > =E2=80=A2 In the second argument of =E2=80=98TIO.hPutStrLn=E2=80=99, = namely =E2=80=98txt=E2=80=99 > In the expression: TIO.hPutStrLn handle txt > In an equation for =E2=80=98renderNode=E2=80=99: > renderNode (TEXT txt) handle =3D TIO.hPutStrLn handle txt > | > 60 | renderNode (TEXT txt) handle =3D TIO.hPutStrLn handle txt > | ^^^ > > src/Tldr.hs:61:61: error: > =E2=80=A2 Couldn't match expected type =E2=80=98Text=E2=80=99 > with actual type =E2=80=98text-1.2.3.0:Data.Text.Intern= al.Text=E2=80=99 > NB: =E2=80=98text-1.2.3.0:Data.Text.Internal.Text=E2=80=99 > is defined in =E2=80=98Data.Text.Internal=E2=80=99 in package= =E2=80=98text-1.2.3.0=E2=80=99 > =E2=80=98Text=E2=80=99 is defined in =E2=80=98Data.Text.Interna= l=E2=80=99 in package =E2=80=98text-1.2.3.0=E2=80=99 > =E2=80=A2 In the second argument of =E2=80=98TIO.hPutStrLn=E2=80=99, = namely =E2=80=98txt=E2=80=99 > In the expression: TIO.hPutStrLn handle txt > In an equation for =E2=80=98renderNode=E2=80=99: > renderNode (HTML_BLOCK txt) handle =3D TIO.hPutStrLn handle txt > | > 61 | renderNode (HTML_BLOCK txt) handle =3D TIO.hPutStrLn handle txt > | ^^^ > > src/Tldr.hs:62:61: error: > =E2=80=A2 Couldn't match expected type =E2=80=98Text=E2=80=99 > with actual type =E2=80=98text-1.2.3.0:Data.Text.Intern= al.Text=E2=80=99 > NB: =E2=80=98text-1.2.3.0:Data.Text.Internal.Text=E2=80=99 > is defined in =E2=80=98Data.Text.Internal=E2=80=99 in package= =E2=80=98text-1.2.3.0=E2=80=99 > =E2=80=98Text=E2=80=99 is defined in =E2=80=98Data.Text.Interna= l=E2=80=99 in package =E2=80=98text-1.2.3.0=E2=80=99 > =E2=80=A2 In the second argument of =E2=80=98TIO.hPutStrLn=E2=80=99, = namely =E2=80=98txt=E2=80=99 > In the expression: TIO.hPutStrLn handle txt > In an equation for =E2=80=98renderNode=E2=80=99: > renderNode (CODE_BLOCK _ txt) handle =3D TIO.hPutStrLn handle t= xt > | > 62 | renderNode (CODE_BLOCK _ txt) handle =3D TIO.hPutStrLn handle txt > | ^^^ > > src/Tldr.hs:63:61: error: > =E2=80=A2 Couldn't match expected type =E2=80=98Text=E2=80=99 > with actual type =E2=80=98text-1.2.3.0:Data.Text.Intern= al.Text=E2=80=99 > NB: =E2=80=98text-1.2.3.0:Data.Text.Internal.Text=E2=80=99 > is defined in =E2=80=98Data.Text.Internal=E2=80=99 in package= =E2=80=98text-1.2.3.0=E2=80=99 > =E2=80=98Text=E2=80=99 is defined in =E2=80=98Data.Text.Interna= l=E2=80=99 in package =E2=80=98text-1.2.3.0=E2=80=99 > =E2=80=A2 In the second argument of =E2=80=98TIO.hPutStrLn=E2=80=99, = namely =E2=80=98txt=E2=80=99 > In the expression: TIO.hPutStrLn handle txt > In an equation for =E2=80=98renderNode=E2=80=99: > renderNode (HTML_INLINE txt) handle =3D TIO.hPutStrLn handle txt > | > 63 | renderNode (HTML_INLINE txt) handle =3D TIO.hPutStrLn handle txt > | ^^^ > > src/Tldr.hs:64:62: error: > =E2=80=A2 Couldn't match expected type =E2=80=98Text=E2=80=99 > with actual type =E2=80=98text-1.2.3.0:Data.Text.Intern= al.Text=E2=80=99 > NB: =E2=80=98text-1.2.3.0:Data.Text.Internal.Text=E2=80=99 > is defined in =E2=80=98Data.Text.Internal=E2=80=99 in package= =E2=80=98text-1.2.3.0=E2=80=99 > =E2=80=98Text=E2=80=99 is defined in =E2=80=98Data.Text.Interna= l=E2=80=99 in package =E2=80=98text-1.2.3.0=E2=80=99 > =E2=80=A2 In the second argument of =E2=80=98TIO.hPutStrLn=E2=80=99, = namely > =E2=80=98(" " <> txt)=E2=80=99 > In the expression: TIO.hPutStrLn handle (" " <> txt) > In an equation for =E2=80=98renderNode=E2=80=99: > renderNode (CODE txt) handle =3D TIO.hPutStrLn handle (" " <>= txt) > | > 64 | renderNode (CODE txt) handle =3D TIO.hPutStrLn handle (" "= <> txt) > | ^^^^^^^= ^^^^^ > > src/Tldr.hs:87:41: error: > =E2=80=A2 Couldn't match expected type =E2=80=98Text=E2=80=99 > with actual type =E2=80=98text-1.2.3.0:Data.Text.Intern= al.Text=E2=80=99 > NB: =E2=80=98text-1.2.3.0:Data.Text.Internal.Text=E2=80=99 > is defined in =E2=80=98Data.Text.Internal=E2=80=99 in package= =E2=80=98text-1.2.3.0=E2=80=99 > =E2=80=98Text=E2=80=99 is defined in =E2=80=98Data.Text.Interna= l=E2=80=99 in package =E2=80=98text-1.2.3.0=E2=80=99 > =E2=80=A2 In the expression: txt > In an equation for =E2=80=98handleSubsetNodeType=E2=80=99: > handleSubsetNodeType (HTML_BLOCK txt) =3D txt > | > 87 | handleSubsetNodeType (HTML_BLOCK txt) =3D txt > | ^^^ > > src/Tldr.hs:88:43: error: > =E2=80=A2 Couldn't match expected type =E2=80=98Text=E2=80=99 > with actual type =E2=80=98text-1.2.3.0:Data.Text.Intern= al.Text=E2=80=99 > NB: =E2=80=98text-1.2.3.0:Data.Text.Internal.Text=E2=80=99 > is defined in =E2=80=98Data.Text.Internal=E2=80=99 in package= =E2=80=98text-1.2.3.0=E2=80=99 > =E2=80=98Text=E2=80=99 is defined in =E2=80=98Data.Text.Interna= l=E2=80=99 in package =E2=80=98text-1.2.3.0=E2=80=99 > =E2=80=A2 In the expression: txt > In an equation for =E2=80=98handleSubsetNodeType=E2=80=99: > handleSubsetNodeType (CODE_BLOCK _ txt) =3D txt > | > 88 | handleSubsetNodeType (CODE_BLOCK _ txt) =3D txt > | ^^^ > > src/Tldr.hs:89:35: error: > =E2=80=A2 Couldn't match expected type =E2=80=98Text=E2=80=99 > with actual type =E2=80=98text-1.2.3.0:Data.Text.Intern= al.Text=E2=80=99 > NB: =E2=80=98text-1.2.3.0:Data.Text.Internal.Text=E2=80=99 > is defined in =E2=80=98Data.Text.Internal=E2=80=99 in package= =E2=80=98text-1.2.3.0=E2=80=99 > =E2=80=98Text=E2=80=99 is defined in =E2=80=98Data.Text.Interna= l=E2=80=99 in package =E2=80=98text-1.2.3.0=E2=80=99 > =E2=80=A2 In the expression: txt > In an equation for =E2=80=98handleSubsetNodeType=E2=80=99: > handleSubsetNodeType (TEXT txt) =3D txt > | > 89 | handleSubsetNodeType (TEXT txt) =3D txt > | ^^^ > > src/Tldr.hs:90:42: error: > =E2=80=A2 Couldn't match expected type =E2=80=98Text=E2=80=99 > with actual type =E2=80=98text-1.2.3.0:Data.Text.Intern= al.Text=E2=80=99 > NB: =E2=80=98text-1.2.3.0:Data.Text.Internal.Text=E2=80=99 > is defined in =E2=80=98Data.Text.Internal=E2=80=99 in package= =E2=80=98text-1.2.3.0=E2=80=99 > =E2=80=98Text=E2=80=99 is defined in =E2=80=98Data.Text.Interna= l=E2=80=99 in package =E2=80=98text-1.2.3.0=E2=80=99 > =E2=80=A2 In the expression: txt > In an equation for =E2=80=98handleSubsetNodeType=E2=80=99: > handleSubsetNodeType (HTML_INLINE txt) =3D txt > | > 90 | handleSubsetNodeType (HTML_INLINE txt) =3D txt > | ^^^ > > src/Tldr.hs:91:35: error: > =E2=80=A2 Couldn't match expected type =E2=80=98Text=E2=80=99 > with actual type =E2=80=98text-1.2.3.0:Data.Text.Intern= al.Text=E2=80=99 > NB: =E2=80=98text-1.2.3.0:Data.Text.Internal.Text=E2=80=99 > is defined in =E2=80=98Data.Text.Internal=E2=80=99 in package= =E2=80=98text-1.2.3.0=E2=80=99 > =E2=80=98Text=E2=80=99 is defined in =E2=80=98Data.Text.Interna= l=E2=80=99 in package =E2=80=98text-1.2.3.0=E2=80=99 > =E2=80=A2 In the expression: txt > In an equation for =E2=80=98handleSubsetNodeType=E2=80=99: > handleSubsetNodeType (CODE txt) =3D txt > | > 91 | handleSubsetNodeType (CODE txt) =3D txt > | ^^^ > > src/Tldr.hs:114:34: error: > =E2=80=A2 Couldn't match expected type =E2=80=98text-1.2.3.0:Data.Tex= t.Internal.Text=E2=80=99 > with actual type =E2=80=98Text=E2=80=99 > NB: =E2=80=98Text=E2=80=99 > is defined in =E2=80=98Data.Text.Internal=E2=80=99 in package= =E2=80=98text-1.2.3.0=E2=80=99 > =E2=80=98text-1.2.3.0:Data.Text.Internal.Text=E2=80=99 > is defined in =E2=80=98Data.Text.Internal=E2=80=99 in package= =E2=80=98text-1.2.3.0=E2=80=99 > =E2=80=A2 In the second argument of =E2=80=98commonmarkToNode=E2=80= =99, namely =E2=80=98page=E2=80=99 > In the expression: commonmarkToNode [] page > In an equation for =E2=80=98node=E2=80=99: node =3D commonmarkToNod= e [] page > | > 114 | let node =3D commonmarkToNode [] page > | ^^^^ > --8<---------------cut here---------------end--------------->8--- It builds correctly for me on 38f18309e1f13b1df9add9dafcbc634f0e15004c and on 64d25f0be214795050b058047133d11f1d5dcbf5 as well, so I don't know... But interestingly, I have already seen this error, with text-1.2.3.0 (when trying to build ghc-conduit-extra for instance). On the other hand I have removed two dependencies that were specified by the ~guix import~ command but seemed useless, as it works without them (ghc-text and ghc-ansi-terminal). * gnu/packages/haskell.scm (ghc-tldr): New variable. =2D-- gnu/packages/haskell.scm | 33 +++++++++++++++++++++++++++++++++ 1 file changed, 33 insertions(+) diff --git a/gnu/packages/haskell.scm b/gnu/packages/haskell.scm index 8d0e2aef6..280d0150f 100644 =2D-- a/gnu/packages/haskell.scm +++ b/gnu/packages/haskell.scm @@ -16,6 +16,7 @@ ;;; Copyright =C2=A9 2018 Tonton ;;; Copyright =C2=A9 2018 Timothy Sample ;;; Copyright =C2=A9 2018 Arun Isaac +;;; Copyright =C2=A9 2018 Gabriel Hondet ;;; ;;; This file is part of GNU Guix. ;;; @@ -11365,4 +11366,36 @@ embedded in your Haskell code.") avoid the problem of partial intermediate files.") (license license:expat))) =20 +(define-public ghc-tldr + (package + (name "ghc-tldr") + (version "0.4.0.1") + (source + (origin + (method url-fetch) + (uri (string-append + "https://hackage.haskell.org/package/tldr/tldr-" + version + ".tar.gz")) + (sha256 + (base32 + "0nc581y9jjzwd8l88g48c72mla7k6q1w102akl7gl5jsk9ljamd3")))) + (build-system haskell-build-system) + (inputs + `(("ghc-cmark" ,ghc-cmark) + ("ghc-optparse-applicative" ,ghc-optparse-applicative) + ("ghc-typed-process" ,ghc-typed-process) + ("ghc-semigroups" ,ghc-semigroups))) + (native-inputs + `(("ghc-tasty" ,ghc-tasty) + ("ghc-tasty-golden" ,ghc-tasty-golden))) + (home-page + "https://github.com/psibi/tldr-hs#readme") + (synopsis "Haskell tldr client") + (description "Haskell client allowing the user to update and view +@code{tldr} pages from a shell. The @code{tldr} pages are a community eff= ort +to simplify the man pages with practical examples.") + (license license:bsd-3))) + ;;; haskell.scm ends here =2D-=20 2.20.1 Gabriel --=-=-= Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- iQIzBAEBCAAdFiEE5ercJXBcjd3P1FcAMbyBBfZZ1CUFAlw9+UcACgkQMbyBBfZZ 1CWWrA/8DSYD9YKIEjMRjNwUBOnSPd0LfNFmXE/JgThuet83CGD3Dm2CavnQlqEu 1/DQoH9FT22qa0gNXFIKcbpmUlrKORF0vMtpSoxPnbbthPRRbYMk57li04sGjgt3 F06oUiZJ/Tip7XJ4LGkiBAuSJlCVY1UhbTogDDrEUEeD/71oL9UYqx+cnG3bfltT 3+i3S0SPkZyRBrUarge4LbSOA5np3FuWxMPMbI0w5kczrSrxfGcZR7WkWYaAkCiZ Oa3Xor1Z2Nt46IgZshgt5AkHTiOFJxUAyZipiv5OGfsIfnnORhWH84ohwOxcyGjv uUYibBM1oNLNAUEtg+rPjYgwZfsDwAI6ZAai4HU4+WB6fTQAAU2ntWee+DWbH7cm y3wbA0BuSnzXuE9B6/0Dl7K0zGq9+/cvb+xpgBUmilkf/YIwzc0ZxF9RmOHgujQ/ Cx1ruXXtpJ9oPUmqpTRRLE8OR9eHt+Ch/1FdT6J2l3o9iswkz/1YPdYq7IDKPw1I i4s9uigx8nWfSzQ1JsdmmJNG+wtqGXZ49nt3KPw0VoxBJ22hPn7UIeQ50wwDMlBR 2g2WywCkbbqHcePMc+QDAwBiEgzDzBHLlMHidGq6X/ivrVpj2oCtOTjIZf4zVGg4 ry9R89yV+snQQORbqe+NoHPSFHOS0A1RJS2q8z+dYH4NsduWayk= =nyw8 -----END PGP SIGNATURE----- --=-=-=--