variable is defined here, its type is (any) -> {any:any}, but got {str(aa):any}

[liangyuanpeng]

I'm using dirt in schema, basically, i need two different dirt:

1. dirt[string]string
2. dirt[string]bool

And i have not found any doc for it (: so i just try to below kcl for it and got error: variable is defined here, its type is (any) -> {any:any}, but got {str(aa):any}

schema ApiServer:
    timeoutForControlPlane: str = "4m0s"
    certSANs = ["127.0.0.1"]
    extraArgs?: dict
    featureGates?: dict

main.k

...
    apiServer: kubeadm.ApiServer {
        timeoutForControlPlane = "5m0s"
        featureGates = {
            aaa = true
        }
        extraArgs = {
            aa = bb
        }
    }

kcl run

failed to compile the kcl package

error[E2L23]: CompileError
  --> /home/lan/tmp/main.k:17:19
   |
17 |             aaa = true
   |                   ^ name 'true' is not defined
   |


error[E2G22]: TypeError
  --> /home/lan/tmp/main.k:16:9
   |
16 |         featureGates = {
   |         ^ expected (any) -> {any:any}, got {str(aaa):any}
   |

  --> /home/lan/modules/kubeadm/v1beta3/cluster_configuration.k:36:5
   |
36 |     featureGates?: dict
   |     ^ variable is defined here, its type is (any) -> {any:any}, but got {str(aaa):any}
   |


error[E2G22]: TypeError
  --> /home/lan/tmp/main.k:19:9
   |
19 |         extraArgs = {
   |         ^ expected (any) -> {any:any}, got {str(aa):str(bb)}
   |

  --> /home/lan/modules/kubeadm/v1beta3/cluster_configuration.k:35:5
   |
35 |     extraArgs?: dict
   |     ^ variable is defined here, its type is (any) -> {any:any}, but got {str(aa):str(bb)}
   |

[Peefy]

dict is a builtin function and it is also the runtime type string "dict" of any dict. You can use {str:str} or {str:bool} to denote the dict with str and bool type values.

[liangyuanpeng]

Yes, i have readed the doc about runtime type string "dict" of any dict , and could you provide some example for using it in schema? I'm stuck on type, Thanks!

        featureGates = {
            aaa: True
        }
        extraArgs = {
            "aa": "bb"
        }

error: expected (any) -> {any:any}, got {str(aaa):bool(True)}

[liangyuanpeng]

let me try it with

extraArgs: {str:str}

[liangyuanpeng]

Working for me:

---    extraArgs?: dict
---    featureGates?: dict
+++    extraArgs?: {str:str}
+++    featureGates?: {str:bool}

[Peefy]

And you can True instead of true

[Peefy]

The doc of the KCL type system: https://www.kcl-lang.io/docs/reference/lang/tour#type-system