Use overloaded API in peace keeping grammar. Still not compiling, "no instance of mkS for Cl among ... Cl ... ?"

This commit is contained in:
bjorn
2008-08-19 14:35:45 +00:00
parent 7616c2ea23
commit a16b87f441
8 changed files with 62 additions and 60 deletions

View File

@@ -2,6 +2,8 @@ resource PeaceRes = {
param Punct = FullStop | QuestMark | ExclMark ;
param SForm = SPos | SNeg | SQuest ;
oper
stop, quest, excl : Str -> { s : Str; p : Punct } ;
stop x = { s = x; p = FullStop } ;