shopping example working

alcides · Feb 21, 2024 · 1cd22bc · 1cd22bc
1 parent 173d93d
commit 1cd22bc
Showing 1 changed file with 2 additions and 3 deletions.
diff --git a/examples/PSB2/annotations/shopping.ae b/examples/PSB2/annotations/shopping.ae
@@ -7,9 +7,8 @@ def map_Int_Int_Int_List_List: (function: (a: Int) -> (b: Int) -> Int) -> (l: Li
 
 def shopping  (prices: List, discounts: List) : Int {
  sum(
-    map_Int_Int_Int_List_List(
-        ( \x : Int -> \y : Int -> x * (1 - d / 100)) (prices) (discounts)
-        )
+    map_Int_Int_Int_List_List
+        (( \x -> (\y -> x * (1 - y / 100))): (x:Int) -> (y:Int) -> Int) (prices) (discounts)
     )
  }