fuel_cost example

working
alcides · Feb 21, 2024 · 173d93d · 173d93d
1 parent 3b12746
commit 173d93d
Showing 1 changed file with 2 additions and 5 deletions.
diff --git a/examples/PSB2/annotations/fuel_cost.ae b/examples/PSB2/annotations/fuel_cost.ae
@@ -8,9 +8,6 @@ def map_Int_Int_List: (function:(a: Int) -> Int) -> (l: List) -> List = native "
 
 def fuel_cost  (xs: List) : Int {
  sum(
-    map_Int_Int_List(
-        ( \x : Int -> Math_max (Math_floor_division(x)(3 - 2)) (0)) (xs))
-        )
+    map_Int_Int_List (( \x -> Math_max (Math_floor_division(x)(3) - 2)(0)) : (x: Int) -> Int) (xs)
+    )
  }
-
-# Type not freshable: ?t <class 'aeon.core.types.TypeVar'>