Skip to content
Browse files

* h_program-lang/database_code.ml:

  • Loading branch information...
1 parent 7f9c0c1 commit e3bd331240dff82665aa61c4c9e3beb0524c15fa @aryx aryx committed
Showing with 5 additions and 0 deletions.
  1. +5 −0 h_program-lang/database_code.ml
View
5 h_program-lang/database_code.ml
@@ -579,6 +579,11 @@ let matching_use_categ_kind categ kind =
| Global, HC.Local _
| Function, HC.Local _
| Constructor, HC.Global _
+ | Function, HC.Builtin
+ | Function, HC.BuiltinCommentColor
+ | Function, HC.BuiltinBoolean
+ (* because what looks like a constant is actually a partially applied func *)
+ | Function, HC.Constant _
| Global, HC.UseOfRef
| Field, HC.UseOfRef

0 comments on commit e3bd331

Please sign in to comment.
Something went wrong with that request. Please try again.