idris-lang/Idris2
1
1
Fork 0
mirror of https://github.com/idris-lang/Idris2.git synced 2024-09-21 02:07:25 +03:00
Code Issues Projects Releases Wiki Activity

Add more test examples.

Browse Source
This commit is contained in:
Matus Tejiscak 2020-06-21 00:09:30 +02:00 committed by G. Allais
parent f478a03b69
commit c9aa733626
2 changed files with 6 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
tests/idris2/record004/expected
View File

@ -16,6 +16,9 @@ at:
Main> [2.5, 2.5]
Main> 7.4
Main> 7.4
Main> 7.4
Main> MkPoint 1.1 2.5
Main> 4.2
Main> 4.2
Main> 4.2

3
tests/idris2/record004/input
View File

@ -7,6 +7,9 @@ map (.x) [MkPoint 1.1 2.5, MkPoint 4.2 6.3]
map .x [MkPoint 1 2, MkPoint 3 4]
map (.topLeft.y) [rect, rect]
rect.topLeft.x + rect.bottomRight.y
rect.(x . topLeft) + rect.(y . bottomRight)
x rect.topLeft + y rect.bottomRight
rect.(Rect.topLeft)
Main.Point.x pt
Point.x pt
(x) pt