rbarreiro/ifui

Idris libraries to create user interfaces

ifui's Issues

Undefined name MapCursor

I tried building the todo example but ran into a compilation error.

Reproduction

. build_examples.sh
cd examples/todo_full_example
make

The last make command fails with:

idris2 -p ifui -p contrib --codegen javascript frontend.idr -o frontend.js
Error: While processing right hand side of logedInTodoApi. While processing right hand side of logedInTodoApi,descsQuery. Undefined name MapCursor. 

Api:22:42--22:51
 18 | logedInTodoApi : RethinkServer DBTy -> Service ApiServices
 19 | logedInTodoApi r =
 20 |   let todoItem = GetTable "todoApp" "todoItem"
 21 |       descsQuery : Query DBTy [] (Cursor String)
 22 |       descsQuery = ReadTable todoItem |> MapCursor <| GetField "desc"
                                               ^^^^^^^^^
Did you mean: Cursor?
Error: Undefined name main. 
Did you mean: min?
make: *** [build-frontend] Error 1