QPQ-AG/sophia
10
0
Fork 0
Code Issues 41 Pull Requests 5 Actions Packages Projects Releases 16 Wiki Activity

Namespace fix #589

Merged
zxq9 merged 2 commits from namespace-fix into master 2019-06-27 16:34:49 +09:00
Conversation 2 Commits 2 Files Changed 2 +24 -11

2 Commits

Author SHA1 Message Date
Ulf Norell
292d1aa65b Fix namespace bug 
Don't unfold record types until all contracts/namespaces have been checked
 2019-06-27 09:15:27 +02:00
Ulf Norell
259bae1720 Test case for another name space bug 2019-06-27 09:15:27 +02:00