()
| 157 | |
| 158 | #[test] |
| 159 | fn named_instance_is_const() { |
| 160 | let source = "instance addNat : Add Nat where\n add := Nat.add\n"; |
| 161 | let result = extract(source); |
| 162 | let consts = names_of(&result, NodeKind::Const); |
| 163 | assert_eq!(consts, vec!["addNat".to_string()]); |
| 164 | } |
| 165 | |
| 166 | #[test] |
| 167 | fn anonymous_section_emits_no_module_but_recurses_body() { |