Project

General

Profile

Revision def3763d src/coalg/coalg.ml

View differences:

src/coalg/coalg.ml
7 7
module CM = CoAlgMisc
8 8
module CF = CoAlgFormula
9 9
module EA = EAFormula
10
module NF = Nom2fix
10 11

  
11 12
module FE = FunctorParsing
12 13

  
......
177 178
      let input = read_line () in
178 179
      if not (GenAndComp.isEmptyString input) then
179 180
        let f = CoAlgFormula.importFormula input in
180
        let g = EAFormula.nom2EA f nomTable sorts in
181
        let str = EAFormula.exportFormula g in
181
        (*let g = EAFormula.nom2EA f nomTable sorts in*)
182
        (*let str = EAFormula.exportFormula g in*)
183
        let g = Nom2fix.translate f nomTable sorts in
184
        let str = CoAlgFormula.exportFormula g in
182 185
        incr counter;
183 186
        print_string("\nFormula " ^ (string_of_int !counter) ^ ": " ^ str ^ "\n");
184 187
        flush stdout;

Also available in: Unified diff