From e92d16fd7932f91d77696b3ef6ad8ade7bc706a8 Mon Sep 17 00:00:00 2001 From: Sander Spies Date: Mon, 3 Feb 2020 14:03:47 +0100 Subject: [PATCH] Simplify error case. --- src/bin/expect_tests/error_messages_tests.ml | 2 +- src/test/contracts/negative/gitlab_111.religo | 60 +------------------ 2 files changed, 3 insertions(+), 59 deletions(-) diff --git a/src/bin/expect_tests/error_messages_tests.ml b/src/bin/expect_tests/error_messages_tests.ml index 0cd5e7833..cf800a6ac 100644 --- a/src/bin/expect_tests/error_messages_tests.ml +++ b/src/bin/expect_tests/error_messages_tests.ml @@ -3,7 +3,7 @@ open Cli_expect let%expect_test _ = run_ligo_bad [ "compile-contract" ; "../../test/contracts/negative/gitlab_111.religo" ; "main" ] ; [%expect {| - ligo: : Parse error in file "gitlab_111.religo", line 28, characters 0-3, after "=" and before "let": + ligo: : Parse error in file "gitlab_111.religo", line 2, characters 0-3, after "=" and before "let": This is an incorrect let binding. - Examples of correct let bindings: diff --git a/src/test/contracts/negative/gitlab_111.religo b/src/test/contracts/negative/gitlab_111.religo index 3103973fc..39cb5dceb 100644 --- a/src/test/contracts/negative/gitlab_111.religo +++ b/src/test/contracts/negative/gitlab_111.religo @@ -1,58 +1,2 @@ -type fraction = -{ - num : int, - den : nat -}; - -type storage = fraction; -type parameter = unit; - - -let twopow_aux = (base : nat, accu : nat, n : nat) => - if (n > 0n) { - if (n mod 2n == 1n) { - continue((base * base, accu * base, n / 2n)); - } else { - continue((base * base, accu, n / 2n)); - }; - } else { - stop((base, accu, n)); - }; - -let twopow = (n : nat) : nat => { - let (_, x, _) = Loop.fold_while(twopow_aux, (2n, 1n, n)); - x -}; - -let tp = -let exp = (x : fraction) : fraction => { - let r : int = 1649 * x.num; - let s : nat = 1143n * x.den; - let ab = { - num: r / int(s), den: r mod s - }; - - let (i, f) = - if (2n * ab.den <= s) { - (ab.num, {num: ab.den, den: 1649n * x.den}); - } - else { - (ab.num + 1, {num: ab.den - s, den: 1649n * x.den}); - }; - let pow : nat = twopow(abs(i)); - let tp = if (i > 0) {{num:int(pow), den:1n};} else {{num:1, den:pow};}; - let num : int = (f.num * f.num + 6 * f.num * int(f.den) + int(12n * f.den * f.den)) * tp.num; - let den : int = (f.num * f.num - 6 * f.num * int(f.den) + int(12n * f.den * f.den)) * int(tp.den); - if (den < 0) - { - {num:-num, den:abs(den)}; - } else { - {num:num, den:den}; - }; -}; - -let main = (p : parameter, s : storage) => -{ - let r = exp(s); - ([]: list(operation), r) -}; +let a = +let b = 2; \ No newline at end of file