Invalid field type

I’m currently running into this error and I’m not sure what is wrong with what I have.

The error output:

> dhall-to-json --preserve-null --explain --file Techport_FunctionCodes.dhall


↳ ./schema/OptionScheme.dhall

Error: Invalid field type

10│     { dlc : Natural
11│     , fields : FieldList
12│     , name : Text
13│     , telemjson : Optional Text
14│     , collection : Collection
15│     }

/schema/OptionScheme.dhall:10:5

43│              ./schema/OptionScheme.dhall

Techport_FunctionCodes.dhall:43:14

The dhall files defining these types:

schema/Collection.dhall

 { Type =
     { max : Natural
     , interval : Optional Text
     }
 , default = { max = 1, interval = None Text }
 }

schema/OptionScheme.dhall

let FieldList = ./FieldList.dhall
let Collection = ./Collection.dhall

in
{ Type =
    { dlc : Natural
    , fields : FieldList
    , name : Text
    , telemjson : Optional Text
    , collection : Collection
    }
, default = { telemjson = None Text, collection = Collection.default }
}

I believe you need to replace collection : Collection with collection : Collection.Type

That indeed was my problem. Makes sense after seeing it. Thanks!

You’re welcome! :slightly_smiling_face: