maybe fix eval + opaque problem

This commit is contained in:
voidlizard 2025-01-26 08:29:40 +03:00
parent b6ce70689d
commit 7f24126c8a
1 changed files with 2 additions and 0 deletions

View File

@ -732,6 +732,8 @@ eval' dict0 syn' = handle (handleForm syn') $ do
e@Literal{} -> pure e
e@OpaqueValue{} -> pure e
e -> do
throwIO $ NotLambda @c e