model 0.2 → 0.2.1
raw patch · 2 files changed
+3/−3 lines, 2 files
Files
- model.cabal +2/−2
- src/Data/Model/Pretty.hs +1/−1
model.cabal view
@@ -1,7 +1,7 @@ name: model-version: 0.2+version: 0.2.1 synopsis: Derive a model of a data type using Generics-description: See the tutorial at: https://github.com/tittoassini/model+description: See the github homepage for a tutorial homepage: http://github.com/tittoassini/model license: BSD3 license-file: LICENSE
src/Data/Model/Pretty.hs view
@@ -21,7 +21,7 @@ pPrint (TypeModel t e) = vcat $ [ text "Type:" ,pPrint t <+> text "->" <+> pPrint (localName . declName <$> solveAll e t)- ,text ""+ -- ,text "" -- Results in a split display ,text "Environment:"] ++ map (\(ref,adt) -> pPrint ref <+> text "->" <+> pPrint (stringADT e adt)) (M.assocs e)