Commit 015e2ca1 authored by Gilles Coremans's avatar Gilles Coremans
Browse files

Merge branch 'master' of into genterm

parents ce8948bf 330a3934
......@@ -24,7 +24,8 @@ minus (Z) _ = (error "You cannot substract zero with a positive number")
minus result (Z) = result
minus (STypeVar h1) (STypeVar h2) = (minus h1 h2)
minus (STermVar h1) (STermVar h2) = (minus h1 h2)
minus _ _ = (error "differing namespace found in minus")
minus (STermVar h1) (STypeVar h2) = STermVar (minus h1 (STypeVar h2))
minus (STypeVar h1) (STermVar h2) = STypeVar (minus h1 (STermVar h2))
generateHnatTermVar 0 c = c
generateHnatTermVar n c = (STermVar (generateHnatTermVar (n - 1) c))
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