poly_func::test: hide new_array, (re-)export nested_func (through typ…

…es::test)
CQCL · Nov 7, 2023 · e0d3c9d · e0d3c9d
1 parent b989014
commit e0d3c9d
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 2 deletions.
diff --git a/src/types.rs b/src/types.rs
@@ -400,6 +400,7 @@ where
 
 #[cfg(test)]
 pub(crate) mod test {
+    pub(crate) use poly_func::test::nested_func;
 
     use super::*;
     use crate::{

diff --git a/src/types/poly_func.rs b/src/types/poly_func.rs
@@ -446,7 +446,7 @@ pub(crate) mod test {
     }
 
     // The standard library new_array does not allow passing in a variable for size.
-    pub(crate) fn new_array(ty: Type, s: TypeArg) -> Type {
+    fn new_array(ty: Type, s: TypeArg) -> Type {
         let array_def = PRELUDE.get_type("array").unwrap();
         Type::new_extension(
             array_def
@@ -511,7 +511,7 @@ pub(crate) mod test {
     }
 
     // forall A. A -> (forall C. C -> List(Tuple(C, A))
-    fn nested_func() -> PolyFuncType {
+    pub(crate) fn nested_func() -> PolyFuncType {
         PolyFuncType::new_validated(
             vec![TypeParam::Type(TypeBound::Any)],
             FunctionType::new(