ogma-cli: Add a float and a double input variable to ROS example. Refs …

…#138.

This commit modifies an example to use also an input variable of type
float and one of type double, both of which were failing in the ROS
backend.

The example in question is currently being used by a CI script to test
the ROS backend, making the new example serve as a regression test.

ogma-cli/examples/ros-copilot/ROS.hs

@@ -1,13 +1,21 @@
 import Copilot.Compile.C99
 import Copilot.Language
 import Language.Copilot    (reify)
-import Prelude             hiding (not, (>=))
+import Prelude             hiding (not, (&&), (>=))
 
 inputSignal :: Stream Int64
 inputSignal = extern "input_signal" Nothing
 
+inputSignalFloat :: Stream Float
+inputSignalFloat = extern "input_signal_float" Nothing
+
+inputSignalDouble :: Stream Double
+inputSignalDouble = extern "input_signal_double" Nothing
+
 propTestCopilot :: Stream Bool
 propTestCopilot = inputSignal >= 5
+               && inputSignalFloat >= 5
+               && inputSignalDouble >= 5
 
 spec :: Spec
 spec = do

ogma-cli/examples/ros-copilot/variables

@@ -1 +1,3 @@
 input_signal
+input_signal_float
+input_signal_double

ogma-cli/examples/ros-copilot/vars-db

@@ -1 +1,3 @@
 ("input_signal","int64_t","/demo/topic","int64_t")
+("input_signal_float","float","/demo/topicf","float")
+("input_signal_double","double","/demo/topicd","double")