feat: make prelude error type public (#669)

to allow angle extension to be moved out
CQCL · Nov 9, 2023 · d0499ad · d0499ad
1 parent ef8f4d3
commit d0499ad
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/src/extension/prelude.rs b/src/extension/prelude.rs
@@ -118,7 +118,8 @@ pub fn new_array_op(element_ty: Type, size: u64) -> LeafOp {
         .into()
 }
 
-pub(crate) const ERROR_TYPE: Type = Type::new_extension(CustomType::new_simple(
+/// Unspecified opaque error type.
+pub const ERROR_TYPE: Type = Type::new_extension(CustomType::new_simple(
     smol_str::SmolStr::new_inline("error"),
     PRELUDE_ID,
     TypeBound::Eq,