bamboo / idris2dart

The Dart backend for Idris 2.

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Your flutter examples doesn't compile anymore

rafaelprev opened this issue · comments

Since you added these lines of code in flutter-ffi-generator

 defClass "Row" [
      extends "Widget",
      defConstructor "" [
        named (listOf "Widget") "children",
        named "MainAxisAlignment" "mainAxisAlignment"
      ]
    ],

I have this error


1/1: Building Main (lib/Main.idr)
Error: While processing right hand side of appHome. While processing right hand side of appHome,build. When unifying DartList Widget and typeOf ?p.
Undefined name Dart.Core.DartList. 

lib/Main.idr:19:23--24:13
 19 |           children @= !(widgets [
 20 |             !(Text.new "You have pushed the button this many times:" []),
 21 |             !(Text.new (show (get state)) [
 22 |               style @= headline4 (textTheme !(Theme.of_ context))
 23 |             ])
 24 |           ])

without it, I have no problem

Thanks for the report!