khibino/haskell-relational-record
1
1
Fork 0
mirror of https://github.com/khibino/haskell-relational-record.git synced 2024-12-28 22:44:11 +03:00
Code Issues Projects Releases Wiki Activity

examples/HDBC/PostgreSQL: add comment about strength of type restriction.

Browse Source
This commit is contained in:
Kei Hibino 2017-11-25 02:49:04 +09:00
parent 639ab947da
commit 7a621b1df7
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
examples/HDBC/PostgreSQL/example/1/QueryExampleO.hs
View File

@ -219,7 +219,7 @@ userGroup3 =
$ user `inner` membership `on'` [\ u m -> #id u .=. #userId m ]
`inner'` specifiedGroup `on'` [ \ um g -> um ! #snd ! #groupId .=. #id g ]
, let um = #fst umg
u = (! #fst) um
u = (! #fst) um --- operator (!) forces Pi type, but function apply does not force PI type.
g = #snd umg
, () <- asc $ u ! User.id'