k-user AT lists.cs.illinois.edu
Subject: K-user mailing list
List archive
- From: "Michael D. Adams" <adamsmd AT illinois.edu>
- To: <k-user AT cs.uiuc.edu>
- Subject: Re: [K-user] file read/write
- Date: Fri, 1 Nov 2013 12:54:54 -0500
- List-archive: <http://lists.cs.uiuc.edu/pipermail/k-user/>
- List-id: <k-user.cs.uiuc.edu>
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>
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
[k-user-bounces AT cs.uiuc.edu]
on behalf of Park, Daejun
[dpark69 AT illinois.edu]
Sent: Friday, November 01, 2013 12:35 PM
To:
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
http://lists.cs.uiuc.edu/mailman/listinfo/k-user
_______________________________________________
k-user mailing list
k-user AT cs.uiuc.edu
http://lists.cs.uiuc.edu/mailman/listinfo/k-user
- [K-user] file read/write, Park, Daejun, 11/01/2013
- Re: [K-user] file read/write, Moore, Brandon Michael, 11/01/2013
- Re: [K-user] file read/write, Park, Daejun, 11/01/2013
- Re: [K-user] file read/write, Michael D. Adams, 11/01/2013
- Re: [K-user] file read/write, Park, Daejun, 11/01/2013
- Re: [K-user] file read/write, Michael D. Adams, 11/08/2013
- Re: [K-user] file read/write, Park, Daejun, 11/08/2013
- Re: [K-user] file read/write, Michael D. Adams, 11/08/2013
- Re: [K-user] file read/write, Park, Daejun, 11/08/2013
- Re: [K-user] file read/write, Michael D. Adams, 11/08/2013
- Re: [K-user] file read/write, Park, Daejun, 11/01/2013
- Re: [K-user] file read/write, Michael D. Adams, 11/01/2013
- Re: [K-user] file read/write, Park, Daejun, 11/01/2013
- Re: [K-user] file read/write, Moore, Brandon Michael, 11/01/2013
Archive powered by MHonArc 2.6.16.