diff options
| author | clean | 2000-07-11 09:46:49 +0000 |
|---|---|---|
| committer | clean | 2000-07-11 09:46:49 +0000 |
| commit | c0da0dab48a801ed0d268e4f3695b5710ef23f50 (patch) | |
| tree | 065ad4f152abbcf8e31eda250674c92bcba58ea7 | |
| parent | Improved compatibility with Maarten's Theorem Prover Sources (diff) | |
Fixed call to changed frontend interface
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@185 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
| -rw-r--r-- | frontend/main.icl | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/frontend/main.icl b/frontend/main.icl index a5251ce..0791130 100644 --- a/frontend/main.icl +++ b/frontend/main.icl @@ -47,7 +47,7 @@ CommandLoop proj ms=:{ms_io} { ms_io :: !*File , ms_error :: !*File , ms_out :: !*File - , ms_paths :: !SearchPaths + , ms_paths :: ![{#Char}] , ms_files :: !*Files } @@ -147,7 +147,7 @@ compileModule mod_name ms loadModule mod_ident predef_symbols hash_table ms=:{ms_files,ms_error,ms_io,ms_out,ms_paths} # (predef_symbols, hash_table, ms_files, ms_error, ms_io, ms_out, optional_syntax_tree) - = frontEndInterface mod_ident ms_paths predef_symbols hash_table ms_files ms_error ms_io ms_out + = frontEndInterface FrontEndPhaseAll mod_ident {sp_locations = [], sp_paths = ms_paths} predef_symbols hash_table ms_files ms_error ms_io ms_out ms = {ms & ms_files=ms_files, ms_error=ms_error,ms_io=ms_io,ms_out=ms_out} = case optional_syntax_tree of |