Add signed integer type (sint)

math/Makefile

@@ -15,7 +15,7 @@
 # limitations under the License.
 # 
 #-------------------------------------------------------------------------
-TARGETACT=_all_.act fxp.act misc.act
+TARGETACT=_all_.act fxp.act misc.act sint.act
 TARGETACTSUBDIR=math
 
 include $(ACT_HOME)/scripts/Makefile.std

math/_all_.act

@@ -21,3 +21,4 @@
 
 import "math/fxp.act";
 import "math/misc.act";
+import "math/sint.act";

math/sint.act

@@ -0,0 +1,24 @@
+namespace math {
+ export
+ template<pint W>
+ deftype sint <: fixpoint<W,0> ()
+ {
+ methods {
+ function positive() : bool {
+ chp {
+ self := fxp::positive<W,0>(x)
+ }
+ }
+ }
+ }
+
+ export
+ namespace sint_ops {
+ template<pint W,N>
+ function clsl(sint<W> v) : sint<W> {
+ chp {
+ self.x := v.x << N
+ }
+ }
+ }
+}