Re: hackage importer broken

[Federico Beffa]

On Fri, Feb 3, 2017 at 2:53 PM, Federico Beffa <address@hidden> wrote:
> Hi,
>
> I notice that with a recent Guix checkout (commit
> d8e85b20325073d90cfaf3060889d59d91362deb) the hackage importer doesn't
> work and the problem seems to be with Guile itself or the lalr parser
> coming with it:
>
> -------------------------------------------------------------------------------------------------------
> GNU Guile 2.0.13
> Copyright (C) 1995-2016 Free Software Foundation, Inc.
>
> Guile comes with ABSOLUTELY NO WARRANTY; for details type `,show w'.
> This program is free software, and you are welcome to redistribute it
> under certain conditions; type `,show c' for details.
>
> Enter `,help' for help.
> scheme@(guile-user)> ,m (guix import hackage)
> scheme@(guix import hackage)> (canonical-newline-port (http-fetch
> "https://hackage.haskell.org/package/hmatrix/hmatrix.cabal";
> #:verify-certificate? #f))
> $2 = #<input: r6rs-custom-binary-input-port 1b770d0>
> scheme@(guix import hackage)> (read-cabal $2)
> system/base/lalr.upstream.scm:1851:2: In procedure ___push:
> system/base/lalr.upstream.scm:1851:2: Wrong number of arguments to
> #<procedure ___push (delta new-category lvalue tok)>
>
> Entering a new prompt.  Type `,bt' for a backtrace or `,q' to continue.
> scheme@(guix import hackage) [1]> ,locals
>   Local variables:
>   $3 = delta = 1
>   $4 = new-category = 6
>   $5 = lvalue = (#<lexical-token category: PROPERTY source:
> #<source-location input: "…>)
> While executing meta-command:
> ERROR: In procedure frame-local-ref: Argument 2 out of range: 3
> scheme@(guix import hackage) [1]>
> -------------------------------------------------------------------------------------------------------
>
> Notice that inspecting the stack of the backtrace results in an error!
>
> The importer does work as expected with Guile 2.0.11:
>
> -------------------------------------------------------------------------------------------------------
> GNU Guile 2.0.11
> Copyright (C) 1995-2014 Free Software Foundation, Inc.
>
> Guile comes with ABSOLUTELY NO WARRANTY; for details type `,show w'.
> This program is free software, and you are welcome to redistribute it
> under certain conditions; type `,show c' for details.
>
> Enter `,help' for help.
> scheme@(guile-user)> ,m (guix import hackage)
> scheme@(guix import hackage)> (canonical-newline-port (http-fetch
> "https://hackage.haskell.org/package/hmatrix/hmatrix.cabal";
> #:verify-certificate? #f))
> $1 = #<input: r6rs-custom-binary-input-port 24bc340>
> scheme@(guix import hackage)> (read-cabal $1)
> $2 = (("name" ("hmatrix")) ("version" ("0.18.0.0")) ("license"
> ("BSD3")) ("license-file" ("LICENSE")) ("author" ("Alberto Ruiz"))
> ("maintainer" ("Alberto Ruiz")) ("stability" ("provisional"))
> ("homepage" ("https://github.com/albertoruiz/hmatrix";)) ("synopsis"
> ("Numeric Linear Algebra")) ("description" ("Linear systems, matrix
> decompositions, and other numerical computations based on BLAS and
> LAPACK. . Standard interface: \"Numeric.LinearAlgebra\". . Safer
> interface with statically checked dimensions:
> \"Numeric.LinearAlgebra.Static\". . Code examples:
> <http://dis.um.es/~alberto/hmatrix/hmatrix.html>")) ("category"
> ("Math")) ("tested-with" ("GHC==8.0")) ("cabal-version" (">=1.8"))
> ("build-type" ("Simple")) ("extra-source-files" ("THANKS.md
> CHANGELOG")) ("extra-source-files" ("src/Internal/C/lapack-aux.h"))
> (section flag "openblas" (("description" ("Link with OpenBLAS
> (https://github.com/xianyi/OpenBLAS) optimized libraries."))
> ("default" ("False")) ("manual" ("True")))) (section library
> (("build-depends" ("base >= 4.8 && < 5, binary, array, deepseq,
> random, split, bytestring, storable-complex, vector >= 0.8"))
> ("hs-source-dirs" ("src")) ("exposed-modules" ("Numeric.LinearAlgebra
> Numeric.LinearAlgebra.Devel Numeric.LinearAlgebra.Data
> Numeric.LinearAlgebra.HMatrix Numeric.LinearAlgebra.Static"))
> ("other-modules" ("Internal.Vector Internal.Devel Internal.Vectorized
> Internal.Matrix Internal.ST Internal.IO Internal.Element
> Internal.Conversion Internal.LAPACK Internal.Numeric
> Internal.Algorithms Internal.Random Internal.Container Internal.Sparse
> Internal.Convolution Internal.Chain Numeric.Vector Internal.CG
> Numeric.Matrix Internal.Util Internal.Modular Internal.Static"))
> ("c-sources" ("src/Internal/C/lapack-aux.c
> src/Internal/C/vector-aux.c")) ("extensions"
> ("ForeignFunctionInterface")) ("ghc-options" ("-Wall
> -fno-warn-missing-signatures -fno-warn-orphans -fprof-auto"))
> ("cc-options" ("-O4 -Wall")) (if (arch "x86_64") (("cc-options"
> ("-msse2"))) ()) (if (arch "i386") (("cc-options" ("-msse2"))) ()) (if
> (os "OSX") ((if (flag "openblas") (("extra-lib-dirs"
> ("/opt/local/lib/openblas/lib")) ("extra-libraries" ("openblas")))
> (("extra-libraries" ("blas lapack")))) ("extra-lib-dirs"
> ("/opt/local/lib/")) ("include-dirs" ("/opt/local/include/"))
> ("extra-lib-dirs" ("/usr/local/lib/")) ("include-dirs"
> ("/usr/local/include/")) (if (arch "i386") (("cc-options" ("-arch
> i386"))) ()) ("frameworks" ("Accelerate"))) ()) (if (os "freebsd")
> ((if (flag "openblas") (("extra-lib-dirs"
> ("/usr/local/lib/openblas/lib")) ("extra-libraries" ("openblas")))
> (("extra-libraries" ("blas lapack"))))) ()) ("extra-lib-dirs"
> ("/usr/local/lib")) ("include-dirs" ("/usr/local/include"))
> ("extra-libraries" ("gfortran")) (if (os "windows") ((if (flag
> "openblas") (("extra-libraries" ("libopenblas, libgcc_s_seh-1,
> libgfortran-3, libquadmath-0"))) (("extra-libraries" ("blas
> lapack"))))) ()) (if (os "linux") ((if (flag "openblas")
> (("extra-lib-dirs" ("/usr/lib/openblas/lib")) ("extra-libraries"
> ("openblas"))) (("extra-libraries" ("blas lapack")))) (if (arch
> "x86_64") (("cc-options" ("-fPIC"))) ())) ()))) (section
> source-repository "head" (("type" ("git")) ("location"
> ("https://github.com/albertoruiz/hmatrix";)))))
> scheme@(guix import hackage)>
> -------------------------------------------------------------------------------------------------------

The importer is now working and I can't reproduce the problem. Weird.

Fede