Prayag Verma
0f3c384c72
Fix a typo
...
Remove extra `to`
2016-02-09 20:05:48 +05:30
practicalswift
71e00fefa1
[gardening] Fix typos: "word word" (two spaces) → "word word" (one space)
2016-01-24 21:27:16 +01:00
Sukolsak Sakshuwong
5fc4690717
Fix typos and formatting in TypeChecker.rst
2015-12-07 17:34:14 -08:00
Steven Schmatz
99edb08cab
Fix typo in TypeChecker.rst
2015-12-04 18:33:40 -05:00
Baptiste HAUDEGAND
861a176d8d
fix typo in TypeChecker doc
2015-12-04 20:50:44 +01:00
Nicolas Goles
4cfcb7b9de
Fix Typos
2015-12-03 12:44:18 -08:00
Ted Kremenek
a97b75d04b
Merge pull request #46 from mike-u/master
...
fixed type of "declaration" in TypeChecker.rst
2015-12-03 10:17:27 -08:00
mike-u
4826524222
fixed type of declaration in TypeChecker.rst
2015-12-03 13:09:22 -05:00
Jeremy Barr
606ee60f78
fixing typo of intofive to into five
2015-12-03 12:57:51 -05:00
Slava Pestov
49bab4c38f
Fix typos in docs
...
Swift SVN r27581
2015-04-22 17:18:41 +00:00
Doug Gregor
cd8e2ec09d
Update and improve the discussion of the type checker.
...
Swift SVN r12982
2014-01-27 06:09:37 +00:00
Dmitri Hrybenko
81dc5deee8
Change 'def' keyword back to 'func'
...
Swift SVN r10522
2013-11-17 07:45:28 +00:00
Dmitri Hrybenko
91ce21666d
Change 'func' keyword to 'def'
...
I tried hard find all references to 'func' in documentation, comments and
diagnostics, but I am sure that I missed a few. If you find something, please
let me know.
rdar://15346654
Swift SVN r9886
2013-11-02 01:00:42 +00:00
Argyrios Kyrtzidis
f0773bcba1
Rename '__subscript' -> 'subscript'.
...
Since 'subscript' is a keyword, it cannot conflict with a function name.
Swift SVN r8787
2013-09-30 19:17:29 +00:00
Joe Groff
3d4c1251f1
Rename 'byref' attribute to 'inout'.
...
Swift SVN r8661
2013-09-25 20:56:52 +00:00
Joe Groff
26125d050b
Update 'union' references in other docs.
...
Swift SVN r8483
2013-09-20 04:41:49 +00:00
Doug Gregor
f4e9c17032
[Constraint solver] Eliminate rvalue equality constraints.
...
We were only using these constraints in one place, where they had no
value.
Swift SVN r7166
2013-08-12 18:00:55 +00:00
Doug Gregor
135ca5abcd
Introduce some discussion of locators, as used in the type checker.
...
Swift SVN r6933
2013-08-06 05:17:06 +00:00
Jordan Rose
674a03b085
Replace "oneof" with "union"...everywhere.
...
We haven't fully updated references to union cases, and enums still are not
their own thing yet, but "oneof" is gone. Long live "union"!
Swift SVN r6783
2013-07-31 21:33:33 +00:00
Anna Zaks
360eed61bf
[docs] Document ApplicableFunction constraint.
...
Swift SVN r6631
2013-07-26 00:32:25 +00:00
Dave Abrahams
dc7ab3e57a
Clean up remaining ReST errors in our documentation
...
Swift SVN r6025
2013-07-05 22:52:12 +00:00
Dave Abrahams
30d9e8821f
*.rst: Use litre.TestsAreMissing exceptions
...
to avoid long processing times and reams of error messages for as-yet-untested files
Swift SVN r4508
2013-03-28 13:45:11 +00:00
Dave Zarzycki
b23db009d2
Comparable implies Equality
...
((x >= y) && (x <= y)) == (x == y)
((x > y) || (x < y)) == (x != y)
Swift SVN r3173
2012-11-14 01:37:00 +00:00
Doug Gregor
60fca40055
Write a conversion constraint as <c and a construction constraint as
...
<C, rather than << and <<C.
Swift SVN r2946
2012-10-08 18:20:57 +00:00
Doug Gregor
22453418b6
Finish the first full draft of the design document for the
...
constraint-based type checker.
Swift SVN r2944
2012-10-06 00:09:57 +00:00
Doug Gregor
472fc4ae6f
Add a short paragraph on default literal types
...
Swift SVN r2942
2012-10-05 01:27:47 +00:00
Doug Gregor
e748c5f09f
Start documenting the constraint-based type checker. There is still
...
quite a bit to right, but there's almost enough here to understand
constraint generation and the simpler parts of constraint solving.
Swift SVN r2941
2012-10-05 01:23:24 +00:00
