Codebase list ohcount / 4fa67836-5fea-4473-87e4-bd80a2d5b1ae/main test / expected_dir / stratego.str
4fa67836-5fea-4473-87e4-bd80a2d5b1ae/main

Tree @4fa67836-5fea-4473-87e4-bd80a2d5b1ae/main (Download .tar.gz)

stratego.str @4fa67836-5fea-4473-87e4-bd80a2d5b1ae/main — raw · history · blame 

 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
stratego	comment	/** 
stratego	comment	 * Sample code from Stratego XT Manual
stratego	comment	 */
stratego	blank	
stratego	code	rules
stratego	code	  InlineF :
stratego	code	    |[ let f(xs) = e in e'[f(es)] ]| ->
stratego	code	    |[ let f(xs) = e in e'[e[es/xs]] ]|
stratego	blank	
stratego	code	  InlineV :
stratego	code	    |[ let x = e in e'[x] ]| -> |[ let x = e in e'[e] ]|
stratego	blank	
stratego	code	  Dead :
stratego	code	    |[ let x = e in e' ]| -> |[ e' ]|
stratego	code	    where <not(in)> (x,e')
stratego	blank	
stratego	code	  Extract(f,xs) :
stratego	code	    |[ e ]| -> |[ let f(xs) = e in f(xs) ]|
stratego	blank	
stratego	code	  Hoist :
stratego	code	    |[ let x = e1 in let f(xs) = e2 in e3 ]| ->
stratego	code	    |[ let f(xs) = e2 in let x = e1 in e3 ]|
stratego	code	    where <not(in)> (x, <free-vars> e2)
stratego	blank	
stratego	comment	// better watch those apostrophes!