fork download

copy

data Binary = Zero | One deriving (Enum, Eq, Show)
data BinState = S0 | S1 | S2 deriving (Enum, Eq, Show)
 
singleOne :: FSM BinState Binary BinState
singleOne =
  FSM
    { start = S0,
      trans = trans,
      accept = [S1],
      out = Moore $ id
    }
  where
    -- Can be read in a tabular style
    trans :: BinState -> Binary -> BinState
    trans S0 Zero = S0
    trans S0 One = S1
    trans S1 Zero = S1
    trans S1 One = S2
    trans S2 _ = S2
 
 

prog.c:1:1: error: unknown type name ‘data’
 data Binary = Zero | One deriving (Enum, Eq, Show)
 ^~~~
prog.c:1:15: error: ‘Zero’ undeclared here (not in a function)
 data Binary = Zero | One deriving (Enum, Eq, Show)
               ^~~~
prog.c:1:22: error: ‘One’ undeclared here (not in a function)
 data Binary = Zero | One deriving (Enum, Eq, Show)
                      ^~~
prog.c:1:26: error: expected ‘,’ or ‘;’ before ‘deriving’
 data Binary = Zero | One deriving (Enum, Eq, Show)
                          ^~~~~~~~
prog.c:13:5: error: expected ‘=’, ‘,’, ‘;’, ‘asm’ or ‘__attribute__’ before ‘--’ token
     -- Can be read in a tabular style
     ^~

Standard output is empty