catamorphism

typestate: pass 2: leaving middle.typestate_check.find_pre_post_for_each_stmt
typestate: pass 2: left middle.typestate_check.find_pre_post_for_each_stmt
typestate: pass 2: entering middle.typestate_check.find_pre_post_native_mod
typestate: setting entry state as block 114526 postcondition ("entry" prestate)
typestate: setting bit 0, constraint <init #114521 = m>
typestate: done setting block postcondition
typestate: pass 2: entered middle.typestate_check.find_pre_post_native_mod
typestate: setting bit 0, constraint <init #114521 = m>
typestate: setting bit 0, constraint <init #114521 = m>
typestate: pass 2: leaving middle.typestate_check.find_pre_post_native_mod

catamorphism

$ VERBOSE=1 make check
cfg: building on Darwin x86_64
cfg: unix-y environment
cfg: using gcc
cfg: have ocaml native compiler
cfg: building native bootstrap compiler
cfg: disabling valgrind (CFG_DISABLE_VALGRIND)
cfg: no tex found, omitting doc/rust.pdf
cfg: using built boot/rustboot for rust deps
rt: ---

catamorphism

 $ DYLD_LIBRARY_PATH=/Users/tjc/rust_working/rt:/Users/tjc/rust_working/rustllvm:/usr/local/lib  stage0/rustc -nowarn -L stage0 -shared -o stage0/std.bc src/lib/std.rc
rt: ---
rt: f4d0:main:main:                       rust: src/lib/_u8.rs:14:19:14:21: warning: ignoring deprecated 'mutable' type constructor
rt: f4d0:main:main:                       rust: src/lib/_str.rs:147:17:147:19: warning: ignoring deprecated 'mutable' type constructor
rt: f4d0:main:main:                       rust: src/lib/io.rs:427:44:427:46: warning: ignoring deprecated 'mutable' type constructor
rt: f4d0:main:main:                       rust: src/lib/io.rs:439:36:439:38: warning: ignoring deprecated 'mutable' type constructor
rt: f4d0:main:main:                       rust: src/lib/io.rs:449:21:449:23: warning: ignoring deprecated 'mutable' type constructor
rt: f4d0:main:main:                       rust: src/lib/macos_os.rs:66:40:66:43: warning: ignoring deprecated 'mutable' type constructor
rt: f4d0:main:main:                       rus

catamorphism

rt: f4d0:main:                        rust_dom::free(0x109e470)
rt: f4d0:main:                        rust_crate_cache::flush() deref c_sym 202 (rc=1)
rt: f4d0:main:                        ~rust_crate_cache::c_sym(0x3b07750)
rt: f4d0:main:                        rust_dom::free(0x33a2500)
rt: f4d0:main:                        rust_crate_cache::flush() deref c_sym 207 (rc=1)
rt: f4d0:main:                        ~rust_crate_cache::c_sym(0x4ba7bc)
rt: f4d0:main:                        rust_dom::free(0x600440)
rt: f4d0:main:                        rust_crate_cache::flush() deref lib 0 (rc=1)
rt: f4d0:main:                        ~rust_crate_cache::lib(0x67d150)

catamorphism

fn some_vec(int x) -> vec[int] {
  ret vec();
}

fn is_odd(int n) -> bool { ret true; }

fn length_is_even(vec[int] vs) -> bool {
  ret true;
}

catamorphism

fn main() {

  let int y = 42;
  let int x;
  x <- y;
}

/* 
 error message:
Assertion failed: (getOperand(0)->getType() == cast<PointerType>(getOperand(1)->getType())->getElementType() && "Ptr must be a pointer to Val type!"), function AssertOK, file Instructions.cpp, line 962.

catamorphism

// -*- rust -*-
// error-pattern:Unsatisfied precondition

tag list { cons(int, @list); nil; }

type bubu = {x: int, y: int};

pred less_than(x: int, y: int) -> bool { ret x < y; }

type ordered_range = {low: int, high: int} : less_than(*.low, *.high);

catamorphism

compile_and_link: x86_64-apple-darwin/stage1/lib/rustc/x86_64-apple-darwin/lib/libcore.dylib
time: 0.681 s	parsing
time: 0.039 s	configuration
time: 0.035 s	maybe building test harness
time: 0.034 s	expansion
time: 0.000 s	core injection
time: 0.021 s	ast indexing
time: 0.002 s	external crate/lib resolution
rustc(54480,0x10c0fd000) malloc: *** error for object 0x7fb44b819d18: incorrect checksum for freed object - object was probably modified after being freed.
*** set a breakpoint in malloc_error_break to debug

catamorphism

fn foo(a: int, b: int, c: int, d:int) {
  fail;
}

fn main() {
  foo(1, 2, 3);
}

catamorphism

ssh-rsa AAAAB3NzaC1yc2EAAAADAQABAAABAQDFQ1Deah4DDql8tR0E96oLOAHitvkNYiVChhMFVZw81/XE+ujNBFvsS6hjzZzxSPfw68dxSPNroAytL4TXbTjMbGhs4XkSUfGr8gLBoMB+EBx4ZIGXIJsSSDx0tyvjxPRGBAGMEg5v2zGYuMwgQ8zaf4J1cZ4t7UHt8jMkg/CpuMCxTqeCO+K/xx3zXdFXH7sas4QvtRyi5dpwvckFkAIBHb5ISTyjgSskql/r6SF7i8z3fiXeOKclDGcywjRRhXLNoL/0Y3XowJZyeJUBorZPlQG5DGv5SPRYEmCi+P0Lpe4tCMbeNxuW3U/ir9lVfbyhJJ3rXVXcaY/GdmHOSMH/ chevalier@alum.wellesley.edu