[experimentally make jhc eta expand all class methods fully, this can be turned off with the NOETA pragma
John Meacham <john@repetae.net>**20061222035642] hunk ./E/FromHs.hs 289
-    [(_,_,e)] <- convertDecls tiData classHierarchy assumps dataTable [HsPatBind srcLoc (HsPVar sillyName') (HsUnGuardedRhs exp) []]
+    [(_,_,e)] <- convertDecls tiData mempty classHierarchy assumps dataTable [HsPatBind srcLoc (HsPVar sillyName') (HsUnGuardedRhs exp) []]
hunk ./E/FromHs.hs 298
+    ceProps  :: IdMap Properties,
hunk ./E/FromHs.hs 333
-convertDecls :: Monad m => TiData -> ClassHierarchy -> Map.Map Name Type -> DataTable -> [HsDecl] -> m [(Name,TVr,E)]
-convertDecls tiData classHierarchy assumps dataTable hsDecls = liftM fst $ evalRWST ans ceEnv 2 where
+convertDecls :: Monad m => TiData -> IdMap Properties -> ClassHierarchy -> Map.Map Name Type -> DataTable -> [HsDecl] -> m [(Name,TVr,E)]
+convertDecls tiData props classHierarchy assumps dataTable hsDecls = liftM fst $ evalRWST ans ceEnv 2 where
hunk ./E/FromHs.hs 339
+        ceProps = props,
hunk ./E/FromHs.hs 589
+        props <- asks ceProps
hunk ./E/FromHs.hs 596
-                    (args,rargs) = span (sortKindLike . getType) as
+                    (args,rargs) = case mlookup i props of
+                        Just p | getProperty prop_NOETA p -> span (sortKindLike . getType) as
+                        _ -> (as,[])
hunk ./FrontEnd/Lexer.hs 620
+    ["NOETA"],
hunk ./Main.hs 263
-    ds' <- convertDecls tiData (hoClassHierarchy ho') allAssumps  fullDataTable decls
+    ds' <- convertDecls tiData (hoProps allHo) (hoClassHierarchy ho') allAssumps  fullDataTable decls
hunk ./data/props.txt 7
+NOETA