Skip to content

Commit

Permalink
fixes after rebase
Browse files Browse the repository at this point in the history
  • Loading branch information
radeusgd committed Oct 15, 2022
1 parent 139366c commit 5913848
Show file tree
Hide file tree
Showing 4 changed files with 5 additions and 5 deletions.
Original file line number Diff line number Diff line change
Expand Up @@ -273,6 +273,6 @@ type Duration

import Standard.Base.Data.Time.Duration

example_is_empty = 10.seconds.is_empty
example_is_empty = Duration.zero.is_empty
is_empty : Boolean
is_empty self = self.to_vector . all (==0)
Original file line number Diff line number Diff line change
Expand Up @@ -46,7 +46,7 @@ polyglot java import org.enso.base.Http_Utils
import Standard.Base.Network.Proxy

example_new =
Http.new (timeout = 30.seconds) (proxy = Proxy.new "example.com" 8080)
Http.new (timeout = (Duration.new seconds=30)) (proxy = Proxy.new "example.com" 8080)
new : Duration -> Boolean -> Proxy -> Http
new (timeout = (Duration.new seconds=10)) (follow_redirects = True) (proxy = Proxy.System) (version = Version.Http_1_1) =
Http_Data timeout follow_redirects proxy version
Expand Down Expand Up @@ -595,7 +595,7 @@ type Http
example_request =
form = [Form.text_field "name" "John Doe"]
req = Request.new Method.Post "http://httpbin.org/post" . with_form form
http = Http.new (timeout = 30.seconds)
http = Http.new (timeout = (Duration.new seconds=30))
http.request req
request : Request -> Response ! Request_Error
request self req =
Expand Down
2 changes: 1 addition & 1 deletion test/Benchmarks/src/Table/Sorting.enso
Original file line number Diff line number Diff line change
Expand Up @@ -22,7 +22,7 @@ main =
ints = (0.up_to vector_size).to_vector.take (Sample vector_size 42)
start = Date_Time.new 1990 1 1
dates = ints.map x->
start + x.seconds
start + (Duration.new seconds=30)
objects = ints.map My.Data

ints_table = Table.new [['ints', ints]]
Expand Down
2 changes: 1 addition & 1 deletion test/Table_Tests/src/Table_Spec.enso
Original file line number Diff line number Diff line change
Expand Up @@ -994,7 +994,7 @@ spec =

Test.specify "should perform `Is_In` efficiently for builtin types" <|
first_day = Date_Time.new 2000 1 1
make_date x = first_day + x.seconds
make_date x = first_day + (Duration.new seconds=30)
init = Duration.time_execution <|
t = Table.new [["X", (200.up_to 10000 . to_vector)]]
vec = 4000.up_to 13000 . to_vector
Expand Down

0 comments on commit 5913848

Please sign in to comment.