Changeset d815369 in tol

Timestamp:

Jan 30, 2009, 5:25:49 PM (18 years ago)

Author:

Víctor de Buen <vdebuen@…>

Branches:

1941-docker-image-to-test, devel, master

Children:

bbf0235

Parents:

04b3f5b

Message:

Skypping type checking hen asked type is Anything

git-svn-id: ​https://www.tol-project.org/svn/tolp/trunk@526 be4846ae-f051-483a-831f-b64e7d08527f

File:

• tol/btol/real_type/datgrav.cpp (modified) (2 diffs)

tol/btol/real_type/datgrav.cpp

@@ -813 +813 @@
       if(oldEnabled) { BOut::Enable(); }
     }
-    if(result && (result->Grammar()!=gra)) { result=NULL; }
+    if(result && (gra!=GraAnything()) && (result->Grammar()!=gra)) { result=NULL; }
   }
   contens_ = result!=NULL;  
@@ -858 +858 @@
         BUserCode* uCode = (BUserCode*)result;
         BOperator* opr = GetOperator(uCode);
-        if(!opr || (gra!=opr->Grammar()))
+        if(!opr || ((gra!=GraAnything()) && (gra!=opr->Grammar())))
         {
           result = NULL;