mirror of
https://github.com/GrammaticalFramework/gf-core.git
synced 2026-04-11 05:49:31 -06:00
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} ;
|
|
} |