Skip to content

Remove unnecessary description of tuple type from the document #131

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
soutaro merged 3 commits into from
Dec 23, 2019
Merged

Remove unnecessary description of tuple type from the document #131

Changes from all commits
Commits
Show all changes
3 commits
Select commit Hold shift + click to select a range
f4ac7d4
Remove unnecessary description of tuple type from the document
pocke Dec 23, 2019
497f35e
Update tuple syntax in the document
pocke Dec 23, 2019
033232c
Update syntax.md
soutaro Dec 23, 2019
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
6 changes: 3 additions & 3 deletions doc/syntax.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -12,7 +12,7 @@ _type_ ::= _class-name_ _type-arguments_ (Class instance type)
| _type_ `&` _type_ (Intersection type)
| _type_ `?` (Optional type)
| `{` _record-name_ `:` _type_ `,` ... `}` (Record type)
| `[` _type_ `,` _type_ `,` ... `]` (Tuples)
| `[]` | `[` _type_ `,` ... `]` (Tuples)
| _type-variable_ (Type variables)
| `^(` _parameters_ `) ->` _type_ (Proc type)
| `self`
Expand Down Expand Up @@ -134,7 +134,7 @@ Records are `Hash` objects, fixed set of keys, and heterogeneous.

### Tuple type

Tuples are `Array` objects, fixed size, and heterogeneous.
Tuples are `Array` objects, fixed size and heterogeneous.

```
[ ] # Empty like `[]`
Expand All @@ -143,7 +143,7 @@ Tuples are `Array` objects, fixed size, and heterogeneous.
[Symbol, Integer, Integer] # Tuple of Symbol, Integer, and Integer like `[:pair, 30, 22]`
```

Tuple type requires more than one types.
*Empty tuple* or *1-tuple* sound strange, but RBS allows these types.

### Type variable

Expand Down