Right now we collect data constructors and the type they construct, but we discard the mapping in the opposite direction Type -> [DataConstructor]. This information is already present in the ExternsFile format, it just needs to be added as a field to IdeType and populated when converting Externs.
Right now we collect data constructors and the type they construct, but we discard the mapping in the opposite direction
Type -> [DataConstructor]. This information is already present in the ExternsFile format, it just needs to be added as a field toIdeTypeand populated when converting Externs.