@gentype annotation is required for .gen.tsx creation; using functors not sufficient #582
Description
Consider this file. GenType creates everything I expect, including a constant for the whole NegativeInt module. BUT comment out the @genType let bozo = 0 and NOTHING gets generated. This seems really odd. Why would the inclusion of the bozo line affect generation of anything else?
Separately, I'm finding some inconsistent behavior with trying to generate those wrapped up constant exports like NegativeInt that include all the defined module functions. Sometimes it creates the constant with everything wrapped up, and sometimes it only creates the pieces inside NegativeInt without a wrapper. Can't pin this down. I was actually surprised it ever works since you can't put a genType annotation on the module itself and I thought it only worked with first class modules.
module type Validated = { type t type domain @genType let make: domain => option<t> @genType let makeExn: domain => t @genType let value: t => domain } module type Config = { type domain let validate: domain => option<domain> } module type MakeValidated = (P: Config) => (Validated with type domain := P.domain) module Make: MakeValidated = (P: Config) => { type t = P.domain let make = v => v->P.validate let makeExn = v => v->make->Option.getExn external value: t => P.domain = "%identity" } module NegativeInt = Make({ type domain = int let validate = n => switch n < 0 { | true => Some(n) | false => None } }) // Comment out these lines and nothing is generated @genType let bozo = 0 Part of what gets generated...
export const NegativeInt: { makeExn: (_1: number) => NegativeInt_t; value: (_1: NegativeInt_t) => number; make: (_1: number) => null | undefined | NegativeInt_t; } = ExperimentBS.NegativeInt;