TupleSections with two commas

[ysangkok]

Seems like MicroHs doesn't like this, I am not sure whether this is a GHC extension to the TupleSections extension that isn't supposed to be supported, or whether it is a genuine bug.

module Example2(main) where

import Prelude

f :: Bool -> Int -> (Bool, String, Int)
f = (,"Hello World",)

main :: IO ()
main = pure ()

This fails on MicroHs:

 % ./bin/mhs Example2
ERR: mhs: "./Example2.hs": line 6, col 20:
  found:    ,
  expected: { select LQIdent ( UQIdent [ literal primitive :: )

But works on GHC 9.8:

 % ghc -XTupleSections Example2.hs
# Succeeds

Taken from tcrun024.hs.

[augustss]

Yeah, MicroHs only supports pair sections at the moment. I might add general tuple sections.