Can't use named arguments inside defStatic

[bamboo]

Can't use named arguments inside defStatic

[rafaelprev]

The code that is generated :

  %inline
  public export
  new : HasIO io => TextButton.New.NamedParameters -> io TextButton
  new  ps = primIO $ prim__dart_new TextButton [] ps

  %foreign "Dart:TextButton.styleFrom,package:flutter/material.dart"
  prim__styleFrom :  ->  -> PrimIO ButtonStyle

  export
  styleFrom : HasIO io =>  ->  -> io ButtonStyle
  styleFrom  = primIO $ prim__styleFrom 

[rafaelprev]

If It can generate something like this, it can work

namespace TextButton
  export
  IsAssignableFrom Widget TextButton where

  namespace New
    data Tag : Type where

    %inline
    public export
    onPressed : Parameter TextButton.New.Tag
    onPressed = mkParameter "onPressed" (IO ())

    %inline
    public export
    style : Parameter TextButton.New.Tag
    style = mkParameter "style" ButtonStyle

    %inline
    public export
    child : Parameter TextButton.New.Tag
    child = mkParameter "child" Widget
    %inline
    public export
    NamedParameters : Type
    NamedParameters = Parameters [TextButton.New.onPressed, TextButton.New.style, TextButton.New.child]

  
  namespace StyleFrom
      data Tag : Type where

      %inline
      public export
      primary : Parameter StyleFrom.Tag
      primary = mkParameter "primary" Color

      %inline
      public export
      backgroundColor : Parameter StyleFrom.Tag
      backgroundColor = mkParameter "backgroundColor" Color

      %inline
      public export
      NamedParameters : Type
      NamedParameters = Parameters [StyleFrom.primary, StyleFrom.backgroundColor]


  %inline
  public export
  new : HasIO io => TextButton.New.NamedParameters -> io TextButton
  new  ps = primIO $ prim__dart_new TextButton [] ps

  %extern prim__dart_new : Type -> HVect positional -> Parameters named -> (1 x : %World) -> IORes ButtonStyle
  
  %inline
  public export
  styleFrom : TextButton.StyleFrom.NamedParameters -> IO ButtonStyle
  styleFrom  ps = primIO $ prim__dart_new (Struct "TextButton.styleFrom,package:flutter/material.dart" []) [] ps

[rafaelprev]

I have a fix here @bamboo rafaelprev@50a35a5
But I'm not really satisfied with this fix, unless you want me to do a PR because its a small project or because you think its good enough, I will improve that solution on my fork

[bamboo]

Hey @rafaelprev, thanks for the report, I'll take a look at this in the next couple of days.