summaryrefslogtreecommitdiff
path: root/mips.ml
diff options
context:
space:
mode:
authorGuillaume Seguin <guillaume@segu.in>2009-01-15 22:44:53 +0100
committerGuillaume Seguin <guillaume@segu.in>2009-01-15 22:44:53 +0100
commit46186090a9dc422369863e8c742800d15eea85c1 (patch)
treed7f164954d8cd6bbddabde147b6bb112f37d72bc /mips.ml
parent656cff28c55590648b17ba36553e748cda445e2b (diff)
downloadpetitcaml-46186090a9dc422369863e8c742800d15eea85c1.tar.gz
petitcaml-46186090a9dc422369863e8c742800d15eea85c1.tar.bz2
[petitcaml] Improve a few (should-be unreachable) errors
Diffstat (limited to 'mips.ml')
-rw-r--r--mips.ml4
1 files changed, 2 insertions, 2 deletions
diff --git a/mips.ml b/mips.ml
index 496009c..abc0d0a 100644
--- a/mips.ml
+++ b/mips.ml
@@ -185,7 +185,7 @@ let print_instruction fmt = function
| Comment s ->
fprintf fmt "\t# %s\n" s
| Asciiz _
- | Word _ -> failwith "Unreachable matching"
+ | Word _ -> failwith "print_instruction : Unreachable matching"
let rec output_byte = function
| "" -> "0"
@@ -199,7 +199,7 @@ let print_data fmt = function
fprintf fmt "%s:\t.byte %s\n" l (output_byte s)
| Word (l, n) ->
fprintf fmt "%s:\t.word %d\n" l n
- | _ -> failwith "Unreachable matching"
+ | _ -> failwith "print_data : Unreachable matching"
type program =
{ text : instruction list ;