forked from GitHub/gf-core
8 lines
231 B
Plaintext
8 lines
231 B
Plaintext
concrete strMatchCnc of strMatch = open Prelude in {
|
|
lincat S = {s : Str; b : Bool} ;
|
|
lin f x = case x.s of {
|
|
"" => {s="empty"; b=False} ;
|
|
_ => x
|
|
} ;
|
|
lin z = {s=""; b=False} ;
|
|
} |