Alain
|
df545e5761
|
add translate_binder
refactor make_bindopt
refactor make_matchopt
added make_bindmopt
remove _{i}_ printing in to_ocaml
add correct printing of handle_default_opt
add two-step translation
correct context for new variables
|
2021-12-07 18:57:28 +01:00 |
|
Alain
|
177a2149ac
|
handle_opt
|
2021-12-07 16:03:15 +01:00 |
|
Alain
|
76f5e6115c
|
changing signature -- cont
|
2021-11-30 18:05:30 +01:00 |
|
Denis Merigoux
|
536dde9834
|
Formatting + CI + etc
|
2021-11-30 16:27:47 +01:00 |
|
Alain
|
8d580f1db6
|
fix: removed ESome and ENone constructions.
|
2021-11-29 17:53:07 +01:00 |
|
Alain
|
22af2a9335
|
refactored transformation to remove matchopt construction
|
2021-11-29 17:40:30 +01:00 |
|
Alain
|
c2db3a40c6
|
ref: use of built-in match instead of matchopt (wip)
|
2021-11-26 17:10:31 +01:00 |
|
Alain
|
fcdaa21d54
|
add utilities that replace to deal with options
|
2021-11-25 17:27:06 +01:00 |
|
Denis Merigoux
|
fb281a0d99
|
Formatting
|
2021-11-24 15:22:29 +01:00 |
|
Alain
|
0f5fde2c5a
|
advancing
|
2021-11-22 15:55:21 +01:00 |
|
Alain
|
41a8961285
|
tentative, trying something else
|
2021-11-22 15:55:21 +01:00 |
|
Alain
|
6fdd739f54
|
saving my work somewhere
|
2021-11-22 15:55:21 +01:00 |
|
Denis Merigoux
|
eb9c75f394
|
Making progress into translation
|
2021-06-23 17:47:34 +02:00 |
|
Denis Merigoux
|
bbd50747d9
|
Big renaming and dir reorg
|
2021-06-21 11:39:06 +02:00 |
|