Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Unique TypeVariables #66

Draft
wants to merge 2 commits into
base: main
Choose a base branch
from

Unique TypeVariables

61d73ec
Select commit
Loading
Failed to load commit list.
Draft

Unique TypeVariables #66

Unique TypeVariables
61d73ec
Select commit
Loading
Failed to load commit list.
Garnix CI / package default [aarch64-linux] succeeded Aug 19, 2023 in 5m 33s

Run results

Build succeeded

Details

Last 100 lines of logs:

Private executables installed in:
/nix/store/zhsviqrx574plgldxbkg97mz57pl5yjr-grace-1.0.0/libexec/aarch64-linux-ghc-9.0.2/grace-1.0.0
Data files installed in:
/nix/store/zhsviqrx574plgldxbkg97mz57pl5yjr-grace-1.0.0/share/aarch64-linux-ghc-9.0.2/grace-1.0.0
Documentation installed in:
/nix/store/zhsviqrx574plgldxbkg97mz57pl5yjr-grace-1.0.0/share/doc/aarch64-linux-ghc-9.0.2/grace-1.0.0
Configuration files installed in:
/nix/store/zhsviqrx574plgldxbkg97mz57pl5yjr-grace-1.0.0/etc
No alex found
Using ar found on system at:
/nix/store/mskx817hz1irhv9q0b6lvdaqbwimv4fp-binutils-2.38/bin/ar
No c2hs found
No cpphs found
Using doctest version 0.18.2 found on system at:
/nix/store/rrfwirhrz1ahh4wy47939p95k8c1kvqr-doctest-0.18.2/bin/doctest
Using gcc version 9.3.0 given by user at:
/nix/store/95wq6j5p0zhzmrq37vxs8gmdh9x1y0i5-gcc-wrapper-9.3.0/bin/gcc
Using ghc version 9.0.2 found on system at:
/nix/store/w2g62pslzv6af03d1sv5q8h98ayn0zdd-ghc-9.0.2/bin/ghc
Using ghc-pkg version 9.0.2 found on system at:
/nix/store/w2g62pslzv6af03d1sv5q8h98ayn0zdd-ghc-9.0.2/bin/ghc-pkg
No ghcjs found
No ghcjs-pkg found
No greencard found
Using haddock version 2.25.1 found on system at:
/nix/store/w2g62pslzv6af03d1sv5q8h98ayn0zdd-ghc-9.0.2/bin/haddock
No happy found
Using haskell-suite found on system at: haskell-suite-dummy-location
Using haskell-suite-pkg found on system at: haskell-suite-pkg-dummy-location
No hmake found
Using hpc version 0.68 found on system at:
/nix/store/w2g62pslzv6af03d1sv5q8h98ayn0zdd-ghc-9.0.2/bin/hpc
Using hsc2hs version 0.68.7 found on system at:
/nix/store/w2g62pslzv6af03d1sv5q8h98ayn0zdd-ghc-9.0.2/bin/hsc2hs
No hscolour found
No jhc found
Using ld found on system at:
/nix/store/3vg38q2zw7852d0nv2xybjmryxd6pj9f-binutils-wrapper-2.38/bin/ld.gold
No pkg-config found
Using runghc version 9.0.2 found on system at:
/nix/store/w2g62pslzv6af03d1sv5q8h98ayn0zdd-ghc-9.0.2/bin/runghc
Using strip version 2.38 found on system at:
/nix/store/95wq6j5p0zhzmrq37vxs8gmdh9x1y0i5-gcc-wrapper-9.3.0/bin/strip
Using tar found on system at:
/nix/store/yvjq0s33162s0gjq3xwbq0h9lg8my52b-gnutar-1.34/bin/tar
No uhc found
building
Preprocessing test suite 'doctest' for grace-1.0.0..
Building test suite 'doctest' for grace-1.0.0..
[1 of 1] Compiling Main             ( doctest/Main.hs, dist/build/doctest/doctest-tmp/Main.o )
Linking dist/build/doctest/doctest ...
Preprocessing library for grace-1.0.0..
Building library for grace-1.0.0..
[ 1 of 22] Compiling Grace.Compat     ( src/Grace/Compat.hs, dist/build/Grace/Compat.o, dist/build/Grace/Compat.dyn_o )
[ 2 of 22] Compiling Grace.HTTP       ( ghc/Grace/HTTP.hs, dist/build/Grace/HTTP.o, dist/build/Grace/HTTP.dyn_o )
[ 3 of 22] Compiling Grace.Location   ( src/Grace/Location.hs, dist/build/Grace/Location.o, dist/build/Grace/Location.dyn_o )
[ 4 of 22] Compiling Grace.Lexer      ( src/Grace/Lexer.hs, dist/build/Grace/Lexer.o, dist/build/Grace/Lexer.dyn_o )
[ 5 of 22] Compiling Grace.Pretty     ( src/Grace/Pretty.hs, dist/build/Grace/Pretty.o, dist/build/Grace/Pretty.dyn_o )
[ 6 of 22] Compiling Grace.Input      ( src/Grace/Input.hs, dist/build/Grace/Input.o, dist/build/Grace/Input.dyn_o )
[ 7 of 22] Compiling Grace.Existential ( src/Grace/Existential.hs, dist/build/Grace/Existential.o, dist/build/Grace/Existential.dyn_o )
[ 8 of 22] Compiling Grace.Monotype   ( src/Grace/Monotype.hs, dist/build/Grace/Monotype.o, dist/build/Grace/Monotype.dyn_o )
[ 9 of 22] Compiling Grace.Domain     ( src/Grace/Domain.hs, dist/build/Grace/Domain.o, dist/build/Grace/Domain.dyn_o )
[10 of 22] Compiling Grace.Type       ( src/Grace/Type.hs, dist/build/Grace/Type.o, dist/build/Grace/Type.dyn_o )
[11 of 22] Compiling Grace.Syntax     ( src/Grace/Syntax.hs, dist/build/Grace/Syntax.o, dist/build/Grace/Syntax.dyn_o )
[12 of 22] Compiling Grace.Parser     ( src/Grace/Parser.hs, dist/build/Grace/Parser.o, dist/build/Grace/Parser.dyn_o )
[13 of 22] Compiling Grace.Import     ( src/Grace/Import.hs, dist/build/Grace/Import.o, dist/build/Grace/Import.dyn_o )
[14 of 22] Compiling Grace.Context    ( src/Grace/Context.hs, dist/build/Grace/Context.o, dist/build/Grace/Context.dyn_o )
[15 of 22] Compiling Grace.Value      ( src/Grace/Value.hs, dist/build/Grace/Value.o, dist/build/Grace/Value.dyn_o )
[16 of 22] Compiling Grace.Normalize  ( src/Grace/Normalize.hs, dist/build/Grace/Normalize.o, dist/build/Grace/Normalize.dyn_o )
[17 of 22] Compiling Grace.Width      ( ghc/Grace/Width.hs, dist/build/Grace/Width.o, dist/build/Grace/Width.dyn_o )
[18 of 22] Compiling Grace.Infer      ( src/Grace/Infer.hs, dist/build/Grace/Infer.o, dist/build/Grace/Infer.dyn_o )
[19 of 22] Compiling Grace.Interpret  ( src/Grace/Interpret.hs, dist/build/Grace/Interpret.o, dist/build/Grace/Interpret.dyn_o )
[20 of 22] Compiling Grace.TH         ( src/Grace/TH.hs, dist/build/Grace/TH.o, dist/build/Grace/TH.dyn_o )
[21 of 22] Compiling Grace.REPL       ( src/Grace/REPL.hs, dist/build/Grace/REPL.o, dist/build/Grace/REPL.dyn_o )
[22 of 22] Compiling Grace            ( src/Grace.hs, dist/build/Grace.o, dist/build/Grace.dyn_o )
Preprocessing test suite 'tasty' for grace-1.0.0..
Building test suite 'tasty' for grace-1.0.0..
[1 of 1] Compiling Main             ( tasty/Main.hs, dist/build/tasty/tasty-tmp/Main.o )
Linking dist/build/tasty/tasty ...
Preprocessing executable 'grace' for grace-1.0.0..
Building executable 'grace' for grace-1.0.0..
[1 of 1] Compiling Main             ( grace/Main.hs, dist/build/grace/grace-tmp/Main.o )
Linking dist/build/grace/grace ...
buildPhase completed in 3 minutes 31 seconds
haddockPhase
installing
Installing library in /nix/store/zhsviqrx574plgldxbkg97mz57pl5yjr-grace-1.0.0/lib/ghc-9.0.2/aarch64-linux-ghc-9.0.2/grace-1.0.0-4am0ZKjDuFDHJefYmIxbFB
Installing executable grace in /nix/store/zhsviqrx574plgldxbkg97mz57pl5yjr-grace-1.0.0/bin
Warning: The directory
/nix/store/zhsviqrx574plgldxbkg97mz57pl5yjr-grace-1.0.0/bin is not in the
system search path.
Registering library for grace-1.0.0..
post-installation fixup
shrinking RPATHs of ELF executables and libraries in /nix/store/zhsviqrx574plgldxbkg97mz57pl5yjr-grace-1.0.0
shrinking /nix/store/zhsviqrx574plgldxbkg97mz57pl5yjr-grace-1.0.0/bin/grace
shrinking /nix/store/zhsviqrx574plgldxbkg97mz57pl5yjr-grace-1.0.0/lib/ghc-9.0.2/aarch64-linux-ghc-9.0.2/libHSgrace-1.0.0-4am0ZKjDuFDHJefYmIxbFB-ghc9.0.2.so
strip is /nix/store/95wq6j5p0zhzmrq37vxs8gmdh9x1y0i5-gcc-wrapper-9.3.0/bin/strip
stripping (with command strip and flags -S) in /nix/store/zhsviqrx574plgldxbkg97mz57pl5yjr-grace-1.0.0/lib  /nix/store/zhsviqrx574plgldxbkg97mz57pl5yjr-grace-1.0.0/bin 
patching script interpreter paths in /nix/store/zhsviqrx574plgldxbkg97mz57pl5yjr-grace-1.0.0
checking for references to /build/ in /nix/store/zhsviqrx574plgldxbkg97mz57pl5yjr-grace-1.0.0...