|
@@ -234,8 +234,9 @@ module Pattern = struct
|
|
|
raise (Bad_pattern "Only inline or read-only (default, never) fields can be used as a pattern")
|
|
|
| TTypeExpr mt ->
|
|
|
PatConstructor(con_type_expr mt e.epos,[])
|
|
|
- | TMeta((Meta.Deprecated,_,_), e) ->
|
|
|
- loop e
|
|
|
+ | TMeta((Meta.Deprecated,_,_) as m, e1) ->
|
|
|
+ DeprecationCheck.check_meta pctx.ctx.com [m] "field" e1.epos;
|
|
|
+ loop e1
|
|
|
| _ ->
|
|
|
raise Exit
|
|
|
in
|