Add __nirum_annotations__ on record type

CHANGES.md

@@ -33,8 +33,10 @@ To be released.
 
 ### Python target
 
- -  Python 3.7 support. [[#298], [#300] by Alan D.J. Synn]
+ -  Python 3.7 support. [[#298], [#300] by Alan Synn]
+ -  Add annotation metadata `__nirum_annotations__` on record type. [[#273] by Alan Synn]
 
+[#273]: https://github.com/nirum-lang/nirum/issues/273
 [#298]: https://github.com/nirum-lang/nirum/issues/298
 
 ### Et cetera

src/Nirum/Targets/Python.hs

@@ -847,9 +847,11 @@ class #{className}(enum.Enum):
 |]
 compileTypeDeclaration src d@TypeDeclaration { typename = Name tnFacial tnBehind
                                              , type' = RecordType fields'
+                                             , typeAnnotations = AnnotationSet { AI.annotations = annoMap } 
                                              } = do
     let className = toClassName tnFacial
     insertStandardImport "typing"
+    insertThirdPartyImportsA [("nirum.datastructures", [("map_type", "Map")])]
     abc <- collectionsAbc
     pyVer <- getPythonVersion
     fieldCodes <- toFieldCodes src
@@ -867,6 +869,22 @@ class #{className}(object):
 %{ endforall }
     )
     __nirum_type__ = 'record'
+    __nirum_annotations__ = map_type({
+%{ forall (annotationName, annotationArgument) <- M.toList annoMap }
+        '#{toAttributeName annotationName}': map_type({
+%{ forall (annotationArgumentName, annotationArgumentValue) <- M.toList annotationArgument }
+            '#{toAttributeName annotationArgumentName}': 
+%{ case annotationArgumentValue}
+%{ of AI.Text t }
+                '''#{t}'''
+%{ of AI.Integer i }
+                #{i}
+%{ endcase }
+            ,
+%{ endforall }    
+        }),
+%{ endforall }
+    })
 
 %{ case pyVer }
 %{ of Python2 }

test/python/annotation_test.py

@@ -1,5 +1,5 @@
 from fixture.datetime import DatetimeService
-from fixture.foo import PingService, RpcError
+from fixture.foo import PingService, RpcError, AnnotationTestRecord
 from nirum.datastructures import Map
 
 
@@ -21,3 +21,13 @@ def test_annotation_int():
         'num_constraints': Map({'max': 12, 'min': 1}),
     })
     assert DatetimeService.__nirum_method_annotations__['delta_month'] == exp
+
+
+def test_record_annotation():
+    exp = Map({
+        'helloworld': Map({
+            'foo': 1,
+            'bar': 'foobar',
+        }),
+    })
+    assert AnnotationTestRecord.__nirum_annotations__ == exp