blob: 89228b8357eef443404bd4876005baf01d7b770b (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
|
%%%-------------------------------------------------------------------
%%% File : record_pat.erl
%%% Author : Tobias Lindahl <>
%%% Description : Emit warning if a pattern violates the record type
%%%
%%% Created : 21 Oct 2008 by Tobias Lindahl <>
%%%-------------------------------------------------------------------
-module(record_pat).
-export([t/1]).
-record(foo, {bar :: integer()}).
t(#foo{bar=baz}) -> no_way;
t(#foo{bar=1}) -> ok.
|
