[mercury-users] Wow!

[Ralph Becket]

These few lines of code:

    BodyBuilder = (
    pred(Body::out, CVV0::array_di, CVV::array_uo, mdi, muo) -->
        new_var(Dummy),
        ArgsBuilder(array__init(N, Dummy), Body, CVV0, CVV)
    ).

led to the following epic collection of error messages:

atom.m:1416: In clause for predicate `atom:make_body_builder/4':
atom.m:1416:   error: undefined symbol `-->/2'.
atom.m:1417: In clause for predicate `atom:make_body_builder/4':
atom.m:1417:   in argument 1 of functor `-->/2':
atom.m:1417:   error: undefined symbol `pred/5'.
atom.m:1417: In clause for predicate `atom:make_body_builder/4':
atom.m:1417:   in argument 1 of functor `-->/2':
atom.m:1417:   in argument 1 of functor `pred/5':
atom.m:1417:   error: undefined symbol `::/2'.
atom.m:1417: In clause for predicate `atom:make_body_builder/4':
atom.m:1417:   in argument 1 of functor `-->/2':
atom.m:1417:   in argument 1 of functor `pred/5':
atom.m:1417:   in argument 2 of functor `::/2':
atom.m:1417:   error: undefined symbol `out/0'.
atom.m:1417: In clause for predicate `atom:make_body_builder/4':
atom.m:1417:   in argument 1 of functor `-->/2':
atom.m:1417:   in argument 2 of functor `pred/5':
atom.m:1417:   error: undefined symbol `::/2'.
atom.m:1417: In clause for predicate `atom:make_body_builder/4':
atom.m:1417:   in argument 1 of functor `-->/2':
atom.m:1417:   in argument 2 of functor `pred/5':
atom.m:1417:   in argument 2 of functor `::/2':
atom.m:1417:   error: undefined symbol `array_di/0'.
atom.m:1417: In clause for predicate `atom:make_body_builder/4':
atom.m:1417:   in argument 1 of functor `-->/2':
atom.m:1417:   in argument 3 of functor `pred/5':
atom.m:1417:   error: undefined symbol `::/2'.
atom.m:1417: In clause for predicate `atom:make_body_builder/4':
atom.m:1417:   in argument 1 of functor `-->/2':
atom.m:1417:   in argument 3 of functor `pred/5':
atom.m:1417:   in argument 2 of functor `::/2':
atom.m:1417:   error: undefined symbol `array_uo/0'.
atom.m:1417: In clause for predicate `atom:make_body_builder/4':
atom.m:1417:   in argument 1 of functor `-->/2':
atom.m:1417:   in argument 4 of functor `pred/5':
atom.m:1417:   error: undefined symbol `mdi/0'.
atom.m:1417: In clause for predicate `atom:make_body_builder/4':
atom.m:1417:   in argument 1 of functor `-->/2':
atom.m:1417:   in argument 5 of functor `pred/5':
atom.m:1417:   error: undefined symbol `muo/0'.
atom.m:1417: In clause for predicate `atom:make_body_builder/4':
atom.m:1417:   in argument 2 of functor `-->/2':
atom.m:1417:   error: the language construct ,/2 should be
atom.m:1417:   used as a goal, not as an expression.
atom.m:1418: In clause for predicate `atom:make_body_builder/4':
atom.m:1418:   in argument 2 of functor `-->/2':
atom.m:1418:   in argument 2 of functor `,/2':
atom.m:1418:   in unification of argument
atom.m:1418:   and term `''(ArgsBuilder, V_28, Body, CVV0, CVV)':
atom.m:1418:   type error in argument(s) of functor `/5'.
atom.m:1418:   argument has overloaded type { V_28, V_28 },
atom.m:1418:   functor `/5' has type
atom.m:1418:   `''((func(V_4, V_3, V_2, V_1) = V_5), V_4, V_3, V_2, V_1) ::
V_5'
,
atom.m:1418:   variable `ArgsBuilder' has overloaded type {
pred((array:array((s
tore:mutvar((atom:atom_state(S)), S)))),
(array:array((store:mutvar((atom:atom_s
tate(S)), S)))), (array:array((store:mutvar((atom:atom_state(S)), S)))),
(array:
array((store:mutvar((atom:atom_state(S)), S)))), (store:store(S)),
(store:store(
S))), pred((array:array((store:mutvar((atom:atom_state(S)), S)))),
(array:array(
(store:mutvar((atom:atom_state(S)), S)))),
(array:array((store:mutvar((atom:atom
_state(S)), S)))), (array:array((store:mutvar((atom:atom_state(S)), S)))),
(stor
e:store(S)), (store:store(S))) },
atom.m:1418:   argument has overloaded type { '<any>', '<any>' },
atom.m:1418:   variable `Body' has overloaded type { '<any>', '<any>' },
atom.m:1418:   variable `CVV0' has overloaded type { '<any>', '<any>' },
atom.m:1418:   variable `CVV' has overloaded type { '<any>', '<any>' }.

Now that is really something.
--------------------------------------------------------------------------
mercury-users mailing list
post:  mercury-users at cs.mu.oz.au
administrative address: owner-mercury-users at cs.mu.oz.au
unsubscribe: Address: mercury-users-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-users-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------