test import

This commit is contained in:
Vítor Santos Costa 2016-02-22 13:01:46 +00:00
parent 6f1b5fbef9
commit 3af377d610
2 changed files with 20 additions and 0 deletions

View File

@ -0,0 +1,17 @@
:- module( dynimport, d/1).
:- use_module( mod1 ).
:- initialization( open('errors.md', write, _Out, [alias(user_error)]), now ).
:- format(user_error, ' Report on dynamic module import.~n~n', []).
d(2).
:- format(user_error, ' + ok if ok~n~n~*c~n', [4,0'~,4,0'~]).
:- initialization( ( mod1(_), writeln(ok) ), now ).
:- format(user_error, '~*c~n', [4,0'~]).

View File

@ -0,0 +1,3 @@
mod1(a).