Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP
Browse files

[feature] compiler, database: Field any traverse list

  • Loading branch information...
commit e2054f8ef9f726d8b35ae5ea6f8e72a65069bf23 1 parent 4c92182
@BourgerieQuentin BourgerieQuentin authored
Showing with 11 additions and 0 deletions.
  1. +11 −0 libqmlcompil/dbGen/schema_private.ml
View
11 libqmlcompil/dbGen/schema_private.ml
@@ -159,6 +159,17 @@ let rec dots gamma fields ty =
that is not a map"
QmlPrint.pp#expr e QmlPrint.pp#ty ty))
end
+ | `any::t ->
+ begin match QmlTypesUtils.Inspect.follow_alias_noopt_private
+ ~until:Opacapi.Types.list gamma ty with
+ | Q.TypeName ([dty;], _) -> dots gamma t dty
+ | ty -> raise (Formatted
+ (fun fmt () ->
+ Format.fprintf fmt
+ "try to access with @{<bright>[_]@} on the type @{<bright>'%a'@} \
+ that is not a list"
+ QmlPrint.pp#ty ty))
+ end
let get_type_from_name ~context gamma tylst tid =
match
Please sign in to comment.
Something went wrong with that request. Please try again.