Improved the skim test case

This commit is contained in:
Sasha Koshka 2024-02-14 17:40:37 -05:00
parent 736f117fac
commit 5940d47ad7

View File

@ -205,13 +205,21 @@ testString (test,
func TestSkim (test *testing.T) {
testStringSkim (test,
// correct
`+ X:Int
`- PrivType: Int
~ RestrictType: Int
+ ComplexType: (. parser:Parser tree:*Tree skim:Bool)
+ X: Int
+ X.[pub]:Int
+ X.[alreadyExternal]
+ [alreadyExternal]
+ [pub]:X`,
// input
`
`- PrivType:Int
~ RestrictType:Int
+ ComplexType: (.
parser:Parser
tree:*Tree
skim:Bool)
+ X:Int
+ X.[pub]:Int = 5
- X.[priv]:Int = 2