motor
motor copied to clipboard
reflectEvents example does not work
Trying to use reflectEvents
with the provided example (Door) results in the rather illuminating type error:
src/Door.hs:52:1: error:
Unsupported type:ForallT [KindedTV n_6989586621679026880 (ConT GHC.Types.Symbol),KindedTV r_6989586621679026881 (AppT (ConT Data.Row.Internal.Row) StarT)] [] (AppT (AppT ArrowT (AppT (ConT Motor.FSM.Class.Name) (VarT n_6989586621679026880))) (AppT (AppT (AppT (AppT (ConT Motor.FSM.Sugar.Actions) (VarT m_6989586621679026856)) (AppT (AppT PromotedConsT (AppT (AppT (ConT Motor.FSM.Sugar.!+) (VarT n_6989586621679026880)) (AppT (AppT (ConT Main.State) (VarT m_6989586621679026856)) (ConT Main.Closed)))) (SigT PromotedNilT (AppT ListT (ConT Motor.FSM.Sugar.ActionMapping))))) (VarT r_6989586621679026881)) (TupleT 0)))
|
52 | reflectEvents ''Door "doorEvents"
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
I'm using GHC 8.10.2.