()
| 224 | |
| 225 | #[test] |
| 226 | fn test_let_binding() { |
| 227 | let mut ctx = Context::new(); |
| 228 | |
| 229 | let name = SymbolId::new(0); |
| 230 | let ty = TermId::new(0); |
| 231 | let val = TermId::new(1); |
| 232 | |
| 233 | ctx.push(ContextEntry::with_value(name, ty, val)); |
| 234 | |
| 235 | assert_eq!(ctx.type_of(0), Some(ty)); |
| 236 | assert_eq!(ctx.value_of(0), Some(val)); |
| 237 | } |
| 238 | } |