From 77270a010a0b453e9a84c3e62db7cfd22e49d55d Mon Sep 17 00:00:00 2001 From: bjorn Date: Thu, 14 Aug 2008 07:58:04 +0000 Subject: Remove the grammars directory. It was full of old grammars that don't compile these days. See the old source distributions if you want them. --- grammars/prelude/Predef.gf | 27 --------------------------- 1 file changed, 27 deletions(-) delete mode 100644 grammars/prelude/Predef.gf (limited to 'grammars/prelude/Predef.gf') diff --git a/grammars/prelude/Predef.gf b/grammars/prelude/Predef.gf deleted file mode 100644 index 866ce5b6a..000000000 --- a/grammars/prelude/Predef.gf +++ /dev/null @@ -1,27 +0,0 @@ --- predefined functions for concrete syntax, defined in AppPredefined.hs - -resource Predef = { - - -- this type is for internal use only - param PBool = PTrue | PFalse ; - - -- these operations have their proper definitions in AppPredefined.hs - - oper Int : Type = variants {} ; -- the type of integers - oper Ints : Int -> Type = variants {} ; -- the type of integers from 0 to n - - oper length : Tok -> Int = variants {} ; -- length of string - oper drop : Int -> Tok -> Tok = variants {} ; -- drop prefix of length - oper take : Int -> Tok -> Tok = variants {} ; -- take prefix of length - oper tk : Int -> Tok -> Tok = variants {} ; -- drop suffix of length - oper dp : Int -> Tok -> Tok = variants {} ; -- take suffix of length - oper eqInt : Int -> Int -> PBool = variants {} ; -- test if equal integers - oper lessInt: Int -> Int -> PBool = variants {} ; -- test order of integers - oper plus : Int -> Int -> Int = variants {} ; -- add integers - oper eqStr : Tok -> Tok -> PBool = variants {} ; -- test if equal strings - oper occur : Tok -> Tok -> PBool = variants {} ; -- test if occurs as substring - oper show : (P : Type) -> P -> Tok = variants {} ; -- convert param to string - oper read : (P : Type) -> Tok -> P = variants {} ; -- convert string to param - - } ; - -- cgit v1.2.3