Commit Graph

1220 Commits

Author SHA1 Message Date
Eric Huss 4af21aad89 Force mdbook update on CI if there is a version mismatch.
Fixes #58.
2018-02-17 22:35:40 -06:00
Niko Matsakis c7c80abb0b remove humorous footnote which is not supported 2018-02-17 10:51:29 -06:00
Niko Matsakis 7f8364d6f9 correct links (mdbook seems to want them relative to the book root) 2018-02-17 10:51:29 -06:00
Niko Matsakis caea7ae5ad mention tidy 2018-02-17 10:51:29 -06:00
Niko Matsakis b502a6a3fc fix typo 2018-02-17 10:51:29 -06:00
Niko Matsakis 2e04d6444a link to brson's blog post 2018-02-17 10:51:29 -06:00
Niko Matsakis a8bdd52e56 complete sentence 2018-02-17 10:51:29 -06:00
Niko Matsakis 346cbab485 give some advice about which test suite to use 2018-02-17 10:51:29 -06:00
Niko Matsakis 14f74dff91 add some more conventions 2018-02-17 10:51:29 -06:00
Niko Matsakis 8c657b1f88 add some notes on coding conventions and link to copyright notice 2018-02-17 10:51:29 -06:00
Niko Matsakis 58b67c21d6 document the test infrastructure 2018-02-17 10:51:29 -06:00
Mark Mansi 169cdeb78f Add a few more terms to the glossary 2018-02-15 18:11:15 -06:00
Who? Me?! 4357cf5c8e Update glossary.md 2018-02-14 11:58:26 -06:00
Mark Mansi 6ae355c18d add soundness and completeness to glossary 2018-02-14 11:58:26 -06:00
Brad Gibson fc83b6fe19
Added 'How to add header commands to `compiletest`' 2018-02-13 09:53:45 -08:00
Brad Gibson 5723bce6f1
fixed typos 2018-02-13 09:45:26 -08:00
Brad Gibson 59485d219a
Update compiletest.md
changed file references to GitHub links directly to files
2018-02-13 09:22:33 -08:00
Brad Gibson f79e0d0cb1
created compiletest.md
describe the steps required to add a test and a header command to compiletest
2018-02-13 05:53:35 -08:00
Mark Mansi 4b7bdec2e3 alphabetize glossary 2018-02-11 15:48:58 -06:00
Niko Matsakis 39bf7d63b6
Merge pull request #46 from theotherphil/dumphir
Explain how to dump HIR
2018-02-08 04:13:33 -05:00
Phil Ellison 5ba0d6bc04 Use cargo rustc instead of setting RUSTFLAGS 2018-02-07 19:14:58 +00:00
Phil Ellison a2d2cfa89a Explain how to dump HIR 2018-02-07 07:08:58 +00:00
Philipp Hansch 6ebe10d55a Order alphabetically, improve explanation of DAG 2018-02-06 11:26:34 -06:00
Philipp Hansch 7d8cdcbb53 Add DAG to glossary 2018-02-06 11:26:34 -06:00
Mark Mansi 45db49d4de Update link text 2018-02-04 21:52:30 -06:00
Alexander Regueiro 2b9828a566 Removed spurious `a`. 2018-02-04 21:46:26 -06:00
Alexander Regueiro 7336639671 Fixed issues mentioned by @mark-i-m in review. 2018-02-04 21:46:26 -06:00
Alexander Regueiro 606e39a58b More minor fixes. 2018-02-04 21:46:26 -06:00
Alexander Regueiro fde99687ab Cleaned up section on type inference. 2018-02-04 21:46:26 -06:00
Alexander Regueiro 61d67c582c Explained what HM type inference is. 2018-02-04 21:46:26 -06:00
Alexander Regueiro 6bacd33a0b Very minor grammatical fixes. 2018-02-04 21:46:26 -06:00
Alexander Regueiro 8a0935c485 Normalized instances of `N.B.`. 2018-02-04 21:46:26 -06:00
Alexander Regueiro 7d7d9171b8 Changed all instances of `e.g.,` to `e.g.`, and similar. 2018-02-04 21:46:26 -06:00
Alexander Regueiro 1a399f5ea3 Improved grammar of HIR section. 2018-02-04 21:46:26 -06:00
Alexander Regueiro c32587aaed Renamed `trans: generating LLVM IR` section. 2018-02-04 21:46:26 -06:00
Who? Me?! dc037e216b
Update README.md 2018-02-04 16:11:19 -06:00
avborhanian 1d9eeb079f Update glossary.md 2018-02-04 13:13:17 -06:00
avborhanian 4a72994f11 Update glossary.md 2018-02-04 13:13:17 -06:00
avborhanian e022bcd214 Adding ICH to the glossary. 2018-02-04 13:13:17 -06:00
Alexander Regueiro 96d3038965 minor grammatical fixes 2018-02-01 11:03:07 -06:00
Alexander Regueiro 9ad3a69332 replaced all instances of `--` (double hyphen) with `-` (en-dash) 2018-02-01 11:03:07 -06:00
Alexander Regueiro ddad2c3e95 fixed definition of code_mr hyperlink 2018-02-01 11:03:07 -06:00
Niko Matsakis cff1185eda
Merge pull request #37 from nikomatsakis/staging
update wording on staging to be a bit more clear
2018-01-31 14:44:55 -05:00
Niko Matsakis 18490f564d
Merge pull request #27 from Michael-F-Bryan/linkcheck
Added the mdbook-linkcheck backend
2018-01-31 14:20:36 -05:00
Niko Matsakis 4066211f47 update wording to be a bit more clear 2018-01-31 14:18:51 -05:00
Niko Matsakis 04cee3e1be fix some broken links 2018-01-31 14:13:49 -05:00
Niko Matsakis 0cedd25595 Update link to hir 2018-01-31 14:13:10 -05:00
Niko Matsakis 046dc79b9d update to link within the book 2018-01-31 14:13:10 -05:00
Michael Bryan 66d2008ac0 Toned down the log verbosity 2018-01-31 14:13:10 -05:00
Michael Bryan 79052b4aca Added a note about how to use mdbook-linkcheck 2018-01-31 14:13:10 -05:00