module test

import Data.GenC

derive gToCType T, E, G, List, G2
////derive gToCValue BCPeripheral, Pin, DHTtype, APin, DPin, T, E, G, List, G2, UInt8
derive gPotentialInf T, E, G, List, G2

:: E = E1 | E2 | E3
:: T
	= A Int Bool
	| E T
:: G = {field1 :: Real, test :: Bool, bork :: Int, g2 :: G2}
:: G2 = {f1 :: Int, f2 :: Bool}

:: List a = Nil | Cons a (List a)

//CPeripherals :: Structmaker BCPeripheral
//CPeripherals = generateCInfo
//CPeripherals :: Structmaker (List Int)
CPeripherals :: Structmaker [Int]
CPeripherals = gToCType{|*|}

Start = runStructMaker CPeripherals