emacs

hkjels 2025-02-14T10:15:59.695629Z

If anyone dabbles with Standard ML, there's now a package on github that gives you "cider-like" interactive REPL behavior: https://github.com/hkjels/sml-repl-mode

hkjels 2025-02-14T10:17:20.299159Z

I see that there are some inaccuracies in the README now, but the mode works pretty good 🙂

2025-02-14T17:13:06.045679Z

I dunno, seems like for standard ml you should be using ed, the standard editor 🤓

hkjels 2025-02-15T09:37:52.119189Z

Yeah. But for toy-stuff it actually feels quite nice 😊

jf 2025-02-14T23:09:44.764289Z

does CIDER (or Prelude's config of CIDER) do a doseq on map? I see that (type (map str (range))) gives me clojure.lang.LazySeq, but when I give the REPL just (map str (range)) the output only stops because of truncation. (last few lines of (map str (range)):

"115964"
 "115965"
 "115966"
 "115967"
 "1159
... output truncated to 1MB ...

dpsutton 2025-02-14T23:34:43.209339Z

The P in repl is what is doing this. Cider has a middleware to affect printing that actually stops it after what it considers too much output

jf 2025-02-15T02:04:19.714369Z

I see. That makes sense. Thank you!

ag 2025-02-15T02:08:16.869889Z

iirc cider-print-quota is the var that controls it. The REPL will attempt to realize the lazy sequence until it hits the print quota limit. either explicitly limit output (take n ...), increase that var or work with the sequence using other operations without trying to print it directly