kgadek

-- This is the configuration file for the 'cabal' command line tool.

-- The available configuration options are listed below.
-- Some of them have default values listed.

-- Lines (like this one) beginning with '--' are comments.
-- Be careful with spaces and indentation because they are
-- used to indicate layout for nested sections.

kgadek

Unexpected results from:
TEST="T4891 cabal04 rnfail043 T3333 ghcilink001 ghcilink002 ghcilink003 ghcilink004 ghcilink005 ghcilink006 T9078 overflow3 overflow2 overflow1 T7919 plugins01 plugins03 plugins02 plugins05 plugins06 T5204 T6145 T1735 tcrun045 UnsafeInfered02 UnsafeInfered12 T5550 T7702 T5321FD T5030 T4801 T6048 T5631 T5837 T5642 T3064 parsing001 T1969 T5321Fun T783 T3294 recomp009 T7022 T9160 T367_letnoescape T9379 callstack001 annfail12 SafeLang16 SafeLang12 SafeLang01 SafeLang11 T706 T7837 dataToExpQUnit T8256 T4491 qq007 qq008"

OVERALL SUMMARY for test run started at Wed Jan 21 16:03:44 2015 CET
 1:43:53 spent to go through
    3965 total tests, which gave rise to
   17715 test cases, of which
    4107 were skipped

     314 had missing libraries

kgadek

$ make fulltest TEST="T4891 cabal04 rnfail043 T3333 ghcilink001 ghcilink002 ghcilink003 ghcilink004 ghcilink005 ghcilink006 T9078 overflow3 overflow2 overflow1 T7919 plugins01 plugins03 plugins02 plugins05 plugins06 T5204 T6145 T1735 tcrun045 UnsafeInfered02 UnsafeInfered12 T5550 T7702 T5321FD T5030 T4801 T6048 T5631 T5837 T5642 T3064 parsing001 T1969 T5321Fun T783 T3294 recomp009 T7022 T9160 T367_letnoescape T9379 callstack001 annfail12 SafeLang16 SafeLang12 SafeLang01 SafeLang11 T706 T7837 dataToExpQUnit T8256 T4491 qq007 qq008"


make -C testsuite/tests CLEANUP=1 OUTPUT_SUMMARY=../../testsuite_summary.txt
make[1]: Entering directory `/home/kgadek/.ghc-7.8.4/ghc-sources-7.8.4/testsuite/tests'
python2 ../driver/runtests.py  -e ghc_compiler_always_flags="'-fforce-recomp -dcore-lint -dcmm-lint -dno-debug-output -no-user-package-db -rtsopts '" -e ghc_debugged=False -e ghc_with_native_codegen=1 -e ghc_with_vanilla=1 -e ghc_with_dynamic=1 -e ghc_with_profiling=1 -e ghc_with_threaded_rts=1 -e ghc_with_dynamic_rts=

kgadek

{-# LANGUAGE RankNTypes, ImpredicativeTypes, ScopedTypeVariables #-}

main = return ()


data Lam f = Lam f

helper = 
  let a = Lam undefined :: Lam (forall a. a -> a)
      --b = Lam id        :: Lam (forall a. a -> a)

kgadek

❯ git status
On branch hjkl
nothing to commit, working directory clean

❯ cat A.md
hjkl

❯ git merge qwer
Auto-merging A.md
CONFLICT (content): Merge conflict in A.md

kgadek

web.Server Traceback (most recent call last):
exceptions.TypeError: 'NoneType' object has no attribute '__getitem__'
/home/kgadek/py-ci/local/lib/python2.7/site-packages/twisted/internet/defer.py:140 in maybeDeferred
139    try:
140        result = f(*args, **kw)
141    except:
/home/kgadek/py-ci/local/lib/python2.7/site-packages/buildbot/status/web/base.py:391 in <lambda>
390            if allowed or path_always_viewable(request):
391                return defer.maybeDeferred(lambda: self.content(request, ctx))
392            else:

kgadek

bash-3.2$ git init subproj_remote
Initialized empty Git repository in /Users/konrad/tmp/arz-sub2/subproj_remote/.git/



bash-3.2$ git init project
Initialized empty Git repository in /Users/konrad/tmp/arz-sub2/project/.git/

kgadek

$ pip install buildbot


Collecting buildbot
  Using cached buildbot-0.8.10.tar.gz
Collecting twisted>=11.0.0 (from buildbot)
  Using cached Twisted-15.0.0.tar.bz2
Collecting Jinja2>=2.1 (from buildbot)
  Using cached Jinja2-2.7.3.tar.gz
Collecting sqlalchemy<=0.7.10,>=0.6 (from buildbot)

kgadek

[gogs@balrog ~/go/src]$ ./all.bash
# Building C bootstrap tool.
cmd/dist

# Building compilers and Go bootstrap tool for host, freebsd/arm.
lib9
libbio
liblink
cmd/cc
cmd/gc

kgadek

-- Jest pudełko a w środku pewna ilość kulek. Każda kulka ma unikalny numer. Dokonaliśmy N losowań, w których
-- odnotowaliśmy wybór K różnych kulek.
-- Z jaką pewnością możemy stwierdzić, że w środku pudełka było K kulek? Innymi słowy: z jakim prawdopodobieństwem
-- wylosowaliśmy każdą z nich co najmniej raz?

import Data.Ratio
import Text.Printf

choose n k       = product [k+1..n] % product [1..n-k]
entry  n k i     = (1 % (k + i) ^ n) * (choose (k+i) k)