8000 miniml/lib/main.ml at main · volesen/miniml · GitHub

Repository navigation

main.ml

1

2

3

4

5

6

7

8

9

10

11

12

13

14

15

16

17

18

19

20

21

22

23

24

25

26

27

28

29

open Ast

open Typing

open Eval

let parse (s : string): expr =

s

|> Lexing.from_string

|> Parser.program Lexer.read

let interpret (s : string) : string =

s

|> parse

|> typecheck

|> eval Env.empty

|> string_of_value

let repl () =

let rec loop () =

print_string "> ";

let line = read_line () in

try

let result = interpret lin 345D e in

print_endline result;

loop ()

with Failure msg ->

print_endline msg;

loop ()

in

loop ()

0