Skip to content
Snippets Groups Projects
Commit c5722e64 authored by Erwan Jahier's avatar Erwan Jahier
Browse files

Do not print "type", "node", and "const" before iterators static args.

parent 4f7b85a5
No related branches found
No related tags found
No related merge requests found
......@@ -87,6 +87,8 @@ include $(OCAMLMAKEFILE)
tags:
otags $(SOURCES) $(shell ocamlc -where)/*.mli
.PHONY: test
test: $(RESULT)
cd test; make test
......
......@@ -93,6 +93,13 @@ les operateurs aritmetiques, bof.
devrait être multi-horloge également. Et peut-etre d'autres encore...
* Que faire des itérateurs imbriqués ? style :
fill<< fill<< incremental ; L >> ; H >>( iacc );
lus2lic les accepte, mais pas lic2loc. Faut-il étendre lic2loc,
ou faire en sorte que lus2lic invente un noeud alias intermédiaire ?
***********************************************************************************
***********************************************************************************
*** questions pour bibi
......
(** Time-stamp: <modified the 04/07/2008 (at 18:05) by Erwan Jahier> *)
(** Time-stamp: <modified the 07/07/2008 (at 11:14) by Erwan Jahier> *)
(* Call it LicDump? *)
......@@ -166,10 +166,10 @@ and static_arg2string_rec (sa : static_arg_eff) =
(* for printing iterators *)
and static_arg2string (sa : static_arg_eff) =
match sa with
| ConstStaticArgEff (id, ceff) -> sprintf "const %s" (string_of_const_eff ceff)
| TypeStaticArgEff (id, teff) -> sprintf "type %s" (string_of_type_eff teff)
| ConstStaticArgEff (id, ceff) -> sprintf "%s" (string_of_const_eff ceff)
| TypeStaticArgEff (id, teff) -> sprintf "%s" (string_of_type_eff teff)
| NodeStaticArgEff (id, opeff) ->
sprintf "node %s" (string_of_node_key_iter opeff.node_key_eff)
sprintf "%s" (string_of_node_key_iter opeff.node_key_eff)
and (string_of_var_info_eff: var_info_eff -> string) =
fun x ->
......
node redIf(a : bool; b, c : bool^3) returns (r : bool);
let
r = red<<if, 3>>(a,b,c);
-- r = red<<monIf, 3>>(a,b,c);
-- r = red<<if, 3>>(a,b,c);
r = red<<monIf, 3>>(a,b,c);
tel
......
This diff is collapsed.
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment