cartazio

// #include <emmintrin.h>
#include <immintrin.h>
// #if defined (__SSE4_2__) || defined (__SSE4_1__)
// for some reason i can't get anything newer than sse4.2 work with both gcc-clang and clang
 // #include <smmintrin.h>
// #endif

#include <memory.h>

cartazio

SUMMARY for test run started at Mon Nov 19 15:45:27 2018 EST
 0:46:31 spent to go through
    6516 total tests, which gave rise to
   25425 test cases, of which
   18538 were skipped

      41 had missing libraries
    6522 expected passes
      91 expected failures

cartazio

 $ cabal install cabal-plan --dry -v3
no user package environment file found at
/Users/carter/WorkSpace/projects/active/concat-linear-work
Searching for ghc in path.
Found ghc at /Users/carter/.install-ghc/ghc-8.2.2/bin/ghc
/Users/carter/.install-ghc/ghc-8.2.2/bin/ghc --numeric-version
/Users/carter/.install-ghc/ghc-8.2.2/bin/ghc is version 8.2.2
looking for tool ghc-pkg near compiler in
/Users/carter/.install-ghc/ghc-8.2.2/bin
candidate locations:

cartazio

	.text
Ltext0:
	.no_dead_strip _StgRunIsImplementedInAssembler
_StgRunIsImplementedInAssembler:
LFB119:
	.file 1 "rts/StgCRun.c"
	.loc 1 369 1
	.loc 1 370 5
# 370 "rts/StgCRun.c" 1
	.globl _StgRun

cartazio

13:06:54 ~/W/p/a/ghc-head-may2018-clang-sad (master|✔) $ make -j1
===--- building phase 0
/Applications/Xcode.app/Contents/Developer/usr/bin/make --no-print-directory -f ghc.mk phase=0 phase_0_builds
make[1]: Nothing to be done for `phase_0_builds'.
===--- building phase 1
/Applications/Xcode.app/Contents/Developer/usr/bin/make --no-print-directory -f ghc.mk phase=1 phase_1_builds
make[1]: Nothing to be done for `phase_1_builds'.
===--- building final phase
/Applications/Xcode.app/Contents/Developer/usr/bin/make --no-print-directory -f ghc.mk phase=final all
"rm" -f rts/dist/build/libHSrts_l.a

cartazio

	.text
Ltext0:
	.align 4,0x90
	.no_dead_strip _StgRunIsImplementedInAssembler
_StgRunIsImplementedInAssembler:
LFB119:
	.file 1 "rts/StgCRun.c"
	.loc 1 369 1
	.loc 1 370 5
# 370 "rts/StgCRun.c" 1

cartazio

module auth where

open import Data.String
open import Data.Nat
open import Level
open import Data.Product
open import  Relation.Binary.PropositionalEquality
open import Relation.Binary.HeterogeneousEquality as Het

cartazio

module auth where

open import Data.String
open import Level



data AsDelegate : Set where
     IsDelegate : AsDelegate
     IsLeaf : AsDelegate

cartazio

{
	"add_to_PATH":
	[
		"/Users/carter/.cabal/bin",
		"/Users/carter/.install-ghc/ghc-8.2.2/bin",
		"/Users/carter/bin"
	],
	"auto_build_mode": "normal",
	"auto_completion_popup": true,
	"add_default_completions": true,

cartazio

module BadUncurry where
import Control.Exception

data Fst a = Only a deriving (Show, Typeable, Exception)

badFst :: (Typeable a, Show a) => a -> b -> c
badFst a = throw (Only a)

notOnly (Only a) = a