diff options
| author | Brian Anderson <andersrb@gmail.com> | 2012-01-03 12:18:53 -0800 |
|---|---|---|
| committer | Brian Anderson <andersrb@gmail.com> | 2012-01-03 12:18:53 -0800 |
| commit | 513a263e81eff098762e1531bc4d13366da0e554 (patch) | |
| tree | eff25c9c3e15e57d4d308f0a6028b2d625fb1b8a /src/rt/rust_kernel.cpp | |
| parent | 4e88d5ae92af1ebfb1d23e027db7133c669cca69 (diff) | |
| parent | ab2a643f278d09c3fcc140ecb4c7cecbf1aff3c4 (diff) | |
| download | rust-513a263e81eff098762e1531bc4d13366da0e554.tar.gz rust-513a263e81eff098762e1531bc4d13366da0e554.zip | |
Merge pull request #1392 from Lenny222/list
list: add "is_not_empty" requirement to "head" and "tail" (analogous to "vec")
Diffstat (limited to 'src/rt/rust_kernel.cpp')
0 files changed, 0 insertions, 0 deletions