gdeest

{-# LANGUAGE TypeFamilies, DataKinds, TypeOperators, FlexibleContexts, ScopedTypeVariables, GADTs,
    FlexibleInstances, UndecidableInstances #-}

{-# OPTIONS_GHC -fplugin GHC.TypeLits.Normalise #-}

import GHC.TypeLits
import Data.Proxy

data Natty :: Nat -> * where
  Zy :: Natty 0

gdeest

t_idx >= x0_idx + 2 * x1_idx || (x0_idx + x1_idx + 1 >= t_idx && 2 * x0_idx + x1_idx + 2 >= t_idx && x0_idx + 2 * x1_idx + 2 >= t_idx) || (x1_idx >= x0_idx && t_idx >= 2 * x0_idx + x1_idx && x0_idx + 2 * x1_idx + 2 >= t_idx) || (2 * x0_idx + x1_idx >= t_idx + 1 && t_idx >= x0_idx + x1_idx + 1 && x0_idx + 2 * x1_idx >= t_idx + 1 && 384 * x0_idx + 192 * x1_idx + 3 >= 192 * t_idx + N0 && 192 * t_idx + N1 >= 192 * x0_idx + 384 * x1_idx + 4) || (2 * x0_idx + x1_idx >= t_idx + 1 && t_idx >= x0_idx + x1_idx + 1 && x0_idx + 2 * x1_idx >= t_idx + 1 && 192 * t_idx + N0 >= 384 * x0_idx + 192 * x1_idx + 4 && 384 * x0_idx + 192 * x1_idx + 192 >= 192 * t_idx + N0 && 192 * t_idx + N1 >= 192 * x0_idx + 384 * x1_idx + 4) || (t_idx >= x1_idx + 2 && t_idx >= 2 * x0_idx + x1_idx + 1 && 2 * x0_idx + x1_idx + 2 >= t_idx && x0_idx + 2 * x1_idx >= t_idx + 1 && N0 <= 6 && 96 * t_idx + N1 >= 288 * x1_idx + 289) || (t_idx >= x0_idx + 1 && 3 * x0_idx >= t_idx + 1 && t_idx >= x0_idx + 2 * x1_idx && 96 * t_idx + N0 >= 288 * x0_idx + 5 && 

gdeest

(t_idx >= x0_idx + x1_idx + 2 && x0_idx + 2 * x1_idx >= t_idx + 1 && 192 * x0_idx + 192 * x1_idx + T >= 192 * t_idx + 191 && 192 * x0_idx >= T + 3 && 192 * t_idx + N0 >= 384 * x0_idx + 192 * x1_idx + 571 && 192 * t_idx + N1 >= 192 * x0_idx + 384 * x1_idx + 571) || (t_idx >= x0_idx + x1_idx + 2 && 2 * x0_idx + x1_idx >= t_idx + 1 && 96 * x1_idx + T >= 96 * t_idx + 95 && 192 * x1_idx >= T + 3 && T + 2 >= 192 * x0_idx && 192 * t_idx + N0 >= 384 * x0_idx + 192 * x1_idx + 571 && 192 * t_idx + N1 >= 192 * x0_idx + 384 * x1_idx + 571) || (t_idx >= x0_idx + x1_idx + 2 && 2 * x0_idx + x1_idx >= t_idx + 1 && x0_idx + 2 * x1_idx >= t_idx + 1 && T + 2 >= 192 * x0_idx && T + 2 >= 192 * x1_idx && 192 * t_idx + N0 >= 384 * x0_idx + 192 * x1_idx + 571 && 192 * t_idx + N1 >= 192 * x0_idx + 384 * x1_idx + 571 && 2 * ((2 * T + 1) % 3) + 3 * T >= 192 * t_idx + 187)

(t_idx >= x0_idx + x1_idx + 2 && x0_idx + 2 * x1_idx >= t_idx + 1 && 192 * x0_idx + 192 * x1_idx + T >= 192 * t_idx + 191 && 192 * x0_idx >= T + 3 && 192 * t_idx + N

gdeest

{-# LANGUAGE ForeignFunctionInterface #-}
{-# LANGUAGE TemplateHaskell          #-}

module Lib
  (islVersion)
  where

import Lib.Internal
import Foreign.C.Types
import Foreign.C.String

gdeest

{-# LANGUAGE DeriveFoldable #-}
{-# LANGUAGE DeriveFunctor #-}
{-# LANGUAGE FlexibleContexts    #-}
{-# LANGUAGE FlexibleInstances    #-}
{-# LANGUAGE LambdaCase #-}
{-# LANGUAGE MultiParamTypeClasses    #-}
{-# LANGUAGE OverloadedStrings    #-}
{-# LANGUAGE RankNTypes    #-}
{-# LANGUAGE TemplateHaskell #-}
{-# LANGUAGE TypeOperators #-}

gdeest

              	[stm-deadlock] S0---------------------------------P1----P0-P1--S0-----------------------------------P2--------S0------------------------------P3------S0------------------------------------P1-------P0-P1-P0-P1------P0-P1--P0-P1---------P4-P1-P4-P0-P5-----P4-P1-P5--P4-P5--S4-----S1--S0------P6--------P0-P6---------P0-P6------P0-P6--S0--------------------------------------------P7--------S0-----------------------------P8------S0-------------------------------------P1-P0-P1--P0-P1--------P0-P1---P0-P9--P1--P9---P1-P9--P0-P9-P1-P9-S1---P10-----P1-P10-P1--P10-P1--P10--S1---S0-----P11--P0-P11-----------------------S0---------------------------------------------P12--------S0------------------------------P13-----P0-P13-S0-----------------------------------P1-------------P0-P1-------P14-P1-P14--P1-P14----P1-P14--S1--P0--P1----S0--P15---------S0------P16---------------P0-P16--P0-P16-------P0-P16-S0--------------------------------------------P17--------S0---------------------------------------P1---------P0

gdeest

Bidule 1

gdeest

// IO a ~ () -> a
class IO {
    constructor(op) {
        // IO a -> a
        this.run = op;
    }

    // a -> IO a
    static returnIO(a) {
        return new IO(() => a);

gdeest

PS C:\Users\gaeld\stdcpp> ..\Downloads\bazel-0.21.0-windows-x86_64.exe build --config windows hsbin
WARNING: The following rc files are no longer being read, please transfer their contents or import their path into one of the standard rc files:
c:\users\gaeld\stdcpp/.bazelrc
INFO: Invocation ID: f6aaff38-9ee5-4c31-ad78-98b6064ced80
INFO: Analysed target //:hsbin (17 packages loaded, 117 targets configured).
INFO: Found 1 target...
SUBCOMMAND: # //:cclib [action 'Compiling cc/lib.cpp']
cd C:/users/gaeld/_bazel_gaeld/vugn72ay/execroot/__main__
  SET PATH=C:\msys64\usr\bin;C:\msys64\bin
    SET PWD=/proc/self/cwd

gdeest

module Main where {
  import System.Environment;
  import System.Exit;

  type Filename = String;

  data Command = Foo Filename | Bar;

  parseCommand :: [String] -> Maybe Command;
  parseCommand ["--foo", file] = Just (Foo file);