balsoft/ligo
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Ignore pp.ligos in root

Browse Source
This commit is contained in:
Tom Jack 2019-09-21 13:35:08 -07:00
parent 2773a2e4cd
commit 2909530b22
2 changed files with 1 additions and 65 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
.gitignore vendored
View File

@ -5,3 +5,4 @@ dune-project
cache/* cache/*
Version.ml Version.ml
/_opam/ /_opam/
/*.pp.ligo

65
super-counter.pp.ligo
View File

@ -1,65 +0,0 @@
# 1 "./src/test/contracts/super-counter.ligo"
# 1 "<built-in>"
# 1 "<command-line>"
# 31 "<command-line>"
# 1 "/usr/include/stdc-predef.h" 1 3 4
# 17 "/usr/include/stdc-predef.h" 3 4
# 32 "<command-line>" 2
# 1 "./src/test/contracts/super-counter.ligo"
type action is
| Increment of int
| Decrement of int
function main (const p : action ; const s : int) : (list(operation) * int) is
block {skip} with ((nil : list(operation)),
case p of
| Increment (n) -> s + n
| Decrement (n) -> s - n
end)