k-user AT lists.cs.illinois.edu

Subject: K-user mailing list

List archive

Re: [K-user] file read/write

From: "Moore, Brandon Michael" <bmmoore AT illinois.edu>
To: "Park, Daejun" <dpark69 AT illinois.edu>, "k-user AT cs.uiuc.edu" <k-user AT cs.uiuc.edu>
Subject: Re: [K-user] file read/write
Date: Fri, 1 Nov 2013 17:43:29 +0000
Accept-language: en-US
List-archive: <http://lists.cs.uiuc.edu/pipermail/k-user/>
List-id: <k-user.cs.uiuc.edu>

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] 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