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
Raphaël Cauderlier
Sigmaid
Commits
eb338645
Commit
eb338645
authored
Jun 28, 2014
by
Raphaël Cauderlier
Browse files
[FIX] Epsilons in binders
parent
083c3ee9
Changes
1
Hide whitespace changes
Inline
Side-by-side
printer.ml
View file @
eb338645
...
...
@@ -46,7 +46,7 @@ let rec print_term out_fmter : tterm -> unit = function
print_term
t1
print_term
t2
|
Tabst
(
x
,
ty
,
body
,
rty
)
->
Format
.
fprintf
out_fmter
"@[dk_obj_examples.Lambda@ (%a)@ (%a)@ (%a :@ %a =>@ %a)@]"
Format
.
fprintf
out_fmter
"@[dk_obj_examples.Lambda@ (%a)@ (%a)@ (%a :@
dk_obj.Expr (
%a
)
=>@ %a)@]"
print_ty
ty
print_ty
rty
print_id
x
...
...
@@ -90,7 +90,7 @@ and print_domain out_fmter = function
print_label
l
print_domain
ll
and
print_meth
out_fmter
(
Tmeth
(
x
,
ty
,
body
,
rty
))
=
Format
.
fprintf
out_fmter
"@[(%a :@ %a => %a)@]"
Format
.
fprintf
out_fmter
"@[(%a :@
dk_obj.Expr (
%a
)
=> %a)@]"
print_id
x
print_ty
ty
print_term
body
...
...
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