Commit dc884c8a authored by Finn Teegen's avatar Finn Teegen
Browse files

Fix minor bug in augmentation

parent bf490069
......@@ -178,7 +178,7 @@ augmentValues = fmap augmentValueInfo
augmentValueInfo :: ValueInfo -> ValueInfo
augmentValueInfo (Value f True a (ForAll n (PredType ps ty)))
| arrowArity ty == 0 = Value f True (a + 1) $ ForAll n $ PredType ps ty'
| arrowArity ty == 0 = Value f True a $ ForAll n $ PredType ps ty'
where ty' = augmentType ty
augmentValueInfo vi = vi
......
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