import Data.List
from Text import class Text(join,toUpperCase), instance Text String
-derive consIndex BC
-derive consName BC
-derive gconses BC, AnalogPin
+derive consIndex BC, Pin
+derive consName BC, Pin
+derive conses BC, AnalogPin, DigitalPin, Pin
(<+) infixr 5 :: a b -> String | toString a & toString b
(<+) a b = toString a +++ toString b
Start w
# (io, w) = stdio w
# io = io <<< "#ifndef MTASK_H\n#define MTASK_H\n"
-# io = io <<< join "\n" $ zipWith toDefine [1..] conses
+# io = io <<< join "\n" (zipWith toDefine [0..] conses{|*|})
# (ok, w) = fclose (io <<< "\n#endif\n") w
| not ok = abort "Couldn't close stdio"
= w