Merge pull request #64 from AdrienChampion/issue_63

fix: prevent stack overflow in array store/select creation

src/fun.rs

@@ -262,7 +262,7 @@ where
 /// # Examples
 ///
 /// ```rust
-/// use hoice::{ common::*, fun, info::VarInfo };
+/// use hoice::{ common::*, info::VarInfo };
 /// let sig: VarInfos = vec![ VarInfo::new("v_0", typ::int(), 0.into()) ].into();
 /// let fun_name = "fun_new_test_identity";
 /// let sig = fun::FunSig::new(fun_name, sig, typ::int());

src/term/factory.rs

@@ -1020,7 +1020,6 @@ where
 ///
 /// ```rust
 /// # use hoice::common::*;
-/// use hoice::errors::TypError;
 /// let bool_var = term::bool_var(0);
 /// let int_term = term::add( vec![ term::int_var(1), term::int(7) ] );
 /// let ill_typed = term::try_app( Op::And, vec![ bool_var, int_term ] );

src/term/simplify.rs

@@ -2161,13 +2161,9 @@ simpl_fun! {
       (
         Some(array), Some(index), Some(value)
       ) => {
-        let result = array.store(index, value).to_term().unwrap_or_else(
-          || panic!(
-            "illegal store application (store {} {} {})",
-            args[0], args[1], args[0]
-          )
-        ) ;
-        Some( NormRes::Term(result) )
+        let val = array.store(index, value);
+        let term = term::factory::val(val);
+        Some(NormRes::Term(term))
       },
       _ => None,
     }
@@ -2181,12 +2177,9 @@ simpl_fun! {
       args[0].val(), args[1].val()
     ) {
       ( Some(array), Some(index) ) => {
-        let result = array.select(index).to_term().unwrap_or_else(
-          || panic!(
-            "illegal select application (select {} {})", args[0], args[1]
-          )
-        ) ;
-        Some( NormRes::Term(result) )
+        let val = array.select(index);
+        let term = term::factory::val(val);
+        Some(NormRes::Term(term))
       },
       _ => None,
     }