From d187317c325df8399e8fca0ac31a9e2952e64e6b Mon Sep 17 00:00:00 2001 From: galfour Date: Mon, 9 Sep 2019 11:47:42 +0200 Subject: [PATCH] move contracts --- {src => test}/contracts/amount.mligo | 0 {src => test}/contracts/annotation.ligo | 0 {src => test}/contracts/arithmetic.ligo | 0 {src => test}/contracts/assign.ligo | 0 {src => test}/contracts/basic.mligo | 0 {src => test}/contracts/bitwise_arithmetic.ligo | 0 {src => test}/contracts/boolean_operators.ligo | 0 {src => test}/contracts/bytes_arithmetic.ligo | 0 {src => test}/contracts/closure-1.ligo | 0 {src => test}/contracts/closure-2.ligo | 0 {src => test}/contracts/closure-3.ligo | 0 {src => test}/contracts/closure.ligo | 0 {src => test}/contracts/coase.ligo | 0 {src => test}/contracts/condition-simple.ligo | 0 {src => test}/contracts/condition.ligo | 0 {src => test}/contracts/counter.ligo | 0 {src => test}/contracts/counter.mligo | 0 {src => test}/contracts/declaration-local.ligo | 0 {src => test}/contracts/declarations.ligo | 0 {src => test}/contracts/dispatch-counter.ligo | 0 {src => test}/contracts/error_syntax.ligo | 0 {src => test}/contracts/error_type.ligo | 0 {src => test}/contracts/failwith.mligo | 0 {src => test}/contracts/function-complex.ligo | 0 {src => test}/contracts/function-shared.ligo | 0 {src => test}/contracts/function.ligo | 0 {src => test}/contracts/guess_string.mligo | 0 {src => test}/contracts/heap-instance.ligo | 0 {src => test}/contracts/heap.ligo | 0 {src => test}/contracts/high-order.ligo | 0 {src => test}/contracts/included.ligo | 0 {src => test}/contracts/includer.ligo | 0 {src => test}/contracts/lambda.ligo | 0 {src => test}/contracts/lambda.mligo | 0 {src => test}/contracts/lambda2.mligo | 0 {src => test}/contracts/letin.mligo | 0 {src => test}/contracts/list.ligo | 0 {src => test}/contracts/list.mligo | 0 {src => test}/contracts/loop.ligo | 0 {src => test}/contracts/map.ligo | 0 {src => test}/contracts/match.ligo | 0 {src => test}/contracts/match.mligo | 0 {src => test}/contracts/match_bis.mligo | 0 {src => test}/contracts/multiple-parameters.ligo | 0 {src => test}/contracts/new-syntax.mligo | 0 {src => test}/contracts/option.ligo | 0 {src => test}/contracts/parser-bad-reported-term.ligo | 0 {src => test}/contracts/quote-declaration.ligo | 0 {src => test}/contracts/quote-declarations.ligo | 0 {src => test}/contracts/record.ligo | 0 {src => test}/contracts/record.mligo | 0 {src => test}/contracts/set_arithmetic-1.ligo | 0 {src => test}/contracts/set_arithmetic.ligo | 0 {src => test}/contracts/shadow.ligo | 0 {src => test}/contracts/string.ligo | 0 {src => test}/contracts/string_arithmetic.ligo | 0 {src => test}/contracts/super-counter.ligo | 0 {src => test}/contracts/super-counter.mligo | 0 {src => test}/contracts/toto.ligo | 0 {src => test}/contracts/tuple.ligo | 0 {src => test}/contracts/type-alias.ligo | 0 {src => test}/contracts/unit.ligo | 0 {src => test}/contracts/variant-matching.ligo | 0 {src => test}/contracts/variant.ligo | 0 {src => test}/contracts/vote.mligo | 0 {src => test}/contracts/website1.ligo | 0 {src => test}/contracts/website2.ligo | 0 67 files changed, 0 insertions(+), 0 deletions(-) rename {src => test}/contracts/amount.mligo (100%) rename {src => test}/contracts/annotation.ligo (100%) rename {src => test}/contracts/arithmetic.ligo (100%) rename {src => test}/contracts/assign.ligo (100%) rename {src => test}/contracts/basic.mligo (100%) rename {src => test}/contracts/bitwise_arithmetic.ligo (100%) rename {src => test}/contracts/boolean_operators.ligo (100%) rename {src => test}/contracts/bytes_arithmetic.ligo (100%) rename {src => test}/contracts/closure-1.ligo (100%) rename {src => test}/contracts/closure-2.ligo (100%) rename {src => test}/contracts/closure-3.ligo (100%) rename {src => test}/contracts/closure.ligo (100%) rename {src => test}/contracts/coase.ligo (100%) rename {src => test}/contracts/condition-simple.ligo (100%) rename {src => test}/contracts/condition.ligo (100%) rename {src => test}/contracts/counter.ligo (100%) rename {src => test}/contracts/counter.mligo (100%) rename {src => test}/contracts/declaration-local.ligo (100%) rename {src => test}/contracts/declarations.ligo (100%) rename {src => test}/contracts/dispatch-counter.ligo (100%) rename {src => test}/contracts/error_syntax.ligo (100%) rename {src => test}/contracts/error_type.ligo (100%) rename {src => test}/contracts/failwith.mligo (100%) rename {src => test}/contracts/function-complex.ligo (100%) rename {src => test}/contracts/function-shared.ligo (100%) rename {src => test}/contracts/function.ligo (100%) rename {src => test}/contracts/guess_string.mligo (100%) rename {src => test}/contracts/heap-instance.ligo (100%) rename {src => test}/contracts/heap.ligo (100%) rename {src => test}/contracts/high-order.ligo (100%) rename {src => test}/contracts/included.ligo (100%) rename {src => test}/contracts/includer.ligo (100%) rename {src => test}/contracts/lambda.ligo (100%) rename {src => test}/contracts/lambda.mligo (100%) rename {src => test}/contracts/lambda2.mligo (100%) rename {src => test}/contracts/letin.mligo (100%) rename {src => test}/contracts/list.ligo (100%) rename {src => test}/contracts/list.mligo (100%) rename {src => test}/contracts/loop.ligo (100%) rename {src => test}/contracts/map.ligo (100%) rename {src => test}/contracts/match.ligo (100%) rename {src => test}/contracts/match.mligo (100%) rename {src => test}/contracts/match_bis.mligo (100%) rename {src => test}/contracts/multiple-parameters.ligo (100%) rename {src => test}/contracts/new-syntax.mligo (100%) rename {src => test}/contracts/option.ligo (100%) rename {src => test}/contracts/parser-bad-reported-term.ligo (100%) rename {src => test}/contracts/quote-declaration.ligo (100%) rename {src => test}/contracts/quote-declarations.ligo (100%) rename {src => test}/contracts/record.ligo (100%) rename {src => test}/contracts/record.mligo (100%) rename {src => test}/contracts/set_arithmetic-1.ligo (100%) rename {src => test}/contracts/set_arithmetic.ligo (100%) rename {src => test}/contracts/shadow.ligo (100%) rename {src => test}/contracts/string.ligo (100%) rename {src => test}/contracts/string_arithmetic.ligo (100%) rename {src => test}/contracts/super-counter.ligo (100%) rename {src => test}/contracts/super-counter.mligo (100%) rename {src => test}/contracts/toto.ligo (100%) rename {src => test}/contracts/tuple.ligo (100%) rename {src => test}/contracts/type-alias.ligo (100%) rename {src => test}/contracts/unit.ligo (100%) rename {src => test}/contracts/variant-matching.ligo (100%) rename {src => test}/contracts/variant.ligo (100%) rename {src => test}/contracts/vote.mligo (100%) rename {src => test}/contracts/website1.ligo (100%) rename {src => test}/contracts/website2.ligo (100%) diff --git a/src/contracts/amount.mligo b/test/contracts/amount.mligo similarity index 100% rename from src/contracts/amount.mligo rename to test/contracts/amount.mligo diff --git a/src/contracts/annotation.ligo b/test/contracts/annotation.ligo similarity index 100% rename from src/contracts/annotation.ligo rename to test/contracts/annotation.ligo diff --git a/src/contracts/arithmetic.ligo b/test/contracts/arithmetic.ligo similarity index 100% rename from src/contracts/arithmetic.ligo rename to test/contracts/arithmetic.ligo diff --git a/src/contracts/assign.ligo b/test/contracts/assign.ligo similarity index 100% rename from src/contracts/assign.ligo rename to test/contracts/assign.ligo diff --git a/src/contracts/basic.mligo b/test/contracts/basic.mligo similarity index 100% rename from src/contracts/basic.mligo rename to test/contracts/basic.mligo diff --git a/src/contracts/bitwise_arithmetic.ligo b/test/contracts/bitwise_arithmetic.ligo similarity index 100% rename from src/contracts/bitwise_arithmetic.ligo rename to test/contracts/bitwise_arithmetic.ligo diff --git a/src/contracts/boolean_operators.ligo b/test/contracts/boolean_operators.ligo similarity index 100% rename from src/contracts/boolean_operators.ligo rename to test/contracts/boolean_operators.ligo diff --git a/src/contracts/bytes_arithmetic.ligo b/test/contracts/bytes_arithmetic.ligo similarity index 100% rename from src/contracts/bytes_arithmetic.ligo rename to test/contracts/bytes_arithmetic.ligo diff --git a/src/contracts/closure-1.ligo b/test/contracts/closure-1.ligo similarity index 100% rename from src/contracts/closure-1.ligo rename to test/contracts/closure-1.ligo diff --git a/src/contracts/closure-2.ligo b/test/contracts/closure-2.ligo similarity index 100% rename from src/contracts/closure-2.ligo rename to test/contracts/closure-2.ligo diff --git a/src/contracts/closure-3.ligo b/test/contracts/closure-3.ligo similarity index 100% rename from src/contracts/closure-3.ligo rename to test/contracts/closure-3.ligo diff --git a/src/contracts/closure.ligo b/test/contracts/closure.ligo similarity index 100% rename from src/contracts/closure.ligo rename to test/contracts/closure.ligo diff --git a/src/contracts/coase.ligo b/test/contracts/coase.ligo similarity index 100% rename from src/contracts/coase.ligo rename to test/contracts/coase.ligo diff --git a/src/contracts/condition-simple.ligo b/test/contracts/condition-simple.ligo similarity index 100% rename from src/contracts/condition-simple.ligo rename to test/contracts/condition-simple.ligo diff --git a/src/contracts/condition.ligo b/test/contracts/condition.ligo similarity index 100% rename from src/contracts/condition.ligo rename to test/contracts/condition.ligo diff --git a/src/contracts/counter.ligo b/test/contracts/counter.ligo similarity index 100% rename from src/contracts/counter.ligo rename to test/contracts/counter.ligo diff --git a/src/contracts/counter.mligo b/test/contracts/counter.mligo similarity index 100% rename from src/contracts/counter.mligo rename to test/contracts/counter.mligo diff --git a/src/contracts/declaration-local.ligo b/test/contracts/declaration-local.ligo similarity index 100% rename from src/contracts/declaration-local.ligo rename to test/contracts/declaration-local.ligo diff --git a/src/contracts/declarations.ligo b/test/contracts/declarations.ligo similarity index 100% rename from src/contracts/declarations.ligo rename to test/contracts/declarations.ligo diff --git a/src/contracts/dispatch-counter.ligo b/test/contracts/dispatch-counter.ligo similarity index 100% rename from src/contracts/dispatch-counter.ligo rename to test/contracts/dispatch-counter.ligo diff --git a/src/contracts/error_syntax.ligo b/test/contracts/error_syntax.ligo similarity index 100% rename from src/contracts/error_syntax.ligo rename to test/contracts/error_syntax.ligo diff --git a/src/contracts/error_type.ligo b/test/contracts/error_type.ligo similarity index 100% rename from src/contracts/error_type.ligo rename to test/contracts/error_type.ligo diff --git a/src/contracts/failwith.mligo b/test/contracts/failwith.mligo similarity index 100% rename from src/contracts/failwith.mligo rename to test/contracts/failwith.mligo diff --git a/src/contracts/function-complex.ligo b/test/contracts/function-complex.ligo similarity index 100% rename from src/contracts/function-complex.ligo rename to test/contracts/function-complex.ligo diff --git a/src/contracts/function-shared.ligo b/test/contracts/function-shared.ligo similarity index 100% rename from src/contracts/function-shared.ligo rename to test/contracts/function-shared.ligo diff --git a/src/contracts/function.ligo b/test/contracts/function.ligo similarity index 100% rename from src/contracts/function.ligo rename to test/contracts/function.ligo diff --git a/src/contracts/guess_string.mligo b/test/contracts/guess_string.mligo similarity index 100% rename from src/contracts/guess_string.mligo rename to test/contracts/guess_string.mligo diff --git a/src/contracts/heap-instance.ligo b/test/contracts/heap-instance.ligo similarity index 100% rename from src/contracts/heap-instance.ligo rename to test/contracts/heap-instance.ligo diff --git a/src/contracts/heap.ligo b/test/contracts/heap.ligo similarity index 100% rename from src/contracts/heap.ligo rename to test/contracts/heap.ligo diff --git a/src/contracts/high-order.ligo b/test/contracts/high-order.ligo similarity index 100% rename from src/contracts/high-order.ligo rename to test/contracts/high-order.ligo diff --git a/src/contracts/included.ligo b/test/contracts/included.ligo similarity index 100% rename from src/contracts/included.ligo rename to test/contracts/included.ligo diff --git a/src/contracts/includer.ligo b/test/contracts/includer.ligo similarity index 100% rename from src/contracts/includer.ligo rename to test/contracts/includer.ligo diff --git a/src/contracts/lambda.ligo b/test/contracts/lambda.ligo similarity index 100% rename from src/contracts/lambda.ligo rename to test/contracts/lambda.ligo diff --git a/src/contracts/lambda.mligo b/test/contracts/lambda.mligo similarity index 100% rename from src/contracts/lambda.mligo rename to test/contracts/lambda.mligo diff --git a/src/contracts/lambda2.mligo b/test/contracts/lambda2.mligo similarity index 100% rename from src/contracts/lambda2.mligo rename to test/contracts/lambda2.mligo diff --git a/src/contracts/letin.mligo b/test/contracts/letin.mligo similarity index 100% rename from src/contracts/letin.mligo rename to test/contracts/letin.mligo diff --git a/src/contracts/list.ligo b/test/contracts/list.ligo similarity index 100% rename from src/contracts/list.ligo rename to test/contracts/list.ligo diff --git a/src/contracts/list.mligo b/test/contracts/list.mligo similarity index 100% rename from src/contracts/list.mligo rename to test/contracts/list.mligo diff --git a/src/contracts/loop.ligo b/test/contracts/loop.ligo similarity index 100% rename from src/contracts/loop.ligo rename to test/contracts/loop.ligo diff --git a/src/contracts/map.ligo b/test/contracts/map.ligo similarity index 100% rename from src/contracts/map.ligo rename to test/contracts/map.ligo diff --git a/src/contracts/match.ligo b/test/contracts/match.ligo similarity index 100% rename from src/contracts/match.ligo rename to test/contracts/match.ligo diff --git a/src/contracts/match.mligo b/test/contracts/match.mligo similarity index 100% rename from src/contracts/match.mligo rename to test/contracts/match.mligo diff --git a/src/contracts/match_bis.mligo b/test/contracts/match_bis.mligo similarity index 100% rename from src/contracts/match_bis.mligo rename to test/contracts/match_bis.mligo diff --git a/src/contracts/multiple-parameters.ligo b/test/contracts/multiple-parameters.ligo similarity index 100% rename from src/contracts/multiple-parameters.ligo rename to test/contracts/multiple-parameters.ligo diff --git a/src/contracts/new-syntax.mligo b/test/contracts/new-syntax.mligo similarity index 100% rename from src/contracts/new-syntax.mligo rename to test/contracts/new-syntax.mligo diff --git a/src/contracts/option.ligo b/test/contracts/option.ligo similarity index 100% rename from src/contracts/option.ligo rename to test/contracts/option.ligo diff --git a/src/contracts/parser-bad-reported-term.ligo b/test/contracts/parser-bad-reported-term.ligo similarity index 100% rename from src/contracts/parser-bad-reported-term.ligo rename to test/contracts/parser-bad-reported-term.ligo diff --git a/src/contracts/quote-declaration.ligo b/test/contracts/quote-declaration.ligo similarity index 100% rename from src/contracts/quote-declaration.ligo rename to test/contracts/quote-declaration.ligo diff --git a/src/contracts/quote-declarations.ligo b/test/contracts/quote-declarations.ligo similarity index 100% rename from src/contracts/quote-declarations.ligo rename to test/contracts/quote-declarations.ligo diff --git a/src/contracts/record.ligo b/test/contracts/record.ligo similarity index 100% rename from src/contracts/record.ligo rename to test/contracts/record.ligo diff --git a/src/contracts/record.mligo b/test/contracts/record.mligo similarity index 100% rename from src/contracts/record.mligo rename to test/contracts/record.mligo diff --git a/src/contracts/set_arithmetic-1.ligo b/test/contracts/set_arithmetic-1.ligo similarity index 100% rename from src/contracts/set_arithmetic-1.ligo rename to test/contracts/set_arithmetic-1.ligo diff --git a/src/contracts/set_arithmetic.ligo b/test/contracts/set_arithmetic.ligo similarity index 100% rename from src/contracts/set_arithmetic.ligo rename to test/contracts/set_arithmetic.ligo diff --git a/src/contracts/shadow.ligo b/test/contracts/shadow.ligo similarity index 100% rename from src/contracts/shadow.ligo rename to test/contracts/shadow.ligo diff --git a/src/contracts/string.ligo b/test/contracts/string.ligo similarity index 100% rename from src/contracts/string.ligo rename to test/contracts/string.ligo diff --git a/src/contracts/string_arithmetic.ligo b/test/contracts/string_arithmetic.ligo similarity index 100% rename from src/contracts/string_arithmetic.ligo rename to test/contracts/string_arithmetic.ligo diff --git a/src/contracts/super-counter.ligo b/test/contracts/super-counter.ligo similarity index 100% rename from src/contracts/super-counter.ligo rename to test/contracts/super-counter.ligo diff --git a/src/contracts/super-counter.mligo b/test/contracts/super-counter.mligo similarity index 100% rename from src/contracts/super-counter.mligo rename to test/contracts/super-counter.mligo diff --git a/src/contracts/toto.ligo b/test/contracts/toto.ligo similarity index 100% rename from src/contracts/toto.ligo rename to test/contracts/toto.ligo diff --git a/src/contracts/tuple.ligo b/test/contracts/tuple.ligo similarity index 100% rename from src/contracts/tuple.ligo rename to test/contracts/tuple.ligo diff --git a/src/contracts/type-alias.ligo b/test/contracts/type-alias.ligo similarity index 100% rename from src/contracts/type-alias.ligo rename to test/contracts/type-alias.ligo diff --git a/src/contracts/unit.ligo b/test/contracts/unit.ligo similarity index 100% rename from src/contracts/unit.ligo rename to test/contracts/unit.ligo diff --git a/src/contracts/variant-matching.ligo b/test/contracts/variant-matching.ligo similarity index 100% rename from src/contracts/variant-matching.ligo rename to test/contracts/variant-matching.ligo diff --git a/src/contracts/variant.ligo b/test/contracts/variant.ligo similarity index 100% rename from src/contracts/variant.ligo rename to test/contracts/variant.ligo diff --git a/src/contracts/vote.mligo b/test/contracts/vote.mligo similarity index 100% rename from src/contracts/vote.mligo rename to test/contracts/vote.mligo diff --git a/src/contracts/website1.ligo b/test/contracts/website1.ligo similarity index 100% rename from src/contracts/website1.ligo rename to test/contracts/website1.ligo diff --git a/src/contracts/website2.ligo b/test/contracts/website2.ligo similarity index 100% rename from src/contracts/website2.ligo rename to test/contracts/website2.ligo