search

ssm-lang / sslang

A language built atop the Sparse Synchronous Model
BSD 3-Clause "New" or "Revised" License
18 stars 0 forks source link

Fix pretty printing of arguments #155

Closed j-hui closed 1 year ago

j-hui commented 1 year ago

Before:

puts_ (putc: (Int32 -> 'ir_t35))
(s: String): ((Int32 -> 'ir_t35) -> (String -> ())) =
  let puts__: (String -> ()) = puts__puts__ putc
  puts__ s

After:

puts_
  (putc: (Int32 -> 'ir_t35))
  (s: String): ((Int32 -> 'ir_t35) -> (String -> ())) =
  let puts__: (String -> ()) = puts__puts__ putc
  puts__ s

It is fix

yiming-fang commented 1 year ago

LGTM!

j-hui commented 1 year ago

And now with that latest commit:

puts_
    (putc: (Int32 -> 'ir_t35))
    (s: String): ((Int32 -> 'ir_t35) -> (String -> ())) =
  let puts__: (String -> ()) = puts__puts__ putc
  puts__ s

It is clearer