diff options
| author | Marijn Haverbeke <marijnh@gmail.com> | 2012-01-27 18:58:52 +0100 |
|---|---|---|
| committer | Marijn Haverbeke <marijnh@gmail.com> | 2012-01-27 18:58:52 +0100 |
| commit | e48bf6f3f4d1ca07f0c2820c6cfaad275bc106ac (patch) | |
| tree | 7a2026c20a220710ad111dddae3e14ca6448c853 /src/libstd | |
| parent | 362625008ab9e3479f7e34212e1887a3ad6d93b8 (diff) | |
| download | rust-e48bf6f3f4d1ca07f0c2820c6cfaad275bc106ac.tar.gz rust-e48bf6f3f4d1ca07f0c2820c6cfaad275bc106ac.zip | |
Make occurs check in ty::fixup_vars more reliable
It wouldn't detect cycles that went through several type vars before. Closes #1464
Diffstat (limited to 'src/libstd')
| -rw-r--r-- | src/libstd/list.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/libstd/list.rs b/src/libstd/list.rs index 2081a21de23..e393b42b9f2 100644 --- a/src/libstd/list.rs +++ b/src/libstd/list.rs @@ -128,7 +128,7 @@ Function: tail Returns all but the first element of a list */ -pure fn tail<T: copy>(ls: list<T>) : is_not_empty(ls) -> list<T> { +pure fn tail<T: copy>(ls: list<T>) -> list<T> { alt ls { cons(_, tl) { ret *tl; } nil { fail "list empty" } |