From 73804f5cfb41a9f1010dd8cb96ba08178536d9e7 Mon Sep 17 00:00:00 2001
From: Erwan Jahier <jahier@imag.fr>
Date: Tue, 2 Sep 2008 11:24:20 +0200
Subject: [PATCH] Fix a test.
---
src/test/should_work/clock/when_enum.lus | 4 ++--
src/test/test.res.exp | 24 +++++++++++++++++++++---
2 files changed, 23 insertions(+), 5 deletions(-)
diff --git a/src/test/should_work/clock/when_enum.lus b/src/test/should_work/clock/when_enum.lus
index 69cfb9fe..8bed83b9 100644
--- a/src/test/should_work/clock/when_enum.lus
+++ b/src/test/should_work/clock/when_enum.lus
@@ -6,11 +6,11 @@ node clock(a : t ; b, c: bool) returns (x: bool when a; y: bool when a);
let
-- We should accept that!
- (x, y) = toto(b when tutu(a), c when A(a));
+ (x, y) = toto(b when tutu(a), c when A);
tel
extern node toto(u: bool; v: bool) returns (x: bool; y: bool);
-extern node tutu(u: bool) returns (x: bool);
+extern node tutu(u: t) returns (x: bool);
diff --git a/src/test/test.res.exp b/src/test/test.res.exp
index a8c5294f..1d9bd075 100644
--- a/src/test/test.res.exp
+++ b/src/test/test.res.exp
@@ -9823,10 +9823,28 @@ tel
====> ../lus2lic -vl 2 --compile-all-items should_work/clock/when_enum.lus
Opening file should_work/clock/when_enum.lus
type _when_enum::t = enum {when_enum::A, when_enum::B, when_enum::C};
-*** Error in file "should_work/clock/when_enum.lus", line 9, col 40 to 40, token 'A':
-*** unknown node (A)
+extern node when_enum::tutu(u:_when_enum::t) returns (x:bool);
+extern node when_enum::toto(u:bool; v:bool) returns (x:bool; y:bool);
+
+node when_enum::clock(
+ a:_when_enum::t;
+ b:bool;
+ c:bool)
+returns (
+ x:bool when a;
+ y:bool when a);
+var
+ _v1:bool;
+ _v2:bool when x;
+ _v3:bool when c;
+let
+ (x, y) = when_enum::toto(_v2, _v3);
+ _v1 = when_enum::tutu(a);
+ _v2 = b when _v1;
+ _v3 = c when when_enum::A;
+tel
+-- end of node when_enum::clock
-extern node when_enum::tutu(u:bool) returns (x:bool);
----------------------------------------------------------------------
====> ../lus2lic -vl 2 --compile-all-items should_work/clock/when_node.lus
--
GitLab