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

Add explanatory comment to annotation.ligo

Browse Source
This commit is contained in:
John David Pressman 2019-10-24 14:44:07 -07:00
parent 790dc6c370
commit 99dfd18dea
1 changed files with 2 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/test/contracts/annotation.ligo
View File

@ -1,3 +1,5 @@
(* Test that a string is cast to an address given a type annotation *)
const lst : list(int) = list [] ; const lst : list(int) = list [] ;
const address : address = ("tz1KqTpEZ7Yob7QbPE4Hy4Wo8fHG8LhKxZSx" : address) ; const address : address = ("tz1KqTpEZ7Yob7QbPE4Hy4Wo8fHG8LhKxZSx" : address) ;