owned this note   changed 2 years ago  
Published Linked with GitHub

Attendees

  • amtoine
  • aucacoyan
  • darren
  • jt
  • storm
  • andres
  • jakub
  • windsoilder

Agenda

Discussed Topics

profiling tools

related to the tracing PR and the tracing crate.
heavier dependency than log

Image Not Showing Possible Reasons
  • The image file may be corrupted
  • The server hosting the image is unavailable
  • The image path is incorrect
  • The image format is not supported
Learn More →

we need to be clear on the problem otherwise there is no point:

  • having time spans to know how much time a particular segment took

adding a line in PR bodies to say this PR adds 8 dependencies or it removes 15 dependencies so that it's easier to reason about whether this is worth it or not.

website CI

let's debug this after the meeting

eval (Improve type hovers #9515)

the improve hover PR ended up being more than that

Image Not Showing Possible Reasons
  • The image file may be corrupted
  • The server hosting the image is unavailable
  • The image path is incorrect
  • The image format is not supported
Learn More →

now we properly check the types between pipelines

  • pipes are checked
  • give up less often on type checks

overall the type checker is more strict!

def foo [
    x: int,
    y: int,
]: string -> list<string> {
  # ...
}

def foo [
   x: int
]: [
   string -> int,
   string -> string,
] {
   # ...
}

Image Not Showing Possible Reasons
  • The image file may be corrupted
  • The server hosting the image is unavailable
  • The image path is incorrect
  • The image format is not supported
Learn More →
$in is confusing and might be good to rename it => #9551

Select a repo