Fix #191: reachability sweep drops return-only-generic orphan records

CHANGELOG.md

@@ -7,6 +7,13 @@ This project adheres to [Semantic Versioning](https://semver.org/).
 
 ### Fixed
 
+- **Return-only generic no longer strands an orphan record** (#191) — a function whose type parameter
+  appears only in its return (`jsonBoxed<T>(): BoxOf<T>`) has that return flagged (it can't round-trip),
+  but the record `classify` registered while building the discarded return was left in the output as an
+  unreferenced type. A post-traversal reachability sweep now drops any registered type unreachable from
+  the emitted roots, and a concrete sibling reclaims the clean base name (`readBox(): BoxOf<string>` →
+  `boxOf`, not `boxOfV1hnll`). Key-based, so a late-bound keyed ref never loses a live type.
+
 - **Large `@unboxed` unions no longer leak every member into the public type name** (#190) — a named
   union with more than four runtime members now follows its upstream alias (`StatusCode` →
   `statusCode`) instead of producing Hono's 60-member `v100OrV101Or…OrV511OrV1`. The exact previous

benchmark/baselines/_juspay_blend-design-system_0.0.36/bindings/BlendChart.res

@@ -1,7 +1,7 @@
 type props<'a, 'b, 'c, 't7> = {
   ref?: React.ref<Nullable.t<DistTypes.highchartsReactRefObject<'a, 'b, 'c>>>,
   allowChartUpdate?: bool,
-  constructorType?: HighchartsSharedTypes.chartsBlendChartPropsConstructorType,
+  constructorType?: ChartsTypes.chartsBlendChartPropsConstructorType,
   containerProps?: Dict.t<'t7>,
   highcharts?: InstanceTypes.highchartsModule,
   immutable?: bool,

benchmark/baselines/_juspay_blend-design-system_0.0.36/bindings/BlendDesignSystemBindings.res

@@ -11,7 +11,7 @@
 @module("@juspay/blend-design-system") external addSnackbar: (SnackbarTypes.addToastOptions) => CommonTypes.stringOrNumber = "addSnackbar"
 @module("@juspay/blend-design-system") external getSnackbarTokens: (TokensTypes.foundationTokenType) => SnackbarTypes.responsiveSnackbarTokens = "getSnackbarTokens"
 @module("@juspay/blend-design-system") external getPopoverTokens: (TokensTypes.foundationTokenType) => PopoverTypes.responsivePopoverTokens = "getPopoverTokens"
-@module("@juspay/blend-design-system") external getChartTokens: (TokensTypes.foundationTokenType) => HighchartsSharedTypes.responsiveChartTokens = "getChartTokens"
+@module("@juspay/blend-design-system") external getChartTokens: (TokensTypes.foundationTokenType) => ChartsTypes.responsiveChartTokens = "getChartTokens"
 @module("@juspay/blend-design-system") external blendChartBaseInstance: InstanceTypes.highchartsModule = "BlendChartBaseInstance"
 @module("@juspay/blend-design-system") external getCalendarToken: (TokensTypes.foundationTokenType) => DateRangePickerTypes.responsiveCalendarTokens = "getCalendarToken"
 @module("@juspay/blend-design-system") external getStatCardToken: (TokensTypes.foundationTokenType) => StatCardTypes.responsiveStatCardTokens = "getStatCardToken"

benchmark/baselines/_juspay_blend-design-system_0.0.36/bindings/ChartLegends.res

@@ -1,7 +1,7 @@
 type props = {
   chartContainerRef: React.ref<Nullable.t<Dom.element>>,
   keys: array<string>,
-  colors: array<HighchartsSharedTypes.chartsColorsConfig>,
+  colors: array<ChartsTypes.chartsColorsConfig>,
   handleLegendClick: string => unit,
   handleLegendEnter: string => unit,
   handleLegendLeave: unit => unit,
@@ -11,8 +11,8 @@ type props = {
   activeKeys: Nullable.t<array<string>>,
   stacked?: bool,
   isSmallScreen?: bool,
-  stackedLegendsData?: array<HighchartsSharedTypes.stackedLegendsDataPoint>,
-  legends?: array<HighchartsSharedTypes.chartsLegendsConfig>,
+  stackedLegendsData?: array<ChartsTypes.stackedLegendsDataPoint>,
+  legends?: array<ChartsTypes.chartsLegendsConfig>,
 }
 
 @module("@juspay/blend-design-system")

benchmark/baselines/_juspay_blend-design-system_0.0.36/bindings/ChartV2.res

@@ -1,6 +1,6 @@
 type props<'a, 'b, 'c> = {
   allowChartUpdate?: bool,
-  constructorType?: HighchartsSharedTypes.chartsBlendChartPropsConstructorType,
+  constructorType?: ChartsTypes.chartsBlendChartPropsConstructorType,
   containerProps?: Dict.t<'a>,
   highcharts?: InstanceTypes.highchartsModule,
   immutable?: bool,

benchmark/baselines/_juspay_blend-design-system_0.0.36/bindings/Charts.res

@@ -1,28 +1,28 @@
 type props = {
-  chartType?: HighchartsSharedTypes.chartType,
-  data: array<HighchartsSharedTypes.newNestedDataPoint>,
-  colors?: array<HighchartsSharedTypes.chartsColorsConfig>,
+  chartType?: ChartsTypes.chartType,
+  data: array<ChartsTypes.newNestedDataPoint>,
+  colors?: array<ChartsTypes.chartsColorsConfig>,
   slot1?: React.element,
   slot2?: React.element,
   slot3?: React.element,
-  legendPosition?: HighchartsSharedTypes.chartLegendPosition,
+  legendPosition?: ChartsTypes.chartLegendPosition,
   chartHeaderSlot: React.element,
   stackedLegends?: bool,
-  stackedLegendsData?: array<HighchartsSharedTypes.stackedLegendsDataPoint>,
+  stackedLegendsData?: array<ChartsTypes.stackedLegendsDataPoint>,
   barsize?: float,
-  xAxis?: HighchartsSharedTypes.axisConfig,
-  yAxis?: HighchartsSharedTypes.axisConfig,
-  tooltip?: HighchartsSharedTypes.tooltipConfig,
-  noData?: HighchartsSharedTypes.noDataProps,
+  xAxis?: ChartsTypes.axisConfig,
+  yAxis?: ChartsTypes.axisConfig,
+  tooltip?: ChartsTypes.tooltipConfig,
+  noData?: ChartsTypes.noDataProps,
   height?: float,
   showHeader?: bool,
   showCollapseIcon?: bool,
   isExpanded?: bool,
   onExpandedChange?: bool => unit,
   chartName?: string,
-  skeleton?: HighchartsSharedTypes.chartsSkeletonProps,
-  legends?: array<HighchartsSharedTypes.chartsLegendsConfig>,
-  @as("CustomizedDot") customizedDot?: HighchartsSharedTypes.dotItemDotProps => React.element,
+  skeleton?: ChartsTypes.chartsSkeletonProps,
+  legends?: array<ChartsTypes.chartsLegendsConfig>,
+  @as("CustomizedDot") customizedDot?: ChartsTypes.dotItemDotProps => React.element,
   lineSeriesKeys?: array<string>,
 }