()
| 310 | |
| 311 | #[test] |
| 312 | fn test_environment_basic() { |
| 313 | let mut env = Environment::new(); |
| 314 | |
| 315 | let name = SymbolId::new(0); |
| 316 | let ty = TermId::new(0); |
| 317 | let value = TermId::new(1); |
| 318 | |
| 319 | let decl = Declaration::def(name, vec![], ty, value); |
| 320 | env.add_decl(decl).unwrap(); |
| 321 | |
| 322 | assert!(env.has_decl(name)); |
| 323 | let retrieved = env.get_decl(name).unwrap(); |
| 324 | assert_eq!(retrieved.ty, ty); |
| 325 | assert_eq!(retrieved.value, Some(value)); |
| 326 | } |
| 327 | |
| 328 | #[test] |
| 329 | fn test_duplicate_declaration() { |