Skip to content
Projects
Groups
Snippets
Help
Loading...
Help
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
G
gargantext-ihaskell
Project
Project
Details
Activity
Releases
Cycle Analytics
Repository
Repository
Files
Commits
Branches
Tags
Contributors
Graph
Compare
Charts
Issues
0
Issues
0
List
Board
Labels
Milestones
Merge Requests
0
Merge Requests
0
CI / CD
CI / CD
Pipelines
Jobs
Schedules
Charts
Wiki
Wiki
Snippets
Snippets
Members
Members
Collapse sidebar
Close sidebar
Activity
Graph
Charts
Create a new issue
Jobs
Commits
Issue Boards
Open sidebar
gargantext
gargantext-ihaskell
Commits
296c75f7
Commit
296c75f7
authored
Mar 25, 2015
by
Andrew Gibiansky
Browse files
Options
Browse Files
Download
Email Patches
Plain Diff
Allow :load to take multiple filenames or module names
parent
1bb67fef
Changes
1
Show whitespace changes
Inline
Side-by-side
Showing
1 changed file
with
10 additions
and
9 deletions
+10
-9
Evaluate.hs
src/IHaskell/Eval/Evaluate.hs
+10
-9
No files found.
src/IHaskell/Eval/Evaluate.hs
View file @
296c75f7
...
@@ -556,9 +556,10 @@ evalCommand _ (Directive GetKind expr) state = wrapExecution state $ do
...
@@ -556,9 +556,10 @@ evalCommand _ (Directive GetKind expr) state = wrapExecution state $ do
let
typeStr
=
showSDocUnqual
flags
$
ppr
kind
let
typeStr
=
showSDocUnqual
flags
$
ppr
kind
return
$
formatType
$
expr
++
" :: "
++
typeStr
return
$
formatType
$
expr
++
" :: "
++
typeStr
evalCommand
_
(
Directive
LoadFile
name
)
state
=
wrapExecution
state
$
do
evalCommand
_
(
Directive
LoadFile
name
s
)
state
=
wrapExecution
state
$
do
write
state
$
"Load: "
++
name
write
state
$
"Load: "
++
name
s
forM_
(
words
names
)
$
\
name
->
do
let
filename
=
if
endswith
".hs"
name
let
filename
=
if
endswith
".hs"
name
then
name
then
name
else
name
++
".hs"
else
name
++
".hs"
...
...
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