Commit 2b2bace6 authored by Lovis J.I. Zenz's avatar Lovis J.I. Zenz
Browse files

fix 317 - fixed fusion.ml 010

parent 35999ffa
Pipeline #827 failed with stage
in 45 seconds
......@@ -136,14 +136,14 @@ val lin-eq? lin1 lin2 = case lin1 of
end
end
val id-eq? id1 id2 = case id1 of
VIRT_T v1 : case id2 of
VIRT_T v2 : v1 === v2
| _ : '0'
end
| VIRT_O v1 : case id2 of
VIRT_O v2 : v1 === v2
| _ : '0'
end
| _ : index id1 === index id2
end
\ No newline at end of file
#val id-eq? id1 id2 = case id1 of
# VIRT_T v1 : case id2 of
# VIRT_T v2 : v1 === v2
# | _ : '0'
# end
# | VIRT_O v1 : case id2 of
# VIRT_O v2 : v1 === v2
# | _ : '0'
# end
# | _ : index id1 === index id2
#end
\ No newline at end of file
Markdown is supported
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