We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
never
1 parent 6ce7e66 commit 8eb94c8Copy full SHA for 8eb94c8
lambda-buffers-codegen/src/LambdaBuffers/Codegen/Typescript/Print/Ty.hs
@@ -89,7 +89,10 @@ printSum pkgMap tyN (PC.Sum ctors _) = do
89
return $
90
group $
91
if null ctors
92
- then mempty
+ then -- TODO(jaredponn): is this what we want? The empty sum
93
+ -- corresponds to the `never` type in the sense that there are no
94
+ -- values which satisfy this type
95
+ "never"
96
else align $ vsep $ map (pipe <+>) ctorDocs
97
98
-- | The name of the field which specifies a type constructor
0 commit comments