Fix a bug in predefSemantics.unify that was returning wrong result
when trying to unify, e.g., "a^3" and "int^3". Such kind of things occured when one imbricates iterators. In fact, it was not possible to get it rigth with the data representation used for node profiles, which was not sufficiently general.
Showing
- src/compiledData.ml 6 additions, 8 deletionssrc/compiledData.ml
- src/compiledDataDump.ml 24 additions, 20 deletionssrc/compiledDataDump.ml
- src/evalType.ml 4 additions, 7 deletionssrc/evalType.ml
- src/lazyCompiler.ml 18 additions, 15 deletionssrc/lazyCompiler.ml
- src/predefSemantics.ml 79 additions, 54 deletionssrc/predefSemantics.ml
- src/test/test.res.exp 20 additions, 18 deletionssrc/test/test.res.exp
Loading
Please register or sign in to comment