|
@@ -49,7 +49,7 @@ let rec filter_param t =
|
|
TAbstract(a, List.map filter_param tl)
|
|
TAbstract(a, List.map filter_param tl)
|
|
| TAbstract({a_path = [],"Null"} as a,[t]) ->
|
|
| TAbstract({a_path = [],"Null"} as a,[t]) ->
|
|
TAbstract(a,[filter_param t])
|
|
TAbstract(a,[filter_param t])
|
|
- | TAbstract(a,tl) when not (Meta.has Meta.CoreType a.a_meta) ->
|
|
|
|
|
|
+ | TAbstract(a,tl) when (Meta.has Meta.MultiType a.a_meta) ->
|
|
filter_param (Abstract.get_underlying_type a tl)
|
|
filter_param (Abstract.get_underlying_type a tl)
|
|
| TAbstract(a,tl) ->
|
|
| TAbstract(a,tl) ->
|
|
TAbstract(a, List.map filter_param tl)
|
|
TAbstract(a, List.map filter_param tl)
|