blob: 092b5e71eb250647987478f1ab7cce936fbc35ae (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
|
module 'get_map_element' ['get_map_element'/0]
attributes []
'get_map_element'/0 =
fun () ->
apply 'match_map'/1(~{'foo'=>'bar'}~)
'match_map'/1 =
fun (_0) ->
case _0 of
<~{'foo':='bar'}~> when 'true' ->
'ok'
%% It will be undefined behaviour at runtime if no
%% clause of the case can be selected. That can't
%% happen for this module, because match_map/1 is
%% always called with a matching map argument.
end
end
|