CSE305 OCaml Interpreter Project

Author: jchen293

backup.ml

@@ -0,0 +1,11 @@
+pushn x
+pushi 4
+pop
+pushb :true:
+pushb :false:
+and
+not
+pushb :false:
+or
+pushi 3
+quit

input/sample_input1.txt

@@ -0,0 +1,43 @@
+pushn a
+pushi 30
+pushn a
+pushi 7
+bind
+pop
+pushn a
+pushi 1
+rem
+pushi 5
+pushn a
+rem
+pushn a
+pushb :true:
+bind
+pushn a
+pushn a
+and
+pushn a
+or
+pushn a
+pushb :false:
+bind
+pushb :true:
+pushn a
+and
+pushn a
+or
+pushn bob
+pushs "Bob Vance "
+bind
+pushn fridge
+pushs "Vance Refrigeration"
+bind
+pushn bob
+pushn fridge
+cat
+let
+pushn fridge
+end
+pushs "."
+cat
+quit

input/sample_input10.txt

@@ -0,0 +1,9 @@
+pushn a
+pushi 8
+pushi 10
+equal
+pushi 10
+pushi 100
+lessThan
+pushn name1
+quit

input/sample_input2.txt

@@ -0,0 +1,13 @@
+pushn c
+pushn a
+pushi 5
+bind
+pushn b
+pushi 10
+bind
+pushn a
+pushn b
+add
+pushi 3
+div
+quit

input/sample_input3.txt

@@ -0,0 +1,26 @@
+let
+pushi 51
+end
+pop
+let
+pushn c
+pushi 13
+bind
+let
+pushn a
+pushi 5
+bind
+pushn a
+pushn c
+add
+end
+let
+pushn b
+pushs "joker"
+bind
+end
+end
+pushi 40
+pushi 4
+rem
+quit

input/sample_input4.txt

@@ -0,0 +1,13 @@
+pushn x
+let
+pushi 5
+pushi -12345
+add
+end
+let
+pushi 010
+pushi -13
+add
+end
+div
+quit

input/sample_input5.txt

@@ -0,0 +1,21 @@
+pushn unused
+pushi -23
+bind
+pushi 100
+pushn n1
+swap
+bind
+let
+pushn n2
+pushn n1
+bind
+pushn n2
+neg
+neg
+end
+pushn n2
+neg
+pushn n1
+neg
+div
+quit

input/sample_input6.txt

@@ -0,0 +1,41 @@
+pushn _global_1
+pushi 10
+pop
+pushi -40
+pop
+pushs " let's get small "
+pushs " steve martin  "
+cat
+pushn a
+pushi 3
+bind
+pushn b
+pushi 5
+bind
+pushn IsUnit
+swap
+bind
+pushn a
+pushn b
+mul
+pushi 11
+lessThan
+pushn FALSEmaybe
+swap
+bind
+pushn FALSEmaybe
+pushb :false:
+or
+pushs "FALSEmaybe is"
+pushn IsUnit
+pushi -151
+bind
+pop
+pushn IsUnit
+neg
+pushs " b e y o n d t h e p a l e   _ "
+pushs "Jimmothy Gaffigan"
+cat
+pushi 42
+pushi 23
+quit

input/sample_input7.txt

@@ -0,0 +1,13 @@
+pushn b
+pushi 3
+bind
+let
+pushn b
+pushi 5
+bind
+pushn b
+pushn b
+mul
+end
+push :unit:
+quit

input/sample_input8.txt

@@ -0,0 +1,33 @@
+pushi 4.0
+pushn a
+pushb :true:
+bind
+pushn b
+pushb :false:
+bind
+pushn c
+pushb :true:
+bind
+pushn d
+pushb :false:
+bind
+pushn a
+pushn c
+and
+pushn d
+or
+not
+pushn a
+and
+pushb :true:
+or
+pushi 10
+pushi 5
+if
+pushn e
+swap
+bind
+pushn e
+pushn e
+mul
+quit

input/sample_input9.txt

@@ -0,0 +1,3 @@
+3
+:true:
+x

interpreter.cmi

@@ -0,0 +1,12 @@
+Vance Refrigeration.
+Bob Vance Vance Refrigeration
+:unit:
+:unit:
+:false:
+:unit:
+:true:
+:unit:
+5
+0
+30
+a

interpreter.cmo

@@ -0,0 +1,4 @@
+name1
+:true:
+:false:
+a

interpreter.ml

@@ -0,0 +1,4 @@
+5
+:unit:
+:unit:
+c

output.txt

@@ -0,0 +1,2 @@
+0
+:unit:

output/sample_output1.txt

@@ -0,0 +1,2 @@
+4113
+x

output/sample_output10.txt

@@ -0,0 +1,7 @@
+:error:
+-100
+:error:
+n2
+100
+:unit:
+:unit:

output/sample_output2.txt

@@ -0,0 +1,11 @@
+23
+42
+ b e y o n d t h e p a l e   _ Jimmothy Gaffigan
+151
+FALSEmaybe is
+:false:
+:unit:
+:unit:
+:unit:
+ let's get small  steve martin  
+_global_1

output/sample_output3.txt

@@ -0,0 +1,3 @@
+:unit:
+25
+:unit:

output/sample_output4.txt

@@ -0,0 +1,7 @@
+25
+:unit:
+:unit:
+:unit:
+:unit:
+:unit:
+:error: