stdlib / proto
✓ 25 passing
Lessons
1 ✓
Passing
001 proto float terminal identity
2 ✓
Passing 002 terminal composes in compound
3 ✓
Passing 003 duplicate terminal refused
4 ✓
Passing 004 terminal shared across compounds
5 ✓
Passing 005 unknown terminal refused
6 ✓
Passing 006 raw fields stay separate
7 ✓
Passing 007 identity crosses doors
8 ✓
Passing 008 terminal identity across modules
9 ✓
Passing 009 proto terminal vocabulary
10 ✓
Passing 010 terminal coexist across modules
11 ✓
Passing 011 default door inside import
12 ✓
Passing 012 qualified terminal ref
13 ✓
Passing 013 unknown qualified terminal refused
14 ✓
Passing 014 bare ref is home scoped
15 ✓
Passing 015 proto field bound twice
16 ✓
Passing 016 proto field bound twice default door
17 ✓
Passing 017 proto fused field line
18 ✓
Passing 018 proto fused field line default door
19 ✓
Passing 019 proto parent field bound twice
20 ✓
Passing 020 enum mints tag set resolves in compound
21 ✓
Passing 021 enum tag explicit value refused
22 ✓
Passing 022 enum duplicate tag refused
23 ✓
Passing 023 proto field comma refused
24 ✓
Passing 024 types proto field comma refused
25 ✓
Passing 025 enum tag comma refused