Skip to content
GitLab
Projects
Groups
Snippets
Help
Loading...
Help
What's new
7
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in / Register
Toggle navigation
Open sidebar
curry-packages
icurry
Commits
9ff16ede
Commit
9ff16ede
authored
Apr 25, 2019
by
Michael Hanus
Browse files
Options
Browse Files
Download
Email Patches
Plain Diff
Error output slightly improved
parent
68cddffc
Changes
1
Hide whitespace changes
Inline
Side-by-side
Showing
1 changed file
with
4 additions
and
1 deletion
+4
-1
src/Main/Flat2I.curry
src/Main/Flat2I.curry
+4
-1
No files found.
src/Main/Flat2I.curry
View file @
9ff16ede
...
...
@@ -48,7 +48,10 @@ pmain args = do
rawRes <- lookupTypeDepsFileRaw rawPaths modname
filename <- maybe (do
cres <- lookupTypeDepsFile curryStylePaths modname
maybe (error "Cannot find ICurry type dependencies file") return cres)
maybe (error $ "Cannot find ICurry type dependencies file of " ++
modname)
return
cres)
return rawRes
readFile filename >>= return . read
...
...
Write
Preview
Markdown
is supported
0%
Try again
or
attach a new file
.
Attach a file
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment