Browse files


  • Loading branch information...
1 parent a5e19bf commit 843d300e8afb065d0af131119aa257ea78790927 @leepike committed May 17, 2012
Showing with 3 additions and 1 deletion.
  1. +3 −1
@@ -44,11 +44,13 @@ Div0 defines a toy language containing constants (C), addition (A), and division
Because SmartCheck performs data-generic operations using Data.Data and
GHC.Generics we have to derive Data, Typeable, and Generic (we plan to eliminate
dependence on Data.Data in the future). To use GHC.Generics, you also need the
-following pragmas:
+following pragmas: and the single automatically-derived instance:
{-# LANGUAGE DeriveDataTypeable #-}
{-# LANGUAGE DeriveGeneric #-}
+ instance SubTypes M
Let's say we have a little interpreter for the language that takes care not to
divide by 0:

0 comments on commit 843d300

Please sign in to comment.