Submission #58001292

---

Source Code Expand

main=do l<-f<$>readLn;mapM print$length l:l
f 0=[]
f n=last[i:f(n-3^i)|i<-[0..10],3^i<=n]

Submission Info

Compile Error

app/Main.hs:1:1: warning: [-Wmissing-signatures]
    Top-level binding with no type signature: main :: IO [()]
  |
1 | main=do l<-f<$>readLn;mapM print$length l:l
  | ^^^^

app/Main.hs:1:12: warning: [-Wtype-defaults]
    • Defaulting the type variable ‘a0’ to type ‘Integer’ in the following constraints
        (Num a0) arising from a use of ‘f’ at app/Main.hs:1:12
        (Ord a0) arising from a use of ‘f’ at app/Main.hs:1:12
        (Read a0) arising from a use of ‘readLn’ at app/Main.hs:1:16-21
    • In the first argument of ‘(<$>)’, namely ‘f’
      In a stmt of a 'do' block: l <- f <$> readLn
      In the expression:
        do l <- f <$> readLn
           mapM print $ length l : l
  |
1 | main=do l<-f<$>readLn;mapM print$length l:l
  |            ^

app/Main.hs:2:1: warning: [-Wmissing-signatures]
    Top-level binding with no type signature:
      f :: (Num t, Integral b, Ord t) => t -> [b]
  |
2 | f 0=[]
  | ^

Judge Result