No import generated for fromMaybe

[jespercockx]

I have another issue: The following module

module Test where

open import Haskell.Prelude

test : Integer
test = fromMaybe 0 (Just 12)

{-# COMPILE AGDA2HS test #-}

is transpiled to

module Test where

test :: Integer
test = fromMaybe 0 (Just 12)

but this module does not compile — it's missing a line

import Data.Maybe (fromMaybe)

In other words, the function fromMaybe happens to not be a part of the Haskell Prelude.

Originally posted by @HeinrichApfelmus in #366 (comment)