diff options
author | Siddharth Bhat <siddu.druid@gmail.com> | 2018-07-17 01:14:36 +0200 |
---|---|---|
committer | Siddharth Bhat <siddu.druid@gmail.com> | 2018-07-17 13:14:44 +0200 |
commit | 83afcfd21be0084b2eff33ffd9e2d8b785679d4a (patch) | |
tree | 7743af4c6fd7ebdabab8cdebf2f51b7285896ece /engine/evar_kinds.ml | |
parent | 78321b33b0e5af859f2f57ef96aeb95fad258138 (diff) |
change into QuestionMark default
Diffstat (limited to 'engine/evar_kinds.ml')
-rw-r--r-- | engine/evar_kinds.ml | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/engine/evar_kinds.ml b/engine/evar_kinds.ml index bedfd0cbb..ea1e57254 100644 --- a/engine/evar_kinds.ml +++ b/engine/evar_kinds.ml @@ -30,6 +30,12 @@ type question_mark = { qm_record_field: record_field option; } +let default_question_mark = { + qm_obligation=Define true; + qm_name=Anonymous; + qm_record_field=None; +} + type t = | ImplicitArg of GlobRef.t * (int * Id.t option) * bool (** Force inference *) |