Add --debug flag
This commit is contained in:
		
							parent
							
								
									138d12e899
								
							
						
					
					
						commit
						fcf2c0388d
					
				
					 1 changed files with 5 additions and 0 deletions
				
			
		
							
								
								
									
										5
									
								
								main.ml
									
										
									
									
									
								
							
							
						
						
									
										5
									
								
								main.ml
									
										
									
									
									
								
							| 
						 | 
					@ -62,7 +62,12 @@ let rec repl env : unit =
 | 
				
			||||||
  | Reset_line -> printf "\n"; repl env
 | 
					  | Reset_line -> printf "\n"; repl env
 | 
				
			||||||
  | e -> print_error e; repl env
 | 
					  | e -> print_error e; repl env
 | 
				
			||||||
 | 
					
 | 
				
			||||||
 | 
					let speclist = [
 | 
				
			||||||
 | 
					  "--debug", Arg.Set debug, "print debug infos";
 | 
				
			||||||
 | 
					]
 | 
				
			||||||
 | 
					
 | 
				
			||||||
let () =
 | 
					let () =
 | 
				
			||||||
 | 
					  Arg.parse speclist (fun _ -> ()) "";
 | 
				
			||||||
  init_repl ();
 | 
					  init_repl ();
 | 
				
			||||||
  printf "Configurable Evaluator %s\n" version; (* banner *)
 | 
					  printf "Configurable Evaluator %s\n" version; (* banner *)
 | 
				
			||||||
  repl g
 | 
					  repl g
 | 
				
			||||||
| 
						 | 
					
 | 
				
			||||||
		Loading…
	
	Add table
		
		Reference in a new issue