home
/
code
/
tiger.ml.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Implement (mutually) recursive function definitions
[tiger.ml.git]
/
compiler
/
src
/
lib
/
tiger
/
tiger_test_cases_book.ml
diff --git
a/compiler/src/lib/tiger/tiger_test_cases_book.ml
b/compiler/src/lib/tiger/tiger_test_cases_book.ml
index
7502b47
..
928373b
100644
(file)
--- a/
compiler/src/lib/tiger/tiger_test_cases_book.ml
+++ b/
compiler/src/lib/tiger/tiger_test_cases_book.ml
@@
-91,7
+91,6
@@
let is_error_expected_parsing_of_filename =
(* TODO: Fill-in other expected cases *)
None
(* TODO: Fill-in other expected cases *)
None
-(* TODO: test18.tig - error : definition of recursive functions is interrupted*)
(* TODO: test21.tig - error : procedure returns value and procedure is used in arexpr *)
let is_error_expected_semant_of_filename =
(* TODO: test21.tig - error : procedure returns value and procedure is used in arexpr *)
let is_error_expected_semant_of_filename =
@@
-101,6
+100,8
@@
let is_error_expected_semant_of_filename =
| "test33.tig" ->
Some Error.is_unknown_type
(* TODO: Be more specific - which type? *)
| "test33.tig" ->
Some Error.is_unknown_type
(* TODO: Be more specific - which type? *)
+ | "test18.tig"
+ | "test19.tig"
| "test20.tig" ->
Some Error.is_unknown_id
(* TODO: Be more specific - the unknown id is "i" *)
| "test20.tig" ->
Some Error.is_unknown_id
(* TODO: Be more specific - the unknown id is "i" *)
@@
-113,10
+114,15
@@
let is_error_expected_semant_of_filename =
| "test25.tig" ->
Some Error.is_not_a_record
(* TODO: Be more specific *)
| "test25.tig" ->
Some Error.is_not_a_record
(* TODO: Be more specific *)
+ | "test35.tig"
+ | "test36.tig" ->
+ Some Error.is_wrong_number_of_args
+ (* TODO: Be more specific - how many expected, how many given? *)
| "test09.tig"
| "test11.tig"
| "test13.tig"
| "test14.tig"
| "test09.tig"
| "test11.tig"
| "test13.tig"
| "test14.tig"
+ | "test21.tig"
| "test23.tig"
| "test26.tig"
| "test28.tig"
| "test23.tig"
| "test26.tig"
| "test28.tig"
@@
-126,7
+132,7
@@
let is_error_expected_semant_of_filename =
| "test34.tig"
| "test43.tig" ->
Some Error.is_wrong_type
| "test34.tig"
| "test43.tig" ->
Some Error.is_wrong_type
- (* TODO: Be more specific - what expected, what given? *)
+ (* TODO: Be more specific - what expected, what given?
Where?
*)
| _ ->
(* TODO: Fill-in other expected cases *)
None
| _ ->
(* TODO: Fill-in other expected cases *)
None
This page took
0.038759 seconds
and
4
git commands to generate.