Commit Graph

71 Commits

Author SHA1 Message Date
Brian Anderson
556de425b3 Update docs for import/export 2011-08-17 11:33:34 -07:00
Graydon Hoare
ca82a690cf Move task/comm stuff from exprs to task in manual, change typarams from [] to <>. 2011-08-16 17:39:25 -07:00
Lindsey Kuper
133b3d05b4 Update syntax for function arguments; tweak object system examples to
make mutable fields work.
2011-08-11 16:19:51 -07:00
Lindsey Kuper
5d0f9d92ff Fix typo in docs that was causing makeinfo warning. 2011-08-11 16:19:51 -07:00
Graydon Hoare
c96f62a29d Fiddle the comm operators in the docs, add swap and move symbols (no docs yet). 2011-08-11 14:58:01 -07:00
Lindsey Kuper
d2c1fbd218 Stub out docs for anon objs; update existing object system docs. 2011-08-10 19:00:59 -07:00
Graydon Hoare
6b756c4b4a Update docs to describe kinds rather than layers, remove old terms. 2011-08-10 17:11:24 -07:00
Graydon Hoare
0daa4fb1c4 More decl fixes. 2011-08-10 17:11:24 -07:00
Graydon Hoare
a38a1b6c7a Fix some more declarations in example code in docs. 2011-08-10 17:11:24 -07:00
Graydon Hoare
1dd9240e56 Update docs regarding path syntax. 2011-08-10 17:11:24 -07:00
Graydon Hoare
2f35f645c3 Update frontmatter. 2011-08-10 17:11:24 -07:00
Graydon Hoare
5b084e4e36 Update docs to new let syntax. 2011-08-10 15:47:11 -07:00
Graydon Hoare
c7f1c36f2b Update docs on vector value syntax. 2011-08-10 15:16:45 -07:00
Graydon Hoare
c659ba4118 Update docs on record type and value syntax. 2011-08-10 14:50:01 -07:00
Graydon Hoare
8bc4291764 Some edits to introductory material in docs. 2011-08-10 14:50:01 -07:00
Tim Chevalier
8c757fcd40 Clarify docs about claim 2011-06-28 17:50:06 -07:00
Tim Chevalier
1d37118a00 Update docs for claim 2011-06-28 16:41:06 -07:00
Brian Anderson
eb0d56f8c5 Add a FIXME to the docs about literal suffixes 2011-06-25 19:28:19 -07:00
Brian Anderson
72f90f0f5f Turn doc FIXMEs into comments 2011-06-21 06:17:54 -07:00
Brian Anderson
7d1979d024 Add FIXMEs to meta documentation
Issue #487
2011-06-18 20:23:05 -07:00
Tim Chevalier
7cefd86d41 missing word in docs 2011-06-16 14:08:48 -07:00
Tim Chevalier
11db05cf1a Apparently my version of texinfo doesn't require curly braces to be escaped, but the buildbot's version does... 2011-05-23 10:41:47 -07:00
Tim Chevalier
ac3fd914b9 Update docs to talk about ! annotations 2011-05-23 10:33:14 -07:00
Graydon Hoare
48e0de22c1 Put out burning tinderbox. 2011-05-05 11:54:45 -07:00
Tim Chevalier
910a05d875 Update docs to reflect preds 2011-05-05 11:26:07 -07:00
Tim Chevalier
d9c9982f0a Update docs to reflect assert vs. check
Also added the --batch flag to texi2pdf, as it doesn't really ever
seem useful to drop to the TeX prompt during a build.
2011-05-05 11:26:07 -07:00
Graydon Hoare
3d9cf15d0b Remove half-baked 'opacity' layer qualifier. 2011-04-19 14:00:04 -07:00
Graydon Hoare
b7d680b57d Remove mention of effect system from manual. 2011-04-19 13:39:57 -07:00
Lindsey Kuper
0c873993c9 'Type' renamed to 'type definition'.
This is basically so people don't confuse a Ref.Item.Type with a
Ref.Type.
2011-04-18 11:49:32 -07:00
Graydon Hoare
6909e7ca78 Fix busted texi from last night. 2011-04-13 09:59:00 -07:00
Graydon Hoare
d3409f6368 Finish the majority of statement -> expression rearrangement in manual. 2011-04-12 18:27:03 -07:00
Tim Chevalier
d64b72f6ec More statement-to-expression edits 2011-04-04 17:35:10 -07:00
Lindsey Kuper
5de3f441d0 A trivial documentation commit. 2011-04-04 17:29:49 -07:00
Tim Chevalier
512bba264e Change 'statement' to 'expression' in a bunch of places 2011-04-04 17:02:31 -07:00
Lindsey Kuper
db5c809c83 Add 'self' keyword. 2011-03-28 21:13:42 -07:00
Brian Anderson
d7c67fc6ac Fix typo in Ref.Task.Comm 2011-03-25 08:43:10 -07:00
Brian Anderson
5d98f55fcf Update docs for if statements 2011-03-22 08:11:36 -07:00
Brian Anderson
e2d36e00ce Remove parens from nullary tag constructors in docs 2011-03-01 23:11:52 -05:00
Graydon Hoare
dabccadd32 Update manual to define identifiers using UAX 31 XID_Start / XID_Continue. 2011-02-25 15:43:50 -08:00
Sean Stangl
3339243254 Fix documentation: aliases may not be used in loop constructs. 2011-01-27 12:15:54 -08:00
benjaminjackman
7f4ec2c622 fixed typo in tuple menu label 2011-01-17 18:09:35 -08:00
Brian Anderson
74e6bb87d6 Update keyword list with 'const', 'thread' 2011-01-03 11:08:14 -08:00
Graydon Hoare
3f227c71b2 Some terminology updates to talk about layers. 2010-12-14 13:41:19 -08:00
Ralph Giles
c038261762 Fix documentation: it's (&str s) not (str &s). 2010-11-03 15:37:56 -07:00
Ralph Giles
446932b5bc Fix doc references to 'for each' syntax to match the compiler.
The rustboot compiler expects 'for each (type v in ...)' like 'for',
rather than 'for each (type v = ...)' as given in the documentation.
2010-11-03 15:37:55 -07:00
Ralph Giles
c45d21eb9b Fix two documentation typos. 2010-11-03 15:37:54 -07:00
Graydon Hoare
da13c508d8 First pass on splitting stratum and opacity off of effects. WIP. 2010-11-02 11:11:58 -07:00
Graydon Hoare
43ec78636f Update manual to cover change to nominal tag items. 2010-09-13 17:58:09 -07:00
Graydon Hoare
766b91d88b Add support for a reserved-words list and reserve the various not-supported-but-plausible IEEE datatypes. 2010-08-17 14:48:00 -07:00
Jeffrey Yasskin
b71340552f Add names to tasks and domains. These can either be an explicit literal string
after the "spawn" keyword, or implicitly the call expression used to start the
spawn.
2010-08-09 11:43:16 +02:00