RE: [Codeboost-dev] Make check fails...

[Arthur van Dam]

Shishir,

The abox imports just have to do with codeboost being a bit behind on
Stratego.

The auto* thing is taking better care of by the often-used bootstrap
script,
Read more about it on:
  http://www.stratego-language.org/twiki/bin/view/Stratego/WhyBootstrap

Your problem on not knowing pp-aterm is a well-known problem in general.
Stratego is always in development and although many people involved fill
the
Stratego wiki, there is still undocumented features, that can only be
learned
by working with Stratego and asking a lot. I'm only into Stratego for 1
year
now, so I've had the same problems. On:
  http://www.stratego-language.org/twiki/bin/view/Stratego/ATermTools
pp-aterm is mentioned, but I understand it's hard to find. My advice:
browse
a lot through the Wiki, and more specific: look through the contents of
the
bin/ subfolder of the aterm, sdf2-bundle and strategoxt trees. And
sometimes
even the libexec/ subfolder. The names are either self-explanatory or
have
some info on the wiki. Almost all tools accept a -? for further info.

At the SUD04 there will also be attention for development practices in
Stratego (using stratego-shell, stratego-misc and other tools).

I agree with Otto that there are more suitable packages for your first
steps
in Stratego, tiger is a neat package (which is streamlined even more
these
days) with some related articles and wiki documentation.
The downside is that so many has already been done related to tiger-
Optimization, that there's not much 'new' to do for a beginner. This one
of the
reasons why I picked up two new problems, ones that are at least not
done in
Stratego yet.
It can be great fun starting your own small package (writing the SDF,
getting
test files parsed into an AST and unleash Stratego on it.), see for
example
  http://www.stratego-language.org/twiki/bin/view/Stratego/ExpTools

Or do our 'crash-course' on Stratego at:
 
http://www.stratego-language.org/twiki/bin/view/Stratego/HandoutsForTheS
trategoTutorialAtETAPS2002

(sorry Otto and Karl, that I am so shamelessly Stratego-centered in this
Message ;-) )

But in the end: CodeBoost is not difficult to use. Once you have it
running,
it takes care of many things that can be not too interesting for a
program
transformer. You basically have your own stratego-program inserted
somewhere
in the middle of the codeboost-pipeline and you can be sure that your
program
will receive the input program as an AST, and your output will be
further
processed and pretty-printed afterwards.
My first steps in codeboost were on a partial evaluator for CodeBoost,
See codeboost/examples/part-eval/ for details.

Cheers,
Arthur

--
address@hidden
http://www.eye-home.net
'12:50, press Return'
(Pi)


-----Original Message-----
From: Shishir Ramam [mailto:address@hidden 
Sent: dinsdag 3 februari 2004 19:50
To: Arthur van Dam
Cc: address@hidden
Subject: Re: [Codeboost-dev] Make check fails...


Arthur,

In src/pretty/abox2text.r modified `import abox` to 
`import abox-ext`. 

Apart from that, I had to copy over some autotools configuration files.
After a bit of struggling, 
landed up copying a acconf.m4 from xml-tools. 
The others were the scripts `missing`,
`mkinstalldirs`. 
and a few others. 

The full details (including a shell script to get
this going) is pending admin approval. Will logs and
stuff, this got to being over the 40k limit.
This evening, I'll split them up and post the hacks 
to make codeboost compile. 

Also, I have ported the patch to opencxx2.7. 
Is there any interest? Will be posting it too anyway. 

pp-aterm! And i did this *by hand* to figure the
difference! Is there any place with documentation 
for the rich set of functionality that is obviously
there. Just not obvious to the novice. 
I'll try and keep a track of my learning experience,
but can use help. 

Is there any other documentation for codeboost proper?
The only thing I am going by are Otto's & Karl's
theses. But these lack implementation details. 
Couldn't find any others. 

thanks,
-shishir


--- Arthur van Dam <address@hidden> wrote:
> Hi all,
> 
> Attached is the result of
> address@hidden:~/tmp]$ pp-aterm -i dtors-parse.ast.txt
> >dtors-parse.ast.txt.pp
> address@hidden:~/tmp]$ pp-aterm -i dtors-parse.out.txt
> >dtors-parse.out.txt.pp
> address@hidden:~/tmp]$ diff dtors-parse.ast.txt.pp 
> dtors-parse.out.txt.pp  > dtors-parse.diff.pp
> 
> The first Version Info list is of course no real
> problem. But the
> missing declaration that appears as a NoDecl in your
> .out file might be.
> Otto probably knows :)
> 
> p.s. Shishir, did you need any additional hacks
> before you got
> CodeBoost-0.2.3-dev compiling and running?
> 
> -- Arthur
> 
> 
> 
> Shishir Ramam wrote:
> 
> >Folks,
> >
> >codeboost from the cvs, is running into trouble
> >on `make check`. 
> >
> >Looks like the comparison between
> >the .ast & .out files fails. 
> >
> >Specifically, in src/parser/tests,
> >dtors.cc & varinit.cc fail the test. 
> >
> >I am starting to look to see if i can
> >decipher the difference, but if someone
> >on the list has an easier read of the problem,
> >I'd appreciate help.
> >
> >my setup:
> >cygwin 1.5.6/winxp
> >aterm 2.0.5
> >sdf-bundle 1.6 
> >stratego 0.9.4 
> >opencxx 2.7 (I have patched this. seems to behave
> like
> >the original. The patch is pending an admin
> approval
> >on this list).
> >codeboost - cvs version. 
> >
> >Attached at files dtors-parse.out &
> dtors-parse.ast.
> >
> >thanks,
> >-shishir
> >
> >
> >__________________________________
> >Do you Yahoo!?
> >Yahoo! SiteBuilder - Free web site building tool.
> Try it!
> >http://webhosting.yahoo.com/ps/sb/
> >
>
>-----------------------------------------------------------------------
>-
> >
>
>Program([CodeBoost,Version("0.2.1-rc1"),AstVerMajor(1),AstVerMinor(0)],
>[ManyDecl([],TType([],IdName("int")),[VarDecl(IdName("var"),DType(DNil)
,[],NoExpr)]),ManyDecl([],TType([],IdName("int")),[VarDecl(IdName("ref")
,DType(Ref(NoQual,DNil)),[],Var(IdName("var"),AnyType,NoScope))]),ManyDe
cl([],TType([],IdName("int")),[VarDecl(IdName("ptr"),DType(Ptr(NoQual,DN
il)),[],NoExpr)]),ManyDecl([],TType([],IdName("int")),[VarDecl(IdName("p
trptr"),DType(Ptr(NoQual,Ptr(NoQual,DNil))),[],NoExpr)]),ManyDecl([],TTy
pe([],IdName("int")),[VarDecl(IdName("array"),DType(Array(Literal(Intege
r("4")),DNil)),[],NoExpr),VarDecl(IdName("ptrarray"),DType(Array(Literal
(Integer("54")),Ptr(NoQual,DNil))),[],NoExpr)]),Decl(FunDecl(IdName("dto
r_dummy_fun"),ArgList([VarDecl(NoName,Type([],IdName("int"),Ptr(NoQual,D
Nil)),[],NoExpr),VarDecl(IdName("a"),Type([],IdName("int"),Array(NoExpr,
DNil)),[],NoExpr),VarDecl(IdName("ap"),Type([],IdName("int"),Array(NoExp
r,Ptr(NoQual,DNil))),[],NoExpr)]),Type([],IdName("int")
 ,
> >
>
Ref(NoQual,DNil)),[],NoQual,NoCInit,NoDecl),NoSig),ManyDecl([],TType([],
IdName("int")),[VarDecl(IdName("init"),DType(DNil),[],Literal(Integer("5
4")))]),Decl(ClsDecl(IdName("dtor"),[],[],Block([ManyDecl([],TType([],Id
Name("int")),[VarDecl(IdName("num"),DType(DNil),[],NoExpr)]),Access(Publ
ic),Decl(FunDecl(IdName("dtor"),ArgList([VarDecl(IdName("x"),Type([],IdN
ame("int"),DNil),[],NoExpr)]),NoType,[],NoQual,CInitList([CInit(IdName("
num"),[Var(IdName("x"),AnyType,NoScope)])]),Block([])),NoSig),NoDecl,Dec
l(FunDecl(IdName("f"),ArgList([VarDecl(IdName("x"),Type([],IdName("int")
,DNil),[],NoExpr)]),Type([],IdName("int"),DNil),[],CQual,NoCInit,Block([
Return(Infix(Op("*",AnyFun),Var(IdName("num"),AnyType,NoScope),Var(IdNam
e("x"),AnyType,NoScope)))])),NoSig)])),NoSig)],[Table("extensions",[])])
> >  
> >
>
>-----------------------------------------------------------------------
>-
> >
>
>Program([CodeBoost,Version("0.2.3-dev"),AstVerMajor(1),AstVerMinor(2),T
>race([("$Id:
> cpp-check.r,v 1.27 2003/04/07 14:01:50 ottosb Exp
> $",["../../../src/sig/cpp-check"]),("$Id:
> cst2ast.r,v 1.11 2003/03/06 19:07:28 ottosb Exp
>
$",["../../../src/parser/cst2ast"])])],[ManyDecl([],TType([],IdName("int
")),[VarDecl(IdName("var"),DType(DNil),[],NoExpr)]),ManyDecl([],TType([]
,IdName("int")),[VarDecl(IdName("ref"),DType(Ref(NoQual,DNil)),[],Var(Id
Name("var"),AnyType,NoScope))]),ManyDecl([],TType([],IdName("int")),[Var
Decl(IdName("ptr"),DType(Ptr(NoQual,DNil)),[],NoExpr)]),ManyDecl([],TTyp
e([],IdName("int")),[VarDecl(IdName("ptrptr"),DType(Ptr(NoQual,Ptr(NoQua
l,DNil))),[],NoExpr)]),ManyDecl([],TType([],IdName("int")),[VarDecl(IdNa
me("array"),DType(Array(Literal(Integer("4")),DNil)),[],NoExpr),VarDecl(
IdName("ptrarray"),DType(Array(Literal(Integer("54")),Ptr(NoQual,DNil)))
,[],NoExpr)]),Decl(FunDecl(IdName("dtor_dummy_fun"),ArgList([VarDecl(NoN
ame,Type([],IdName("int"),Ptr(NoQual,DNil)),[]
> >
>
,NoExpr),VarDecl(IdName("a"),Type([],IdName("int"),Array(NoExpr,DNil)),[
],NoExpr),VarDecl(IdName("ap"),Type([],IdName("int"),Array(NoExpr,Ptr(No
Qual,DNil))),[],NoExpr)]),Type([],IdName("int"),Ref(NoQual,DNil)),[],NoQ
ual,NoCInit,NoDecl),NoSig),ManyDecl([],TType([],IdName("int")),[VarDecl(
IdName("init"),DType(DNil),[],Literal(Integer("54")))]),NoDecl],[Table("
extensions",[])])
> >  
> >
>
>-----------------------------------------------------------------------
>-
> >
> >_______________________________________________
> >Codeboost-dev mailing list
> >address@hidden
>
>http://mail.nongnu.org/mailman/listinfo/codeboost-dev
> >  
> >
> 
> > 2c2,9
> <   [CodeBoost, Version("0.2.1-rc1"),
> AstVerMajor(1), AstVerMinor(0)]
> ---
> >   [ CodeBoost
> >   , Version("0.2.3-dev")
> >   , AstVerMajor(1)
> >   , AstVerMinor(2)
> >   , Trace(
> >       [("$Id: cpp-check.r,v 1.27 2003/04/07
> 14:01:50 ottosb Exp $",
> ["../../../src/sig/cpp-check"]), ("$Id: cst2ast.r,v
> 1.11 2003/03/06 19:07:28 ottosb Exp $", 
> ["../../../src/parser/cst2ast"])]
> >     )
> >   ]
> 103,174c110
> <   , Decl(
> <       ClsDecl(
> <         IdName("dtor")
> <       , []
> <       , []
> <       , Block(
> <           [ ManyDecl(
> <               []
> <             , TType([], IdName("int"))
> <             , [VarDecl(IdName("num"), DType(DNil),
> [], NoExpr)]
> <             )
> <           , Access(Public)
> <           , Decl(
> <               FunDecl(
> <                 IdName("dtor")
> <               , ArgList(
> <                   [ VarDecl(
> <                       IdName("x")
> <                     , Type([], IdName("int"),
> DNil)
> <                     , []
> <                     , NoExpr
> <                     )
> <                   ]
> <                 )
> <               , NoType
> <               , []
> <               , NoQual
> <               , CInitList(
> <                   [CInit(
> <                      IdName("num")
> <                    , [Var(IdName("x"), AnyType,
> NoScope)]
> <                    )]
> <                 )
> <               , Block([])
> <               )
> <             , NoSig
> <             )
> <           , NoDecl
> <           , Decl(
> <               FunDecl(
> <                 IdName("f")
> <               , ArgList(
> <                   [ VarDecl(
> <                       IdName("x")
> <                     , Type([], IdName("int"),
> DNil)
> <                     , []
> <                     , NoExpr
> <                     )
> <                   ]
> <                 )
> <               , Type([], IdName("int"), DNil)
> <               , []
> <               , CQual
> <               , NoCInit
> <               , Block(
> <                   [ Return(
> <                       Infix(
> <                         Op("*", AnyFun)
> <                       , Var(IdName("num"),
> AnyType, NoScope)
> <                       , Var(IdName("x"), AnyType,
> NoScope)
> <                       )
> <                     )
> <                   ]
> <                 )
> <               )
> <             , NoSig
> <             )
> <           ]
> <         )
> <       )
> <     , NoSig
> <     )
> ---
> >   , NoDecl
> > _______________________________________________
> Codeboost-dev mailing list
> address@hidden
>
http://mail.nongnu.org/mailman/listinfo/codeboost-dev
> 


__________________________________
Do you Yahoo!?
Yahoo! SiteBuilder - Free web site building tool. Try it!
http://webhosting.yahoo.com/ps/sb/