motor icon indicating copy to clipboard operation
motor copied to clipboard

reflectEvents example does not work

Open Galagora opened this issue 4 years ago • 0 comments

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.

Galagora avatar Sep 13 '20 08:09 Galagora