Skip to content
GitLab
Menu
Projects
Groups
Snippets
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
Giuseppe Castagna
occurrence-typing
Commits
a0700894
Commit
a0700894
authored
Sep 20, 2021
by
Giuseppe Castagna
Browse files
typo
parent
e0458e4b
Changes
1
Hide whitespace changes
Inline
Side-by-side
scp-reviews-2108.md
View file @
a0700894
...
...
@@ -312,7 +312,7 @@ rewrote the sentence to be more clear.
```
function foo(x : ?) {
(typeof(x) x== "number") ? x : x.trim()
```
```
where we replaced
`x`
for
`x+1`
in the "then" branch. Repeating the reasoning
of the paper we would obtain the type
```
...
...
Write
Preview
Markdown
is supported
0%
Try again
or
attach a new file
.
Attach a file
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment