From 6254eeb2ed8c5341b2539632e023e8b8a773ce92 Mon Sep 17 00:00:00 2001
From: microproofs <kwhitemsg@gmail.com>
Date: Mon, 7 Aug 2023 11:55:25 -0400
Subject: [PATCH] add acceptance test 88

---
 examples/acceptance_tests/087/plutus.json  | 32 ----------------------
 examples/acceptance_tests/088/aiken.lock   | 13 +++++++++
 examples/acceptance_tests/088/aiken.toml   |  8 ++++++
 examples/acceptance_tests/088/lib/tests.ak | 32 ++++++++++++++++++++++
 4 files changed, 53 insertions(+), 32 deletions(-)
 delete mode 100644 examples/acceptance_tests/087/plutus.json
 create mode 100644 examples/acceptance_tests/088/aiken.lock
 create mode 100644 examples/acceptance_tests/088/aiken.toml
 create mode 100644 examples/acceptance_tests/088/lib/tests.ak

diff --git a/examples/acceptance_tests/087/plutus.json b/examples/acceptance_tests/087/plutus.json
deleted file mode 100644
index 415663f0..00000000
--- a/examples/acceptance_tests/087/plutus.json
+++ /dev/null
@@ -1,32 +0,0 @@
-{
-  "preamble": {
-    "title": "aiken-lang/acceptance_test_086",
-    "version": "0.0.0",
-    "plutusVersion": "v2"
-  },
-  "validators": [
-    {
-      "title": "other.validate",
-      "datum": {
-        "title": "raw_datum",
-        "schema": {
-          "$ref": "#/definitions/Data"
-        }
-      },
-      "redeemer": {
-        "title": "_redeemer",
-        "schema": {
-          "$ref": "#/definitions/Data"
-        }
-      },
-      "compiledCode": "5901fd01000032323232323232323232222533300832323232533300c3370e9000000899251300a00214a06014002601c002600e008664464a66601666e1d20000011323253330103012002132498c94ccc038cdc3a400000226464a666026602a0042649319299980899b87480000044c8c94ccc058c0600084c9263253330143370e9000000899191919299980d980e8010991924c64a66603466e1d200000113232533301f3021002132498c94ccc074cdc3a400000226464a666044604800426493180b8008b1811000980d8010a99980e99b87480080044c8c8c8c8c8c94ccc098c0a000852616375a604c002604c0046eb4c090004c090008dd69811000980d8010b180d8008b180f800980c0018a99980d19b874800800454ccc074c06000c52616163018002301000316301b001301b00230190013012002163012001163016001300f00216300f001163013001300c0021533300e3370e90010008a99980898060010a4c2c2c60180022c602000260120042c6012002464a66601466e1d200000113232533300f3011002149858dd7180780098040010a99980519b87480080044c8c94ccc03cc04400852616375c601e00260100042c60100020062930b19800800a40004444666600e66e1c00400c02c8cccc014014cdc000224004601a0020040044600a6ea80048c00cdd5000ab9a5573aaae7955cfaba15745",
-      "hash": "6a76fed919611638154fbaf78bd7a37f98b77e42eebc615f2d2d0f32"
-    }
-  ],
-  "definitions": {
-    "Data": {
-      "title": "Data",
-      "description": "Any Plutus data."
-    }
-  }
-}
\ No newline at end of file
diff --git a/examples/acceptance_tests/088/aiken.lock b/examples/acceptance_tests/088/aiken.lock
new file mode 100644
index 00000000..0423f31b
--- /dev/null
+++ b/examples/acceptance_tests/088/aiken.lock
@@ -0,0 +1,13 @@
+# This file was generated by Aiken
+# You typically do not need to edit this file
+
+[[requirements]]
+name = "aiken-lang/stdlib"
+version = "main"
+source = "github"
+
+[[packages]]
+name = "aiken-lang/stdlib"
+version = "main"
+requirements = []
+source = "github"
diff --git a/examples/acceptance_tests/088/aiken.toml b/examples/acceptance_tests/088/aiken.toml
new file mode 100644
index 00000000..1f0e682a
--- /dev/null
+++ b/examples/acceptance_tests/088/aiken.toml
@@ -0,0 +1,8 @@
+name = "aiken-lang/acceptance_test_088"
+version = "0.0.0"
+description = ""
+
+[[dependencies]]
+name = 'aiken-lang/stdlib'
+version = 'main'
+source = 'github'
diff --git a/examples/acceptance_tests/088/lib/tests.ak b/examples/acceptance_tests/088/lib/tests.ak
new file mode 100644
index 00000000..693728e3
--- /dev/null
+++ b/examples/acceptance_tests/088/lib/tests.ak
@@ -0,0 +1,32 @@
+use aiken/math/rational.{Rational}
+use aiken/option
+
+pub fn div_by_int_orig(rat: Rational, token_2_amount: Int) -> Option<Int> {
+  rational.div(
+    rat,
+    token_2_amount
+      |> rational.from_int,
+  )
+    |> option.map(rational.truncate)
+}
+
+pub fn div_by_int_fixed(rat: Rational, token_2_amount: Int) -> Option<Int> {
+  when
+    rational.div(
+      rat,
+      token_2_amount
+        |> rational.from_int,
+    )
+  is {
+    Some(rat) -> Some(rational.truncate(rat))
+    None -> None
+  }
+}
+
+test sale_failing_test() {
+  div_by_int_orig(100 |> rational.from_int, 100) == Some(1)
+}
+
+test sale_fixed_test() {
+  div_by_int_fixed(100 |> rational.from_int, 100) == Some(1)
+}