Eugen Wissner belka
0 Followers · 0 Following
Repositories
4
 Projects Packages Public Activity Starred Repositories
belka pushed to haskell at OSS/elna 2024-08-12 21:01:06 +02:00
f78592378a Add IR quadruple definitions
belka pushed to haskell at OSS/elna 2024-08-12 00:50:59 +02:00
38a8d6811c Write parameter info into procedure info
belka pushed to master at OSS/slackbuilder 2024-08-11 13:00:08 +02:00
42b9b671e1 Fix GHC 9.8 warnings
belka pushed to haskell at OSS/elna 2024-08-09 20:16:56 +02:00
5e7683af32 Check types
belka pushed to master at OSS/slackbuilder 2024-08-09 10:04:52 +02:00
e0ca80db32 Switch to buildenv for test builds
belka pushed to master at OSS/slackbuilder 2024-08-09 10:02:57 +02:00
453dc515e8 Switch to buildenv for test builds
belka pushed to haskell at OSS/elna 2024-08-08 19:11:36 +02:00
18a299098c Typecheck statements
belka pushed to master at OSS/slackbuilder 2024-08-08 11:03:23 +02:00
4ce20e3dd9 Provide own lzma conduit adapters
belka pushed to haskell at OSS/elna 2024-08-07 22:48:26 +02:00
573990551c Determine an expression type
belka pushed to master at OSS/graphql 2024-08-07 19:27:19 +02:00
6e32112be4 Require base >=4.15 (GHC 9)
belka closed issue OSS/graphql#12 2024-08-06 18:19:28 +02:00
Fix GHC 9.8 warnings
belka pushed to master at OSS/graphql 2024-08-06 18:19:18 +02:00
388af30b51 Fix GHC 9.8 warnings
belka pushed to haskell at OSS/elna 2024-08-06 17:02:37 +02:00
385322235d Look for undefined symbols
belka pushed to haskell at OSS/elna 2024-08-05 22:57:31 +02:00
a1863147f8 Don't allow identifier duplicates
belka opened issue OSS/graphql#12 2024-08-05 08:23:06 +02:00
Fix GHC 9.8 warnings
belka pushed to haskell at OSS/elna 2024-08-04 12:23:39 +02:00
9cb9ab536f Create procedure local symbol table
belka pushed to master at OSS/graphql 2024-08-04 09:06:24 +02:00
e02463f452 Remove unused liftA2 import
belka closed issue OSS/graphql#7 2024-08-04 08:37:25 +02:00
Encoder tests using gql fail on Windows
belka deleted branch feature/rn from OSS/graphql 2024-08-04 08:31:28 +02:00
belka pushed to master at OSS/graphql 2024-08-04 08:30:49 +02:00
9d85379826 Remove cariage return from the qq string