Skip to content

Instantly share code, notes, and snippets.

@jamesc
Created May 7, 2014 02:20
Show Gist options
  • Save jamesc/9426c61d55f6c0a644ca to your computer and use it in GitHub Desktop.
Save jamesc/9426c61d55f6c0a644ca to your computer and use it in GitHub Desktop.
Proceeding with analysis...
ls_log.erl:22: Type specification ls_log:'#info-'('log') -> ['count' | 'created_at' | 'id' | 'node_name' | 'organization_name' | 'run_id'] is a supertype of the success typing: ls_log:'#info-'('log') -> ['count' | 'created_at' | 'id' | 'node_name' | 'organization_name' | 'run_id',...]
ls_log.erl:22: Type specification ls_log:'#info-log'('fields') -> ['count' | 'created_at' | 'id' | 'node_name' | 'organization_name' | 'run_id']
; ('size') -> 7 is a supertype of the success typing: ls_log:'#info-log'('fields' | 'size') -> ['count' | 'created_at' | 'id' | 'node_name' | 'organization_name' | 'run_id',...] | 7
ls_log.erl:22: Type specification ls_log:'#pos-log'('#attr-log'() | atom()) -> integer() is a supertype of the success typing: ls_log:'#pos-log'(atom()) -> 0 | 2 | 3 | 4 | 5 | 6 | 7
ls_log.erl:22: The specification for ls_log:'#pos-'/2 states that the function might also return 1 but the inferred return is 0 | 2 | 3 | 4 | 5 | 6 | 7
ls_log.erl:22: Type specification ls_log:'#info-'('log','size') -> 7
; ('log','fields') -> ['count' | 'created_at' | 'id' | 'node_name' | 'organization_name' | 'run_id'] is a supertype of the success typing: ls_log:'#info-'('log','fields' | 'size') -> ['count' | 'created_at' | 'id' | 'node_name' | 'organization_name' | 'run_id',...] | 7
ls_log.erl:22: Type specification ls_log:'#exported_records-'() -> ['log'] is a supertype of the success typing: ls_log:'#exported_records-'() -> ['log',...]
ls_log.erl:22: The specified type for the 1st argument of '#fromlist-'/2 ([{'count' | 'created_at' | 'id' | 'node_name' | 'organization_name' | 'run_id',_}]) is not a supertype of atom(), which is expected type for this argument in the callback of the sqerl_rec behaviour
ls_log.erl:22: The inferred type for the 1st argument of '#fromlist-'/2 ([{'count' | 'created_at' | 'id' | 'node_name' | 'organization_name' | 'run_id',_}]) is not a supertype of atom(), which is expected type for this argument in the callback of the sqerl_rec behaviour
done in 0m2.64s
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment