summary |
shortlog |
log |
commit | commitdiff |
tree
raw |
patch |
inline | side by side (from parent 1:
167cfff)
I think the type needs rethinking to make the case exhaustive
fun formatOutputRule (Client (ports, hosts)) = "dport " ^ formatPorts ports ^ (case hosts of
[] => ""
| _ => " daddr " ^ formatHosts hosts) ^ " ACCEPT;"
fun formatOutputRule (Client (ports, hosts)) = "dport " ^ formatPorts ports ^ (case hosts of
[] => ""
| _ => " daddr " ^ formatHosts hosts) ^ " ACCEPT;"
+ | formatOutputRule _ = ""
fun formatInputRule (Server (ports, hosts)) = "dport " ^ formatPorts ports ^ (case hosts of
[] => ""
| _ => " saddr " ^ formatHosts hosts) ^ " ACCEPT;"
fun formatInputRule (Server (ports, hosts)) = "dport " ^ formatPorts ports ^ (case hosts of
[] => ""
| _ => " saddr " ^ formatHosts hosts) ^ " ACCEPT;"
+ | formatInputRule _ = ""
type ferm_lines = { input_rules : (string list) DataStructures.StringMap.map,
output_rules : (string list) DataStructures.StringMap.map }
type ferm_lines = { input_rules : (string list) DataStructures.StringMap.map,
output_rules : (string list) DataStructures.StringMap.map }