Repl time information

[amosr]

more time than you ever wanted. show the time breakdown when you evaluate a query. probably too much details but I'd rather that than not enough.

! @jystic @tranma

λ :set +time
λ feature ints500 ~> latest 2 ~> fields

icicle: Compile Query
icicle: Compile Source
icicle: Compile Source (took 0.01s)
icicle: Compile Core
icicle: Compile Core (took 0.01s)
icicle: Compile Avalanche
icicle: Compile Avalanche (took 0.00s)
icicle: Compile Flattened Avalanche
icicle: Compile Flattened Avalanche (took 2.98s)
icicle: Compile Flattened Avalanche Check
icicle: Compile Flattened Avalanche Check (took 0.03s)
icicle: Compile Query (took 3.03s)
icicle: Compile Sea
icicle: Compile Sea Avalanche->Sea
icicle: Compile Sea Avalanche->Sea (took 0.00s)
icicle: Compile Sea Sea->object
icicle: Compile Sea Sea->object (took 39.45s)
icicle: Compile Sea (took 39.45s)
icicle: Evaluate Zebra
icicle: Evaluate Zebra Open
icicle: Evaluate Zebra Open (took 0.00s)
icicle: Evaluate Zebra Schema
icicle: Evaluate Zebra Schema (took 0.00s)
icicle: Evaluate Zebra Transmute
icicle: Evaluate Zebra Transmute (took 0.00s)
icicle: Evaluate Zebra Decode
icicle: Evaluate Zebra Decode (took 0.00s)
icicle: Evaluate Zebra Snapshot
icicle: Evaluate Zebra Snapshot (took 0.01s)
icicle: Evaluate Zebra Output
icicle: Evaluate Zebra Output (took 0.00s)
C evaluation
------------

icicle: Evaluate Zebra (took 0.01s)

/jury approved @tranma

[tranma]

what's "flattened avalanche" vs "flattened avalanche check" again? optimisation vs check?

[tranma]

👍

[amosr]

just typechecking the simplified/transformed flat. I can delete it, I only added it because I did something stupid to begin with and wasn't forcing the flat