diff --git a/lv6-ref-man/figs/patate.fig b/lv6-ref-man/figs/patate.fig deleted file mode 120000 index 6fbde71ed9469043d29e21063b89ad4ebc34ff84..0000000000000000000000000000000000000000 --- a/lv6-ref-man/figs/patate.fig +++ /dev/null @@ -1 +0,0 @@ -/home/jahier/slides/lv6/figs/patate.fig \ No newline at end of file diff --git a/lv6-ref-man/figs/patate.fig b/lv6-ref-man/figs/patate.fig new file mode 100644 index 0000000000000000000000000000000000000000..cc2ae8d6a98275d3c3665b6e7dbaa3fa26e4f0c0 --- /dev/null +++ b/lv6-ref-man/figs/patate.fig @@ -0,0 +1,35 @@ +#FIG 3.2 Produced by xfig version 3.2.5-alpha5 +Landscape +Center +Metric +A4 +100.00 +Single +-2 +1200 2 +1 3 0 1 0 7 50 -1 -1 0.000 1 0.0000 2674 1980 408 408 2674 1980 3082 1980 +1 2 0 1 18 7 70 -1 -1 0.000 1 0.0000 2460 2001 1278 992 1182 2001 3737 2001 +1 2 0 1 8 7 80 -1 -1 0.000 1 4.7124 2419 1976 477 666 1941 1976 2896 1976 +1 2 0 1 12 7 60 -1 -1 0.000 1 0.0000 3250 1973 1010 581 2240 1973 4260 1973 +1 4 0 1 9 7 60 -1 -1 0.000 1 0.0000 2635 2225 147 147 2488 2225 2783 2225 +2 1 0 1 0 7 110 -1 -1 0.000 0 0 -1 0 0 2 + 3967 2258 4477 2527 +2 1 0 1 0 7 120 -1 -1 0.000 0 0 -1 0 0 2 + 1892 3242 2140 2201 +2 1 0 1 0 7 90 -1 -1 0.000 0 0 -1 0 0 2 + 2033 876 2062 1344 +2 1 0 1 0 7 100 -1 -1 0.000 0 0 -1 0 0 2 + 4094 1167 3358 1755 +2 2 0 0 0 7 0 -1 -1 0.000 0 0 -1 0 0 5 + 1113 501 6276 501 6276 3504 1113 3504 1113 501 +4 0 18 70 -1 0 17 0.0000 4 191 340 1431 2447 V6\001 +4 0 0 110 -1 0 17 0.0000 4 255 1615 4534 2654 homomorphic\001 +4 0 0 100 -1 0 17 0.0000 4 191 680 4137 1138 arrays\001 +4 0 0 120 -1 0 17 0.0000 4 255 1572 1601 3419 array iterators\001 +4 0 0 110 -1 0 17 0.0000 4 191 1126 4534 2994 extension\001 +4 0 8 80 -1 0 17 0.0000 4 191 297 1897 2086 lic\001 +4 0 0 90 -1 0 17 0.0000 4 255 4313 1148 756 struct, enums, packages, genericity, ...\001 +4 0 0 50 -1 0 17 0.0000 4 191 637 2376 1892 lustre\001 +4 0 0 50 -1 0 17 0.0000 4 127 489 2461 2058 core\001 +4 0 12 60 -1 0 17 0.0000 4 191 340 3788 2098 V4\001 +4 0 8 60 -1 0 17 0.0000 4 127 255 2522 2307 ec\001 diff --git a/lv6-ref-man/lv6-ref-man.tex b/lv6-ref-man/lv6-ref-man.tex index b2f401ee55b13a7332c061575a268e08feba12c4..0a0bda73c93bb4f0571a97df0961ee6d9c2a7301 100644 --- a/lv6-ref-man/lv6-ref-man.tex +++ b/lv6-ref-man/lv6-ref-man.tex @@ -1105,7 +1105,7 @@ size). \section{Recursive nodes} \label{recnode} -Nodes can even be defined recursively using the ``with'' construct +Nodes can even be defined recursively using the ``\texttt{with}'' construct. \begin{example}[Recursive Node] \input{consensus2.lus} diff --git a/test/should_work/consensus2.lus b/test/should_work/consensus2.lus index 579aeba664a381548d8b405e5154b0f4d4268b9a..8824dcb3df59b4bbec60aa0c1d55782ba2012ff2 100644 --- a/test/should_work/consensus2.lus +++ b/test/should_work/consensus2.lus @@ -4,5 +4,4 @@ let a = with (n = 1) then T[0] else T[0] and consensus << n-1 >> (T[1 .. n-1]); tel - node consensus2 = consensus<<8>>; \ No newline at end of file