diff options
| author | Camil Staps | 2016-07-03 14:42:27 +0200 |
|---|---|---|
| committer | Camil Staps | 2016-07-03 14:42:27 +0200 |
| commit | 6025a6637dae924ec87e10d94b0b49ea81592eea (patch) | |
| tree | 6e18a288cedd5adaa84ceb7737900440166202da /ABC/Nodes.icl | |
| parent | Moved to directory, added test program (diff) | |
Added ABC.Code
Diffstat (limited to 'ABC/Nodes.icl')
| -rw-r--r-- | ABC/Nodes.icl | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/ABC/Nodes.icl b/ABC/Nodes.icl index fa29cb4..55be090 100644 --- a/ABC/Nodes.icl +++ b/ABC/Nodes.icl @@ -11,9 +11,9 @@ n_arg n i a | otherwise = abortn "n_arg: index greater than arity" n_args :: Node Arity -> [NodeId] -n_args (Node _ _ args) a +n_args (Node d e args) a | a == length args = args -| otherwise = abortn "n_args: incorrect arity" +| otherwise = abortn ("n_args: incorrect arity " <+ a <+ " for node " <+ d <+ ":" <++ (",", args)) n_args _ _ = abortn "n_args: no arguments in node" n_arity :: Node -> Arity |