--- /dev/null
+{-# OPTIONS -fglasgow-exts #-}
+
+-- !!! Another implicit parameter test, from Alastair Reid
+
+module ShouldCompile where
+
+import Maybe
+
+type Env = ([(String,Int)],Int)
+
+ident1 :: (?env :: Env) => String -> Int
+ident1 x = y
+ where
+ env = ?env
+ y = fromJust (lookup x (fst env))
+
+ident2 :: (?env :: Env) => String -> Int
+ident2 x = y
+ where
+ y = fromJust (lookup x (fst ?env))
+
+
+-- Two more tests from Jeff Lewis
+x () = y where y = ?wibble
+
+f () = ?wibble :: Int
+g () = f ()