@@ -1203,6 +1203,8 @@ and type_access ctx e p mode =
loop ((s,true,p) :: acc) e
| EConst (Ident i) ->
type_path ((i,false,p) :: acc)
+ | EConst (Type i) ->
+ type_path ((i,true,p) :: acc)
| _ ->
fields acc (type_access ctx (fst e) (snd e))
in