GF grammar to see new error msgs to common errors

Errors.gf

abstract Errors = {

cat S ; A ;
fun
  thisWorks : S ;
  patternMatchingRuntime : A -> S ;
  unsupportedTokenGluing : A -> S ;
  nonexhaustivePattern : A ;
  tooFewArgs, tooManyArgs : A ;
}

ErrorsCnc.gf

concrete ErrorsCnc of Errors = open Prelude in {

lincat S, A = SS ;
lin

  thisWorks = ss "no errors here" ;

--  nonexhaustivePattern = mkSS "foox" ;
--  unsupportedTokenGluing a = ss (a.s + "illegal") ;

--  tooManyArgs = mkSS2 "too" "many" "args" ;
--  tooFewArgs = mkSS2 "toofew" ;
--  patternMatchingRuntime a = ss (case a.s of {"foo" => "bar"}) ;

oper

  mkSS : Str -> SS = \str ->
    case str of {
      x + "foo" => ss (x + "bar")
  } ;

  mkSS2 : Str -> Str -> SS = \str,dummy -> ss str ;

--  mkSSTooManyInTypeSignature : Str -> Str -> SS = \x -> ss x ;
--  mkSSTooFewInTypeSignature : Str -> SS = \x,y -> ss x ;

}