DarinM223

#include <stdio.h>

enum bop {
    BOP_PLUS,
    BOP_MINUS,
    BOP_TIMES,
};

typedef struct ast_exp ast_exp;

DarinM223

{-# OPTIONS_GHC -Wno-orphans #-}

module SoundEager where

import Bluefin.Compound (Handle, mapHandle, useImpl, useImplIn)
import Bluefin.Eff (Eff, Effects, runPureEff, (:&), (:>))
import Bluefin.Internal (StateSource (StateSource))
import Bluefin.State (State, evalState, get, modify, put)
import Bluefin.StateSource (newState, withStateSource)
import Data.Functor ((<&>))

DarinM223

#!/bin/bash

cat > build.smi <<EOL
_require "basis.smi"
_require "smlnj-lib.smi"
EOL

cat > build.sml <<EOL
signature PACK_REAL = sig
  type real

DarinM223

-- You need DeepSubsumption enabled in order for the example to compile.
{-# LANGUAGE DeepSubsumption #-}
{-# LANGUAGE GADTs #-}
{-# LANGUAGE TemplateHaskell #-}
{-# LANGUAGE UndecidableInstances #-}

module Eval where

import Control.Monad.State.Strict (StateT, evalStateT, gets, liftIO, modify', void)
import Data.Comp.Multi

DarinM223

infix & +` *`

datatype ('a, 'b) stmt =
  Assign of 'a * ('a, 'b) expr
| If of ('a, 'b) expr * ('b, 'a) stmt list * ('a, 'b) stmt list
and ('a, 'b) expr =
  Stmt of ('a, 'a) stmt
| Int of 'b
| Bop of ('b, 'a) expr * ('a, 'b) expr

DarinM223

ann "milletDiagnosticsIgnore all" in
  ./mltonlib/com/ssh/extended-basis/unstable/basis.mlb
  ./mltonlib/com/ssh/generic/unstable/lib.mlb
  ./mltonlib/com/ssh/generic/unstable/with/generic.sml
  ./mltonlib/com/ssh/generic/unstable/with/eq.sml
  ./mltonlib/com/ssh/generic/unstable/with/type-hash.sml
  ./mltonlib/com/ssh/generic/unstable/with/type-info.sml
  ./mltonlib/com/ssh/generic/unstable/with/hash.sml
  ./mltonlib/com/ssh/generic/unstable/with/uniplate.sml
  ./mltonlib/com/ssh/generic/unstable/with/ord.sml

DarinM223

structure Fold =
struct
  fun fold (a, f) g = g (a, f)
  fun post (w, g) s =
    w (fn (a, h) => s (a, g o h))

  fun step0 h (a, f) =
    fold (h a, f)
  fun step1 h (a, f) b =
    fold (h (b, a), f)

DarinM223

$(SML_LIB)/basis/basis.mlb
$(SML_LIB)/basis/mlton.mlb
$(SML_LIB)/smlnj-lib/INet/inet-lib.mlb
$(SML_LIB)/cml/cml.mlb
server.sml

DarinM223

{-# LANGUAGE OverloadedStrings #-}
import Colog
import Control.Monad.IO.Class (MonadIO)
import Data.Text (Text)

foo :: (WithLog env Message m, MonadIO m) => m ()
foo = do
  logWarning "Hello"
  logWarning "World"

DarinM223

{-# LANGUAGE ImplicitParams #-}
{-# LANGUAGE LambdaCase #-}
{-# LANGUAGE OverloadedStrings #-}

module SoundEager where

import Control.Monad (unless)
import Control.Monad.Primitive (PrimMonad, PrimState)
import Control.Monad.ST (runST)
import Data.Char (chr, ord)