forked from GitHub/gf-rgl
regular expression patterns
This commit is contained in:
@@ -10,7 +10,6 @@ resource Predef = {
|
|||||||
oper Int : Type = variants {} ; -- the type of integers
|
oper Int : Type = variants {} ; -- the type of integers
|
||||||
oper Ints : Int -> Type = variants {} ; -- the type of integers from 0 to n
|
oper Ints : Int -> Type = variants {} ; -- the type of integers from 0 to n
|
||||||
|
|
||||||
oper CC : Tok -> Tok -> Tok = variants {} ; -- concatenation; used in patterns
|
|
||||||
oper length : Tok -> Int = variants {} ; -- length of string
|
oper length : Tok -> Int = variants {} ; -- length of string
|
||||||
oper drop : Int -> Tok -> Tok = variants {} ; -- drop prefix of length
|
oper drop : Int -> Tok -> Tok = variants {} ; -- drop prefix of length
|
||||||
oper take : Int -> Tok -> Tok = variants {} ; -- take prefix of length
|
oper take : Int -> Tok -> Tok = variants {} ; -- take prefix of length
|
||||||
|
|||||||
@@ -1355,7 +1355,9 @@ caseTable : Number -> CommonNoun -> Case => Str = \n,cn ->
|
|||||||
in
|
in
|
||||||
{s = table {
|
{s = table {
|
||||||
Imper Sg => "älä" ;
|
Imper Sg => "älä" ;
|
||||||
Impf n p | Cond n p => ei.s ! Pres n p ;
|
-- Impf n p | Cond n p => ei.s ! Pres n p ;
|
||||||
|
Impf n p => ei.s ! Pres n p ;
|
||||||
|
Cond n p => ei.s ! Pres n p ;
|
||||||
v => ei.s ! v
|
v => ei.s ! v
|
||||||
}
|
}
|
||||||
} ;
|
} ;
|
||||||
|
|||||||
Reference in New Issue
Block a user