K-user mailing list

["Michael D. Adams" <adamsmd AT illinois.edu>]

Thank you, that helped.  I was trying to run this with the Java backend 
(because somehow I thought it was the only one to work with IO), but you 
were running with Maude.

Once I switch to the Maude backend, things started working.

On 11/08/2013 10:44 AM, Park, Daejun wrote:
> Hi Michael,
>
> It seems that your K cannot open the "file". '#open("file")' should be
> evaluated to a file descriptor--an integer. I don't know why it happens.
> Maybe you need another person's help.
>
> Anyway, this is my complete example: (nothing different..)
>
> $ cat a.k
> module A
>   syntax Pgm ::= "run"
>   configuration <k> $PGM:Pgm </k>
>
>   rule <k> run => writeFile("file", "content\n") ... </k>
>
>   syntax K ::= writeFile(String,String)
>   rule writeFile(File:String, Content:String)
>     => writeFD(#open(File), Content)
>
>   syntax K ::= writeFD(Int,String)
>   rule writeFD(FD:Int, Content:String)
>     => #write(FD, Content) ~> #close(FD)
> endmodule
>
> $ cat 1.a
> run
>
> $ kompile a.k
> $ krun 1.a
> <k>
>      .K
> </k>
> $ cat file
> content
>
> Thanks,
> Daejun
>
> On Nov 8, 2013, at 9:17 AM, Michael D. Adams 
> <adamsmd AT illinois.edu
> <mailto:adamsmd AT illinois.edu>>
>  wrote:
>
> > What I try to do that, the configuration gets stuck with:
> >
> > <k>
> >    #write ( (#open ( "file" )) , "content" ) ~> #close ( (#open (
> > "file" ))
> >      )
> > </k>
> >
> > Have you gotten it to not get stuck?  Could you post a complete
> > example (including commandlines)?
> >
> > On 11/01/2013 09:03 PM, Park, Daejun wrote:
> > > Hi Michael,
> > >
> > > If you want to write something to a file at once,  you can go with
> > >  #open and  #write .
> > >
> > > For example,
> > >
> > >   rule <k> run => writeFile("file", "content") ... </k>
> > >
> > >   syntax K ::= writeFile(String,String)
> > >   rule writeFile(File:String, Content:String)
> > >     => writeFD(#open(File), Content)
> > >
> > >   syntax K ::= writeFD(Int,String)
> > >   rule writeFD(FD:Int, Content:String)
> > >     => #write(FD, Content) ~> #close(FD)
> > >
> > > I'll get back to you after figuring out how to read from a file.
> > >
> > > Daejun
> > >
> > > On Nov 1, 2013, at 12:54 PM, Michael D. Adams 
> > > <adamsmd AT illinois.edu
> > > <mailto:adamsmd AT illinois.edu>>
> > >  wrote:
> > >
> > > > If you figure out how to do this, let me know.  I need it in the AST
> > > > generator.
> > > >
> > > > For my use, it would be nice if we had some high-level functions
> > > > like Haskell's readFile and writeFile that read or write the entire
> > > > file in one go.
> > > >
> > > > On 11/01/2013 12:52 PM, Park, Daejun wrote:
> > > > > Thank you very much, Brandon!!
> > > > >
> > > > > Daejun
> > > > >
> > > > > On Nov 1, 2013, at 12:43 PM, "Moore, Brandon Michael"
> > > > > <bmmoore AT illinois.edu
> > > > >  
> > > > > <mailto:bmmoore AT illinois.edu>>
> > > > >  wrote:
> > > > >
> > > > > > The first thing grep suggests is
> > > > > > tests/regression/java-rewrite-engine/io/test1
> > > > > > None of the tutorials or samples call #open.
> > > > > >
> > > > > > Brandon
> > > > > > ________________________________________
> > > > > > From: 
> > > > > > k-user-bounces AT cs.uiuc.edu
> > > > > > <mailto:k-user-bounces AT cs.uiuc.edu>
> > > > > >  
> > > > > > [k-user-bounces AT cs.uiuc.edu
> > > > > > <mailto:k-user-bounces AT cs.uiuc.edu>]
> > > > > >  on behalf of Park, Daejun
> > > > > > [dpark69 AT illinois.edu
> > > > > >  
> > > > > > <mailto:dpark69 AT illinois.edu>]
> > > > > > Sent: Friday, November 01, 2013 12:35 PM
> > > > > > To: 
> > > > > > k-user AT cs.uiuc.edu
> > > > > >  
> > > > > > <mailto:k-user AT cs.uiuc.edu>
> > > > > > Subject: [K-user] file read/write
> > > > > >
> > > > > > Hi all,
> > > > > >
> > > > > > Is there an easy way to read/write a file in K?
> > > > > > While dealing with stdin/stdout is very simple, how can I do such
> > > > > > a thing for a file?
> > > > > > I'd appreciate it if you give a pointer to an example.
> > > > > >
> > > > > > Thanks,
> > > > > > Daejun
> > > > > > _______________________________________________
> > > > > > k-user mailing list
> > > > > > k-user AT cs.uiuc.edu
> > > > > >  
> > > > > > <mailto:k-user AT cs.uiuc.edu>
> > > > > > http://lists.cs.uiuc.edu/mailman/listinfo/k-user
> > > > >
> > > > >
> > > > > _______________________________________________
> > > > > k-user mailing list
> > > > > k-user AT cs.uiuc.edu
> > > > >  
> > > > > <mailto:k-user AT cs.uiuc.edu>
> > > > > http://lists.cs.uiuc.edu/mailman/listinfo/k-user
> > > >
> > > > _______________________________________________
> > > > k-user mailing list
> > > > k-user AT cs.uiuc.edu
> > > >  
> > > > <mailto:k-user AT cs.uiuc.edu>
> > > > http://lists.cs.uiuc.edu/mailman/listinfo/k-user