From dbe8e61acc616b8f5ac07e8df89eb98a7997c29d Mon Sep 17 00:00:00 2001 From: bringert Date: Fri, 25 Nov 2005 16:36:19 +0000 Subject: Move transfer into the GF repo. --- transfer/examples/prim.tr | 23 +++++++++++++++++++++++ 1 file changed, 23 insertions(+) create mode 100644 transfer/examples/prim.tr (limited to 'transfer/examples/prim.tr') diff --git a/transfer/examples/prim.tr b/transfer/examples/prim.tr new file mode 100644 index 000000000..fe0d32eac --- /dev/null +++ b/transfer/examples/prim.tr @@ -0,0 +1,23 @@ +-- +-- Primitives +-- + + +String : Type ; + +Int : Type ; + +prim_add_Int : (_:Int) -> (_:Int) -> Int ; +prim_sub_Int : (_:Int) -> (_:Int) -> Int ; +prim_mul_Int : (_:Int) -> (_:Int) -> Int ; +prim_div_Int : (_:Int) -> (_:Int) -> Int ; +prim_mod_Int : (_:Int) -> (_:Int) -> Int ; + +prim_neg_Int : (_:Int) -> Int ; + +prim_lt_Int : (_:Int) -> (_:Int) -> Bool ; +prim_le_Int : (_:Int) -> (_:Int) -> Bool ; +prim_gt_Int : (_:Int) -> (_:Int) -> Bool ; +prim_ge_Int : (_:Int) -> (_:Int) -> Bool ; +prim_eq_Int : (_:Int) -> (_:Int) -> Bool ; +prim_ne_Int : (_:Int) -> (_:Int) -> Bool ; -- cgit v1.2.3