[ #266 ] test case

.gitignore

@@ -117,3 +117,13 @@ cabal.sandbox.config
 /testing/regression-tests/235_SymbolsOverlapTokens/ocaml-menhir/
 /testing/regression-tests/235_SymbolsOverlapTokens/xml/
 /testing/regression-tests/235_SymbolsOverlapTokens/xmlt/
+
+/testing/regression-tests/266_define/agda/
+/testing/regression-tests/266_define/cnf/
+/testing/regression-tests/266_define/c/
+/testing/regression-tests/266_define/cpp*/
+/testing/regression-tests/266_define/glr/
+/testing/regression-tests/266_define/haskell*/
+/testing/regression-tests/266_define/java*/
+/testing/regression-tests/266_define/ocaml*/
+/testing/regression-tests/266_define/xml*/

testing/regression-tests/266_define/good01.in

@@ -0,0 +1 @@
+1.41421356237311 ** sqrt 2.71828182845905 ** 3.14159265358979

testing/regression-tests/266_define/good01.out

@@ -0,0 +1,7 @@
+[Abstract Syntax]
+
+EPower (EDouble 1.41421356237311) (EPower (EPower (EDouble 2.71828182845905) EHalf) (EDouble 3.14159265358979))
+
+[Linearized tree]
+
+1.41421356237311 ** (2.71828182845905 ** 1/2) ** 3.14159265358979

testing/regression-tests/266_define/test.cf

@@ -0,0 +1,10 @@
+entrypoints Exp ;
+
+EHalf. Exp2 ::= "1/2" ;
+EDouble. Exp2 ::= Double ;
+eSqrt. Exp1 ::= "sqrt" Exp1 ;
+EPower. Exp ::= Exp1 "**" Exp ;
+
+coercions Exp 2 ;
+
+define eSqrt e = EPower e EHalf ;

testing/src/ParameterizedTests.hs

@@ -66,7 +66,8 @@ current :: Test
 current = makeTestSuite "Current parameterized test" $
  map (`makeTestCase` ("regression-tests" </> cur)) parameters
  where
- cur = "235_SymbolsOverlapTokens"
+ cur = "266_define"
+ -- cur = "235_SymbolsOverlapTokens"
  -- cur = "202_comments"
  -- cur = "278_Keywords"
  -- cur = "256_Regex"
@@ -158,7 +159,8 @@ testCases :: TestParameters -> [Test]
 testCases params =
  map (makeTestCase params) $
  map ("regression-tests/" ++) $
- [ "235_SymbolsOverlapTokens"
+ [ "266_define"
+ , "235_SymbolsOverlapTokens"
  , "278_Keywords"
  , "256_Regex"
  , "222_IntegerList"