idris-hackers / iquery Goto Github PK

Type checking ./IQuery/State.idr
./IQuery/State.idr:30:7:
When elaborating right hand side of isObj:
When elaborating an application of function Prelude.Monad.>>=:
        No such variable mkForeign
./IQuery/State.idr:39:16:
When elaborating right hand side of stateVarExists:
When elaborating an application of function Prelude.Monad.>>=:
        No such variable mkForeign
./IQuery/State.idr:44:14:
When elaborating right hand side of initStateVar:
No such variable mkForeign
./IQuery/State.idr:48:3:
When elaborating right hand side of IQuery.State.case block in getStateVar:
When elaborating an application of function Prelude.Functor.map:
        No such variable mkForeign
./IQuery/State.idr:57:14:
When elaborating right hand side of stateCExists:
When elaborating an application of function Prelude.Monad.>>=:
        No such variable mkForeign
./IQuery/State.idr:62:10:
When elaborating right hand side of incCount:
When elaborating an application of function Prelude.Monad.>>=:
        No such variable mkForeign
./IQuery/State.idr:87:8:
When elaborating right hand side of access:
When elaborating an application of function Prelude.Monad.>>=:
        No such variable mkForeign
./IQuery/State.idr:94:12:
When elaborating right hand side of fromState':
No such variable mkForeign
./IQuery/State.idr:116:9:
When elaborating right hand side of toState:
No such variable mkForeign
./IQuery/State.idr:140:10:
When elaborating right hand side of newState:
When elaborating an application of function Prelude.Monad.>>=:
        No such variable mkForeign
./IQuery/State.idr:149:14:
When elaborating right hand side of destroyState:
When elaborating an application of function Prelude.Monad.>>=:
        No such variable mkForeign