Project

General

Profile

« Previous | Next » 

Revision bbfbc15a

Added by Christophe Garion over 4 years ago

json-parser: remove Const_bool and use Const_tag

View differences:

src/lustreSpec.ml
47 47 

  		




  48
  48
  
    

  		




  49
  49
  
    
type constant =


  		




  50
  
  
    
  | Const_bool of bool


  		




  51
  50
  
    
  | Const_int of int


  		




  52
  51
  
    
  | Const_real of Num.num * int * string (* (a, b, c) means a * 10^-b. c is the original string *)


  		




  53
  52
  
    
  | Const_array of constant list


  		












Also available in:  Unified diff