Commit 065bf663 authored by Martin Clochard's avatar Martin Clochard
Browse files

function type is infinite if second parameter is

parent 4f70ca20
......@@ -41,6 +41,7 @@ let get_material_args matl =
let is_infinite_ty inf_ts ma_map =
let rec inf_ty ty = match ty.ty_node with
| Tyapp (ts,[_;ty]) when ts_equal ts ts_func -> inf_ty ty
| Tyapp (ts,_) when Mts.mem ts inf_ts -> true
| Tyapp (ts,_) when not (Mts.mem ts ma_map) -> false
| Tyapp (ts,l) ->
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment