Skip to content
This repository

Fno warn orphans #20

Merged
merged 2 commits into from about 2 years ago

2 participants

Greg Weber Tony Hannan
Greg Weber

No description provided.

Tony Hannan TonyGen merged commit 3f3cd02 into from
Tony Hannan TonyGen closed this
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Showing 2 unique commits by 1 author.

Feb 29, 2012
Greg Weber use -fno-warn-orphans b706780
Greg Weber ignore dist/ 3c77f29
This page is out of date. Refresh to see the latest.
1  .gitignore
... ...
@@ -0,0 +1 @@
  1
+dist/
2  Database/MongoDB/Internal/Util.hs
... ...
@@ -1,6 +1,8 @@
1 1
 -- | Miscellaneous general functions and Show, Eq, and Ord instances for PortID
2 2
 
3 3
 {-# LANGUAGE FlexibleInstances, UndecidableInstances, StandaloneDeriving #-}
  4
+-- PortID instances
  5
+{-# OPTIONS_GHC -fno-warn-orphans #-}
4 6
 
5 7
 module Database.MongoDB.Internal.Util where
6 8
 
Commit_comment_tip

Tip: You can add notes to lines in a file. Hover to the left of a line to make a note

Something went wrong with that request. Please try again.