Skip to content
GitLab
Projects
Groups
Snippets
Help
Loading...
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
C
clean-test-properties
Project overview
Project overview
Details
Activity
Releases
Repository
Repository
Files
Commits
Branches
Tags
Contributors
Graph
Compare
Issues
2
Issues
2
List
Boards
Labels
Service Desk
Milestones
Merge Requests
0
Merge Requests
0
CI / CD
CI / CD
Pipelines
Jobs
Schedules
Operations
Operations
Incidents
Environments
Analytics
Analytics
CI / CD
Repository
Value Stream
Wiki
Wiki
Snippets
Snippets
Members
Members
Collapse sidebar
Close sidebar
Activity
Graph
Create a new issue
Jobs
Commits
Issue Boards
Open sidebar
clean-and-itasks
clean-test-properties
Commits
b08634ce
Commit
b08634ce
authored
Jun 07, 2018
by
Camil Staps
🚀
Browse files
Options
Browse Files
Download
Email Patches
Plain Diff
Allow spaces (and other funny characters) in property names (resolves
#12
)
parent
fbb9aa59
Changes
2
Hide whitespace changes
Inline
Side-by-side
Showing
2 changed files
with
9 additions
and
5 deletions
+9
-5
Cloogle
Cloogle
+1
-1
makecleantest.icl
makecleantest.icl
+8
-4
No files found.
Cloogle
@
23b05936
Compare
a18ebf4d
...
23b05936
Subproject commit
a18ebf4d7b782c1e8b0a7fbae0d546f20b1a64a8
Subproject commit
23b05936be80efc2d30df8c09d347bc04754655d
makecleantest.icl
View file @
b08634ce
...
...
@@ -321,14 +321,15 @@ where
,
gp_implementation
=
join
"
\n
"
[
tname
+++
" :: Property"
,
tname
+++
" = name
\"
"
+++
fname
+++
": "
+++
name`
+++
"
\"
"
,
"
\t
("
+++
lambda
+++
join
" "
[
name`
+++
"`"
:
map
snd3
ts`
]
+++
")"
,
"
\t
("
+++
lambda
+++
join
" "
[
name`
`
+++
"`"
:
map
snd3
ts`
]
+++
")"
,
"where"
,
"
\t
"
+++
name`
+++
"` :: "
+++
toString
type`
,
"
\t
"
+++
join
" "
[
name`
+++
"`"
:
map
fst3
ts`
]
+++
" = prop $
\n\t\t
"
+++
replaceSubString
"
\n
"
"
\n\t\t
"
imp
,
"
\t
"
+++
name`
`
+++
"` :: "
+++
toString
type`
,
"
\t
"
+++
join
" "
[
name`
`
+++
"`"
:
map
fst3
ts`
]
+++
" = prop $
\n\t\t
"
+++
replaceSubString
"
\n
"
"
\n\t\t
"
imp
]
}
where
tname
=
fname
+++
"_"
+++
name`
// TODO generate a different name if fname contains funny characters
tname
=
fname
+++
"_"
+++
name``
name``
=
fixname
name`
name`
=
if
(
i
==
1
)
name
(
name
+++
"_"
+++
toString
i
)
type
=
fromJust
$
assignAll
vis
$
Func
(
map
thd3
ts`
)
(
Type
"Property"
[])
[]
type`
=
fromJust
$
assignAll
vis
$
Func
(
map
snd
ts
)
(
Type
"Property"
[])
[]
...
...
@@ -342,4 +343,7 @@ where
resolveGenerators
(
arg
,
t
)
=
case
[(
n
,
i
)
\\
(
n
,
Func
[
i
]
r
_,_)
<-
generators
|
r
==
t
]
of
[(
n
,
i
):_]
->
(
arg
,
"("
+++
n
+++
" "
+++
arg
+++
")"
,
i
)
[]
->
(
arg
,
arg
,
t
)
fixname
::
String
->
String
fixname
s
=
{
if
(
isAlphanum
c
)
c
'_'
\\
c
<-:
s
}
generateProperties
_
_
_
_
=
[]
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