(* 
   File: fbdktoploop.ml
   Author: Scott Smith

   This file allows interactive testing of your interpreter using the FBDK.

   Before this file can be #use-d you need to execute
     make byte
   from the top directory of the fbdk-1.1 distribution.

   OR, if you are using OCaIDE in Eclipse, just edit the file in Eclipse, select all, 
        and from the Ocam menu, do Eval in Toplevel.

*)


(* First load all the relevant compiled structs.  These commands assume ocaml
   was launched from src/Fb/ directory.  If not, do a 
   # #cd "my/directory/src/Fb";; to get there.  *)

#load "fbast.cmo";;
#load "fbparser.cmo";;
#load "fblexer.cmo";;
#load "fbpp.cmo";;
#load "fbinterp.cmo";;

(* Make some structs available at the top for easier use *)

open Fbast;;
open Fbinterp;;


(* function parse parses FbST concrete syntax you enter as a string *)

let parse s = 
    let lexbuf = Lexing.from_string s in
  	Fbparser.main Fblexer.token lexbuf;;

(* Function pp is a top-loop pretty printer using FBDK's pretty printer *)

let pp e = print_string (Fbpp.pretty_print e);;

(* ppeval evals then pretty prints the result *)

let ppeval x = print_string "==> ";pp (eval x);;

(* function rep is a read-eval-print function for Fb programs *)

let rep s = ppeval (parse s);;

(* Examples. *)

let s1 = 
  "Let Rec x1 x2 = 
     If x2 = 1 Then
        (Function x3 -> x3 (x2 - 1)) (Function x4 -> x4)
     Else
        x1 (x2 - 1)
   In x1 100";;

let ex1 = parse s1;;

let result1 = eval ex1;; 

pp result1;;

ppeval ex1;;

rep s1;;