Skip to content
GitLab
Menu
Projects
Groups
Snippets
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
cduce
cduce
Commits
6a9bf556
Commit
6a9bf556
authored
Mar 25, 2014
by
Julien Lopez
Browse files
[TESTS][EVAL] make check fixed; split main from parser
parent
e424ca5b
Changes
9
Hide whitespace changes
Inline
Side-by-side
tests/eval/Makefile
View file @
6a9bf556
...
...
@@ -11,7 +11,7 @@ INEXTFILES = misc/custom.ml misc/encodings.ml types/ident.ml\
EXTFILES
=
$
(
INEXTFILES:%
=
$(ROOTDIR)
/%
)
RM
?=
rm
-f
OUT
?=
lambda
.native
OUT
?=
main
.native
.PHONY
:
clean check test
...
...
tests/eval/_tags
View file @
6a9bf556
<src>: include
<src/lambda*>: pp(camlp4orf.opt), package(camlp4.lib)
<src/main*>: pp(camlp4orf.opt), package(camlp4.lib)
tests/eval/src/lambda.ml
View file @
6a9bf556
...
...
@@ -97,11 +97,3 @@ and branches_to_string b = match b with
|
(
br
,
Some
x
,
exp
)
::
rest
->
"
\n
| "
^
(
expr_to_string
br
)
^
" & "
^
x
^
" -> "
^
(
expr_to_string
exp
)
^
(
branches_to_string
rest
)
|
[]
->
""
;;
let
str
=
"fun firsts x y -> match x,y with
| (a,_),(b,_) -> a,b (* This (* is (* a nested *) *) comment *)
| _ -> x (* That doesn't make any sense *)"
in
let
expr
=
ExprParser
.
of_string
str
in
printf
"Original: %s
\n
Expr: "
str
;
print_expr
expr
;
printf
"
\n
Result: %s
\n
"
(
expr_to_string
expr
)
tests/eval/src/main.ml
0 → 100644
View file @
6a9bf556
open
Printf
open
Lambda
let
load_file
f
=
let
ic
=
open_in
f
in
let
n
=
in_channel_length
ic
in
let
s
=
String
.
create
n
in
really_input
ic
s
0
n
;
close_in
ic
;
s
;;
let
str
=
if
Array
.
length
Sys
.
argv
>
1
then
load_file
Sys
.
argv
.
(
1
)
else
"fun firsts x y -> match x,y with
| (a,_),(b,_) -> a,b (* This (* is (* a nested *) *) comment *)
| _ -> x (* That doesn't make any sense *)"
in
let
expr
=
ExprParser
.
of_string
str
in
printf
"Original: %s
\n
Expr: "
str
;
print_expr
expr
;
printf
"
\n
Result: %s
\n
"
(
expr_to_string
expr
)
tests/eval/tests/lexer/refs/identity.ref
0 → 100644
View file @
6a9bf556
Original: fun f a->a
Expr: Abstract(f a, Var(a))
Result: fun f a -> a
tests/eval/tests/lexer/refs/
space
.res
→
tests/eval/tests/lexer/refs/
identity
.res
View file @
6a9bf556
File moved
tests/eval/tests/lexer/refs/space.ref
deleted
100644 → 0
View file @
e424ca5b
Keyword: let
Id: a
Operator: =
Int: 2
Keyword: let
Id: a
Operator: =
Int: 2
Keyword: let
Id: a
Operator: =
Int: 2
Keyword: let
Id: a
Operator: =
Int: 2
tests/eval/tests/lexer/tests/identity.test
0 → 100644
View file @
6a9bf556
fun
f
a
->
a
tests/eval/tests/lexer/tests/space.test
deleted
100644 → 0
View file @
e424ca5b
let
a
=
2
let
a
=
2
let
a
=
2
let
a
=
2
Write
Preview
Markdown
is supported
0%
Try again
or
attach a new file
.
Attach a file
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment