YuMingLiao

subGraphOfFirstCommonAncestor 
o    7dbfc7
|
o o    132823,193a16
|/
o    1d7bbd
|
o

resultHeads: (fromList [("master",Tran_193a16),("mergebranch_13282313-7fb3-4097-bf3a-e29c81dcfa1d",Tran_7dbfc7)]) 

YuMingLiao

module SharedState where
import Concur.Core
import Concur.Replica
import Control.Monad
import Control.Applicative
import Control.Concurrent.STM
import Control.Concurrent.STM.TVar
import Control.Concurrent.STM.TChan
import Control.Lens
import Control.Monad.IO.Class (liftIO)

YuMingLiao

module SharedState where
import Concur.Core
import Concur.Replica
import Control.Monad
import Control.Applicative
import Control.Concurrent.STM
import Control.Concurrent.STM.TVar
import Control.Concurrent.STM.TChan
import Control.Lens
import Control.Monad.IO.Class (liftIO)

YuMingLiao

{-# LANGUAGE OverloadedStrings #-}
{-# LANGUAGE DataKinds #-}
{-# LANGUAGE FlexibleContexts #-}
{-# LANGUAGE TypeApplications #-}
{-# LANGUAGE TypeOperators #-}
{-# LANGUAGE KindSignatures #-}
{-# LANGUAGE TypeFamilies #-}
{-# LANGUAGE ScopedTypeVariables #-}
{-# LANGUAGE UndecidableInstances #-}
{-# LANGUAGE AllowAmbiguousTypes #-}

YuMingLiao

{-# LANGUAGE OverloadedStrings #-}
{-# LANGUAGE DataKinds #-}
{-# LANGUAGE FlexibleContexts #-}
{-# LANGUAGE TypeApplications #-}
{-# LANGUAGE TypeOperators #-}
{-# LANGUAGE KindSignatures #-}
{-# LANGUAGE TypeFamilies #-}
{-# LANGUAGE ScopedTypeVariables #-}
{-# LANGUAGE UndecidableInstances #-}
{-# LANGUAGE AllowAmbiguousTypes #-}

YuMingLiao

import 'package:flutter/material.dart';
import 'package:get/get.dart';
void main() => runApp(GetMaterialApp(home: Home()));

class Controller extends GetxController{
  var count = 0.obs;
  increment() => count++;
}
class Home extends StatelessWidget {

YuMingLiao

ReadInt.idr:7:9:
  |
7 | readInt : { [STATE (Vect n Int), STDIO] ==>
  |         ^
When checking type of ReadInt.readInt:
Can't disambiguate since no name has a suitable type: 
        Effects.DepEff.Eff, Effects.SimpleEff.Eff, Effects.TransEff.Eff

YuMingLiao

{ pkgs ? import <nixpkgs> {}, compiler ? "ghc844" }:
pkgs.haskell.packages.${compiler}.callPackage ./hellogce.nix { }

YuMingLiao

{-# LANGUAGE OverloadedLabels  #-}
{-# LANGUAGE TypeFamilies #-}
{-# LANGUAGE FlexibleInstances #-}
{-# LANGUAGE MultiParamTypeClasses #-}
{-# LANGUAGE ScopedTypeVariables #-}
import Data.String
import GHC.OverloadedLabels
import GHC.TypeLits
import Data.Proxy
data Html = Html String [String] [Html] | String String deriving (Show)

YuMingLiao

{-# LANGUAGE TypeFamilies #-}
{-# LANGUAGE TypeOperators #-}
{-# LANGUAGE DataKinds #-}
{-# LANGUAGE UndecidableInstances #-}

data Nat = Z | S Nat

data Expr = Num Nat
           | Add Expr Expr