k-user AT lists.cs.illinois.edu

Subject: K-user mailing list

List archive

Re: [K-user] K Time

From: Traian Florin Şerbănuţă <traian.serbanuta AT fmi.unibuc.ro>
To: Omar Duhaiby <3omarz AT gmail.com>
Cc: "k-user AT cs.uiuc.edu" <k-user AT cs.uiuc.edu>, "Musab A. AlTurki" <musab AT kfupm.edu.sa>
Subject: Re: [K-user] K Time
Date: Thu, 9 Oct 2014 13:13:06 +0300
List-archive: <http://lists.cs.uiuc.edu/pipermail/k-user/>
List-id: <k-user.cs.uiuc.edu>

I don't think it has; but it should be fairly easy to add something like that.

one way to do it would be to have a special stream, similar to input and output which whenever something is requested from it would return the current time.

You can either open an issue for that on the github page (and if enough people care about it it might become a priority to the dev. team), or if you want it bad and quick, you can try implementing it yourself and submitting a pull request.

best wishes,

Traian

2014-10-09 8:49 GMT+03:00 Omar Duhaiby <3omarz AT gmail.com>:

Hello,

Does K have a built-in function that returns the current time?

Thank you
Omar Alzuhaibi

_______________________________________________
k-user mailing list
k-user AT cs.uiuc.edu
http://lists.cs.uiuc.edu/mailman/listinfo/k-user

[K-user] K Time, Omar Duhaiby, 10/09/2014
- Re: [K-user] K Time, Traian Florin Şerbănuţă, 10/09/2014
  - Re: [K-user] K Time, Omar Duhaiby, 10/09/2014
    - Re: [K-user] K Time, Rosu, Grigore, 10/09/2014
      - Re: [K-user] K Time, Dwight Guth, 10/09/2014
        
        Re: [K-user] K Time, Omar Duhaiby, 10/10/2014
        
        Re: [K-user] K Time, Omar Duhaiby, 10/15/2014
        
        Re: [K-user] K Time, Dwight Guth, 10/15/2014
        Re: [K-user] K Time, Omar Duhaiby, 10/15/2014