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.
1 parent 0eda3ff commit f123a71Copy full SHA for f123a71
grin/src/Transformations/ExtendedSyntax/Conversion.hs
@@ -182,6 +182,7 @@ instance Convertible Exp New.Exp where
182
(Alt cpat exp) -> do
183
altName <- deriveNewName "alt"
184
pure $ New.NAltF (convert cpat) (convert altName) exp
185
+ _ -> error "Conversion from Old to New has failed: unexpected AST pattern"
186
187
instance Convertible New.TagType TagType where
188
convert = \case
0 commit comments