sgraf812

{-# OPTIONS --cubical --guarded #-}
module DenSem where

open import Cubical.Foundations.Prelude hiding (_[_↦_])
open import Cubical.Foundations.Transport
open import Cubical.Data.Nat
open import Cubical.Data.Maybe
open import Cubical.Relation.Nullary.Base

-- Vendored Guarded Prelude (trusted code, best skipped on first read):

sgraf812

{-# LANGUAGE BangPatterns #-}
{-# LANGUAGE PartialTypeSignatures #-}
{-# LANGUAGE GADTs #-}

module Lib where

import Control.Arrow
import Control.Category

data Step s a = Yield !s a

sgraf812

self: super:

{
  insync = super.insync.overrideAttrs (old: rec {
    version = "3.0.23.40579";

    src = let dist = "stretch"; in
      if self.stdenv.hostPlatform.system == "x86_64-linux" then
	self.fetchurl {
	  url = "http://s.insynchq.com/builds/${old.pname}_${version}-${dist}_amd64.deb";

sgraf812

module Tmp where

import Control.Monad.Reader
import GHC.Exts

r :: Int -> Reader Int Int
r x = case sum [0..x] of n -> (+ n) <$> ask

etaReaderT :: Reader r a -> Reader r a
etaReaderT = ReaderT . oneShot . runReaderT

sgraf812

module a;

import b;
import std.stdio;

struct Flip { Flop* p; }

auto flip(int i) {
    if (i == 0) return null;
    auto f = new Flip;

sgraf812

NoFib Results

--------------------------------------------------------------------------------
        Program         Allocs   Runtime
--------------------------------------------------------------------------------
           anna          -1.7%     -0.3%
           ansi           0.0%     +0.5%
           atom          -0.7%     -3.8%
         awards          -0.2%     +2.4%
         banner           0.0%     -0.1%

sgraf812

--------------------------------------------------------------------------------
        Program         Allocs    Allocs    Instrs    Instrs
                     ll-2019-0 ll-c2-201 ll-2019-0 ll-c2-201
--------------------------------------------------------------------------------
           anna          -1.5%     -2.2%     -0.5%     -0.8%
           ansi          -0.0%     +0.0%     -0.0%     -0.1%
           atom          -0.7%     -0.7%     -0.9%     -0.5%
         awards          -0.2%     -0.2%     -0.1%     -2.0%
         banner          -0.0%     -0.7%     +0.0%     -0.2%
     bernouilli          -0.0%     -0.0%     -0.0%     -0.0%

sgraf812

File monitor 'config' unchanged.
this build was affected by the following (project) config files:
File monitor 'improved-plan' unchanged.
PreExisting Cabal-2.0.1.0 (Cabal-2.0.1.0)
  array-0.5.2.0
  base-4.10.1.0
  bytestring-0.10.8.2
  containers-0.5.10.2
  deepseq-1.4.3.0
  filepath-1.4.1.2

sgraf812

    Alloc    Copied     Live     GC     GC      TOT      TOT  Page Flts
    bytes     bytes     bytes   user   elap     user     elap
  1056408    530192    554864  0.001  0.001    0.002    0.002    0    0  (Gen:  0)
  1062312   1104912   1129584  0.002  0.002    0.005    0.005    0    0  (Gen:  0)
  2214632   2318568   2343240  0.005  0.005    0.010    0.010    0    0  (Gen:  0)
  4664072   4901704   4926376  0.005  0.005    0.018    0.018    0    0  (Gen:  0)
 10024760  10441000  10465672  0.012  0.012    0.032    0.032    0    0  (Gen:  0)
 20993672  21820424  21845096  0.026  0.026    0.064    0.064    0    0  (Gen:  0)
 43917640  46083608  46108280  0.049  0.049    0.123    0.123    0    0  (Gen:  0)
 92685040  97687520  97712192  0.109  0.109    0.260    0.260    0    0  (Gen:  0)

sgraf812

module Main  (main) where 

import System.Environment (getArgs)
import Control.Monad (when, forM_)
import GHC.ST

nop :: Monad m => a -> m ()
nop _ = return ()
{-# NOINLINE nop #-}