# HG changeset patch # User wenzelm # Date 1316350545 -7200 # Node ID 52f809bc540213324d5c16d00cc041253e0d7eef # Parent c56a400592580e4b2ca79e71e1ee69f63fec2e4b updated generated file; diff -r c56a40059258 -r 52f809bc5402 doc-src/Codegen/Thy/examples/Example.hs --- a/doc-src/Codegen/Thy/examples/Example.hs Sun Sep 18 14:55:27 2011 +0200 +++ b/doc-src/Codegen/Thy/examples/Example.hs Sun Sep 18 14:55:45 2011 +0200 @@ -1,4 +1,4 @@ -{-# LANGUAGE ScopedTypeVariables #-} +{-# LANGUAGE EmptyDataDecls, RankNTypes, ScopedTypeVariables #-} module Example where {