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 e2c62e9 commit b3921b6Copy full SHA for b3921b6
middle_end/flambda2/terms/code_metadata.ml
@@ -128,6 +128,7 @@ type 'a create_type =
128
contains_no_escaping_local_allocs:bool ->
129
stub:bool ->
130
inline:Inline_attribute.t ->
131
+ check:Lambda.check_attribute ->
132
is_a_functor:bool ->
133
recursive:Recursive.t ->
134
cost_metrics:Cost_metrics.t ->
middle_end/flambda2/terms/code_metadata.mli
@@ -45,7 +45,7 @@ module type Code_metadata_accessors_result_type = sig
45
46
val inline : 'a t -> Inline_attribute.t
47
48
- val check : t -> Lambda.check_attribute
+ val check : 'a t -> Lambda.check_attribute
49
50
val is_a_functor : 'a t -> bool
51
0 commit comments