nkaretnikov

data ℕ ∶ Set where
  zero : ℕ
  succ ∶ ℕ → ℕ

... Parse error
Set<ERROR>
 where
  zero : ℕ
  succ ∶ ℕ →...

nkaretnikov

Require Import List.

Definition relation (X : Type) := X -> X -> Prop.
Check le : nat -> nat -> Prop.
Check le : relation nat.

Inductive HdRel {X : Type} (R : relation X) : X -> list X -> Prop :=
  | HdRel_nil  : forall x, HdRel R x nil
  | HdRel_cons : forall x y xs, R x y -> HdRel R x (y :: xs).

nkaretnikov

"inplace/bin/ghc-cabal" check libraries/ghc-prim
"inplace/bin/ghc-cabal" configure libraries/ghc-prim dist-install "" --with-ghc="/home/nikita/haskell/ghc/inplace/bin/ghc-stage1" --with-ghc-pkg="/home/nikita/haskell/ghc/inplace/bin/ghc-pkg" --flag=include-ghc-prim --disable-library-for-ghci --enable-library-vanilla --disable-library-profiling --disable-shared --configure-option=CFLAGS="-Wall -fPIC -I/home/nikita/x86_64/include/efi -I/home/nikita/x86_64/include/efi/x86_64 -I/home/nikita/x86_64/include/efi/protocol -I/home/nikita/x86_64/x86_64-elf/include -Ilibstub/include -fno-stack-protector -fshort-wchar -mno-red-zone -Wall -DEFI_FUNCTION_WRAPPER -DHAVE_UNISTD_H=1 -DHAVE_FTRUNCATE=1 -D__x86_64__=1 -DHAVE_TERMIOS_H=0 -D_POSIX_REALTIME_SIGNALS=1 -D__TM_ZONE=tm_zone -fno-stack-protector    -Werror=unused-but-set-variable -Wno-error=inline" --configure-option=LDFLAGS="  " --configure-option=CPPFLAGS="   " --gcc-options="-Wall -fPIC -I/home/nikita/x86_64/include/efi -I/home/nikita/x86_64/include/efi/x86_64 -I/hom

nkaretnikov

Unistd.hsc: In function '_hsc2hs_test13':
Unistd.hsc:87:39: error: invalid application of 'sizeof' to incomplete type 'struct utsname'
Unistd.hsc:87:20: warning: unused variable 'test_array' [-Wunused-variable]
In file included from /home/nikita/x86_64/x86_64-elf/include/sys/unistd.h:14:0,
                 from /home/nikita/x86_64/x86_64-elf/include/unistd.h:4,
                 from libraries/unix/include/HsUnix.h:51,
                 from Unistd.hsc:59:
Unistd.hsc: In function '_hsc2hs_test15':
Unistd.hsc:89:48: error: invalid use of undefined type 'struct utsname'
Unistd.hsc:89:20: warning: unused variable 'test_array' [-Wunused-variable]

nkaretnikov

foreign import ccall unsafe "HsUnix.h __hscore_getrlimit"
  c_getrlimit :: CInt -> Ptr RLimit -> IO CInt

foreign import ccall unsafe "HsUnix.h __hscore_setrlimit"
  c_setrlimit :: CInt -> Ptr RLimit -> IO CInt

getResourceLimit :: Resource -> IO ResourceLimits
getResourceLimit res = do
  allocaBytes (#const sizeof(struct rlimit)) $ \p_rlimit -> do
    throwErrnoIfMinus1_ "getResourceLimit" $

nkaretnikov

+(x86_64-chroot)nikita@tau:~/haskell/ghc-old$ autoreconf -vfi
autoreconf: Entering directory `.'
autoreconf: configure.ac: not using Gettext
autoreconf: configure.ac: not using aclocal
autoreconf: configure.ac: tracing
autoreconf: configure.ac: not using Libtool
autoreconf: running: /usr/bin/autoconf --force
autoreconf: running: /usr/bin/autoheader --force
autoreconf: configure.ac: not using Automake
autoreconf: Leaving directory `.'

nkaretnikov

"/usr/local/lib/ghc-7.10.2/bin/ghc-pkg" --force --global-package-db "/usr/local/lib/ghc-7.10.2/package.conf.d" update rts/dist/package.conf.install
/usr/local/lib/ghc-7.10.2/bin/ghc-pkg: error while loading shared libraries: libHSterminfo-0.4.0.1-KvtqTNXWuWjKicEYaZ7qsx-ghc7.10.2.so: cannot open shared object file: No such file or directory
ghc.mk:918: recipe for target 'install_packages' failed
make[1]: *** [install_packages] Error 127
Makefile:24: recipe for target 'install' failed
make: *** [install] Error 2

nkaretnikov

/nix/store/7y7gwvc46y2qfzr683p8zivi277mq0id-binutils-2.23.1/bin/ld: cannot find -lHSghc-boot-0.0.0.0
collect2: error: ld returned 1 exit status
utils/ghc-pkg/ghc.mk:60: recipe for target 'utils/ghc-pkg/dist/build/tmp/ghc-pkg' failed
make[1]: *** [utils/ghc-pkg/dist/build/tmp/ghc-pkg] Error 1
Makefile:121: recipe for target 'all' failed
make: *** [all] Error 2

nkaretnikov

diff --git a/testsuite/tests/numeric/should_run/T10962.hs b/testsuite/tests/numeric/should_run/T10962.hs
new file mode 100644
index 0000000..896c9e9
--- /dev/null
+++ b/testsuite/tests/numeric/should_run/T10962.hs
@@ -0,0 +1,16 @@
+{-# LANGUAGE MagicHash     #-}
+{-# LANGUAGE UnboxedTuples #-}
+
+module Main where

nkaretnikov

"/nix/store/qr86asp9wvx95li6f1rvcmhb3am26ixy-ghc-7.8.4/bin/ghc" -hisuf hi -osuf  o -hcsuf hc -static  -H64m -O0   -package-db libraries/bootstrapping.conf  -package-name ghc-7.11 -hide-all-packages -i -icompiler/backpack -icompiler/basicTypes -icompiler/cmm -icompiler/codeGen -icompiler/coreSyn -icompiler/deSugar -icompiler/ghci -icompiler/hsSyn -icompiler/iface -icompiler/llvmGen -icompiler/main -icompiler/nativeGen -icompiler/parser -icompiler/prelude -icompiler/profiling -icompiler/rename -icompiler/simplCore -icompiler/simplStg -icompiler/specialise -icompiler/stgSyn -icompiler/stranal -icompiler/typecheck -icompiler/types -icompiler/utils -icompiler/vectorise -icompiler/stage1/build -icompiler/stage1/build/autogen -Icompiler/stage1/build -Icompiler/stage1/build/autogen -Icompiler/. -Icompiler/parser -Icompiler/utils -Icompiler/stage1    -optP-include -optPcompiler/stage1/build/autogen/cabal_macros.h -package-id array-0.5.0.0-ce080a527b3819e94d851f7f80ca77dd -package-id base-4.7.0.2-cb23b5265b6e147094c0cd