GaloisInc/cryptol
1
1
Fork 0
mirror of https://github.com/GaloisInc/cryptol.git synced 2024-12-26 01:13:09 +03:00
Code Issues Projects Releases Wiki Activity

Add a test for qualified infix operators

Browse Source
This commit is contained in:
Trevor Elliott 2015-06-10 20:59:29 -07:00
parent 3f12176d52
commit c51a2815bb
3 changed files with 20 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
tests/parser/infix-2.cry Normal file
View File

@ -0,0 +1,12 @@
import Cryptol as c
/**
* Test that qualified infix operators work
*/
test1 = [c::True,c::False] c::+ [c::True,c::False] c::== c::zero
/**
* Test that qualified operators used in prefix form work
*/
test2 = (c::+) c::zero [c::True] c::== [c::True]

3
tests/parser/infix-2.icry Normal file
View File

@ -0,0 +1,3 @@
:l infix-2.cry
test1
test2

5
tests/parser/infix-2.icry.stdout Normal file
View File

@ -0,0 +1,5 @@
Loading module Cryptol
Loading module Cryptol
Loading module Main
True
True