1
1
mirror of https://github.com/github/semantic.git synced 2024-11-28 10:15:55 +03:00

Update tests

This commit is contained in:
Rick Winfrey 2017-11-27 18:01:07 -08:00
parent c9d8bb62c5
commit d241922d32
15 changed files with 90 additions and 114 deletions

View File

@ -6,47 +6,37 @@
(Identifier)
([])
(
(Annotation
(Type
{ (Identifier)
->(Identifier) }
(BidirectionalChannel
(ReceiveChannel
{ (Identifier)
->(Identifier) })))
{ (Identifier)
->(Identifier) }
(SendChannel
(BiDirectionalChannel
(Constructor
(Empty)))))
{+(Type
{+(Identifier)+}
{+(SendChannel
{+(ReceiveChannel
{+(Identifier)+})+})+})+}
(Type
{ (Identifier)
->(Identifier) }
{ (SendChannel
{-(ReceiveChannel
{-(Identifier)-})-})
->(ReceiveChannel
{+(ReceiveChannel
{+(Identifier)+})+}) })
{+(Annotation
{+(Identifier)+}
{+(BiDirectionalChannel
{+(Parenthesized
{+(ReceiveChannel
{+(Identifier)+})+})+})+})+}
{-(Annotation
{-(Identifier)-}
{-(ReceiveChannel
{-(ReceiveChannel
{-(Identifier)-})-})-})-}
{-(Type
{-(Identifier)-}
{-(BidirectionalChannel
{-(Parenthesized
{-(ReceiveChannel
{-(Identifier)-})-})-})-})-})))
(SendChannel
(SendChannel
(Constructor
(Empty)))))
(Type
{ (Identifier)
->(Identifier) }
(SendChannel
(ReceiveChannel
{ (Identifier)
->(Identifier) })))
(Type
(Identifier)
(ReceiveChannel
(ReceiveChannel
{ (Identifier)
->(Identifier) })))
(Type
(Identifier)
(BidirectionalChannel
(Parenthesized
(ReceiveChannel
{ (Identifier)
->(Identifier) })))))))

View File

@ -6,49 +6,37 @@
(Identifier)
([])
(
(Annotation
(Type
{ (Identifier)
->(Identifier) }
(BiDirectionalChannel
(BidirectionalChannel
(ReceiveChannel
{ (Identifier)
->(Identifier) })))
(Annotation
(Type
{ (Identifier)
->(Identifier) }
(SendChannel
(BiDirectionalChannel
(SendChannel
(Constructor
(Empty)))))
{+(Annotation
{+(Identifier)+}
{+(SendChannel
{+(ReceiveChannel
{+(Identifier)+})+})+})+}
{+(Annotation
{+(Identifier)+}
{+(ReceiveChannel
{+(ReceiveChannel
{+(Identifier)+})+})+})+}
{+(Annotation
{+(Identifier)+}
{+(BiDirectionalChannel
{+(Parenthesized
{+(ReceiveChannel
{+(Identifier)+})+})+})+})+}
{-(Annotation
{-(Identifier)-}
{-(SendChannel
{-(ReceiveChannel
{-(Identifier)-})-})-})-}
{-(Type
{-(Identifier)-}
{-(ReceiveChannel
{-(ReceiveChannel
{-(Identifier)-})-})-})-}
{-(Type
{-(Identifier)-}
{-(BidirectionalChannel
{-(Parenthesized
{-(ReceiveChannel
{-(Identifier)-})-})-})-})-})))
(Type
{ (Identifier)
->(Identifier) }
(SendChannel
(ReceiveChannel
{ (Identifier)
->(Identifier) })))
(Type
(Identifier)
(ReceiveChannel
(ReceiveChannel
{ (Identifier)
->(Identifier) })))
(Type
(Identifier)
(BidirectionalChannel
(Parenthesized
(ReceiveChannel
{ (Identifier)
->(Identifier) })))))))

View File

@ -14,7 +14,7 @@
(Type
(Identifier)
(SendChannel
(BidirectionalChannel
(SendChannel
(Constructor
(Empty)))))
(Type

View File

@ -14,7 +14,7 @@
(Type
(Identifier)
(SendChannel
(BidirectionalChannel
(SendChannel
(Constructor
(Empty)))))
(Type

View File

@ -8,13 +8,13 @@
(
(Call
(Identifier)
(BidirectionalChannel
(SendChannel
{ (Identifier)
->(Identifier) })
(Empty))
(Call
(Identifier)
(BidirectionalChannel
(SendChannel
{ (Identifier)
->(Identifier) })
(Minus
@ -23,7 +23,7 @@
(Empty))
(Call
(Identifier)
(BidirectionalChannel
(SendChannel
{ (Identifier)
->(Identifier) })
{ (Integer)

View File

@ -8,13 +8,13 @@
(
(Call
(Identifier)
(BidirectionalChannel
(SendChannel
{ (Identifier)
->(Identifier) })
(Empty))
(Call
(Identifier)
(BidirectionalChannel
(SendChannel
{ (Identifier)
->(Identifier) })
(Minus
@ -23,7 +23,7 @@
(Empty))
(Call
(Identifier)
(BidirectionalChannel
(SendChannel
{ (Identifier)
->(Identifier) })
{ (Integer)

View File

@ -8,12 +8,12 @@
(
(Call
(Identifier)
(BidirectionalChannel
(SendChannel
(Identifier))
(Empty))
(Call
(Identifier)
(BidirectionalChannel
(SendChannel
(Identifier))
(Minus
(Identifier)
@ -21,7 +21,7 @@
(Empty))
(Call
(Identifier)
(BidirectionalChannel
(SendChannel
(Identifier))
(Integer)
(Integer)

View File

@ -8,12 +8,12 @@
(
(Call
(Identifier)
(BidirectionalChannel
(SendChannel
(Identifier))
(Empty))
(Call
(Identifier)
(BidirectionalChannel
(SendChannel
(Identifier))
(Minus
(Identifier)
@ -21,7 +21,7 @@
(Empty))
(Call
(Identifier)
(BidirectionalChannel
(SendChannel
(Identifier))
(Integer)
(Integer)

View File

@ -8,13 +8,13 @@
(
{+(Slice
{+(Identifier)+}
{+(Integer)+}
{+(Empty)+}
{+(Integer)+}
{+(Empty)+})+}
{+(Slice
{+(Identifier)+}
{+(Integer)+}
{+(Empty)+}
{+(Integer)+}
{+(Empty)+})+}
{+(Slice
{+(Identifier)+}

View File

@ -9,28 +9,31 @@
{+(Subscript
{+(Identifier)+}
{+(Integer)+})+}
{+(Slice
{+(Identifier)+}
{+(Empty)+}
{+(Empty)+}
{+(Empty)+})+}
{+(Slice
{+(Identifier)+}
{+(Integer)+}
{+(Empty)+}
{+(Empty)+})+}
{+(Slice
{+(Identifier)+}
{+(Integer)+}
{+(Integer)+}
{+(Empty)+})+}
(Slice
{ (Identifier)
->(Identifier) }
(Integer)
(Empty)
{ (Integer)
->(Empty) }
(Empty))
(Slice
{ (Identifier)
->(Identifier) }
{ (Empty)
->(Integer) }
{ (Integer)
->(Empty) }
(Empty))
{+(Slice
{+(Identifier)+}
{+(Integer)+}
{+(Integer)+}
{+(Empty)+})+}
{+(Slice
{+(Identifier)+}
{+(Integer)+}
{+(Integer)+}
{+(Empty)+})+}
(Slice
{ (Identifier)
->(Identifier) }
@ -39,11 +42,6 @@
->(Integer) }
{ (Empty)
->(Integer) })
{-(Slice
{-(Identifier)-}
{-(Integer)-}
{-(Empty)-}
{-(Empty)-})-}
{-(Slice
{-(Identifier)-}
{-(Integer)-}

View File

@ -8,13 +8,13 @@
(
(Slice
(Identifier)
(Integer)
(Empty)
(Integer)
(Empty))
(Slice
(Identifier)
(Integer)
(Empty)
(Integer)
(Empty))
(Slice
(Identifier)

View File

@ -113,9 +113,9 @@
(Slice
{ (Identifier)
->(Identifier) }
(Empty)
{ (Identifier)
->(Identifier) }
(Empty)
(Empty)))
(Empty))))
(Pattern

View File

@ -113,9 +113,9 @@
(Slice
{ (Identifier)
->(Identifier) }
(Empty)
{ (Identifier)
->(Identifier) }
(Empty)
(Empty)))
(Empty))))
(Pattern

View File

@ -87,9 +87,9 @@
(Empty)
(Empty))
(Slice
(Identifier)
(Identifier)
(Empty)
(Identifier)
(Empty)))
(Empty))))
(Pattern

View File

@ -92,9 +92,9 @@
(Empty)
(Empty))
(Slice
(Identifier)
(Identifier)
(Empty)
(Identifier)
(Empty)))
(Empty))))
(Pattern