Bodigrim

module Main where

import Test.Tasty
import Test.Tasty.Providers

data Foo = Foo

instance IsTest Foo where
  testOptions = pure []
  run _ _ _ = pure $ testPassed ""

Bodigrim

#!/usr/bin/env cabal
{- cabal:
build-depends:
  ansi-terminal < 1.2,
  base >= 4.16,
  bytestring < 0.13,
  cabal-install-parsers < 0.7,
  Cabal-syntax >= 3.8,
  containers < 0.8,
  strict < 0.6,

Bodigrim

{-# OPTIONS_GHC -Wno-unrecognised-pragmas #-}
{-# HLINT ignore "Avoid restricted function" #-}
{-# LANGUAGE DefaultSignatures #-}
{-# LANGUAGE DeriveAnyClass #-}
{-# OPTIONS_GHC -Wno-missing-fields #-}

module Pred where

import Control.Exception
import GHC.Exts.Heap

Bodigrim

#!/usr/bin/env cabal
{- cabal:
build-depends: base >= 4.19, bytestring, containers
default-language: GHC2021
-}

{-# LANGUAGE ExtendedLiterals #-}
{-# LANGUAGE MagicHash #-}

{-# OPTIONS_GHC -Wall -O2 -threaded #-}

Bodigrim

Bodigrim

{-# LANGUAGE DataKinds #-}
{-# LANGUAGE FunctionalDependencies #-}
{-# LANGUAGE MagicHash #-}
{-# LANGUAGE UndecidableInstances #-}
{-# LANGUAGE TypeFamilies #-}
{-# LANGUAGE DerivingVia #-}

{-# OPTIONS_GHC -ddump-simpl #-}
{-# OPTIONS_GHC -dsuppress-all #-}
{-# OPTIONS_GHC -dno-suppress-type-signatures #-}

Bodigrim

module Main where

import Control.Monad
import Debug.Trace
import GHC.Exts
import GHC.ST
import Data.STRef

foo :: Integer
foo = runST $ do

Bodigrim