[02:26:08] *** Quits: kook_ (~sirdancea@210.14.broadband15.iol.cz) (Ping timeout: 260 seconds) [04:50:17] *** Quits: jbalint (~jbalint@unaffiliated/jbalint) (Quit: Bye!) [05:21:39] *** Joins: jbalint (~jbalint@24-240-72-190.dhcp.mdsn.wi.charter.com) [05:21:39] *** Quits: jbalint (~jbalint@24-240-72-190.dhcp.mdsn.wi.charter.com) (Changing host) [05:21:39] *** Joins: jbalint (~jbalint@unaffiliated/jbalint) [06:56:56] In Constructors, it says the recommended use is via the Syntax wrapper, which also wraps Structural, but for some reason, I import Constructors and Structural myself [06:56:59] Paradigms defines lexical constructors, which take strings. I want the latter here, so I qualified the call as ParadigmsEng.mkAdv and the ambiguity warning goes away. [06:57:01] Qualified by ConstructorsEng, I get the error, "Happened in linearization of actually no overload instance of mkAdv for Str among A Prep NP Subj S CAdv A NP CAdv A S AdA Adv Conj Adv Adv Conj ListAdv with value type {s : Str}" [15:07:07] *** Joins: sirdancealot (~sirdancea@236.152.broadband3.iol.cz) [23:06:36] *** Quits: sirdancealot (~sirdancea@236.152.broadband3.iol.cz) (Ping timeout: 250 seconds) [23:19:38] *** Joins: sirdancealot (~sirdancea@109.107.211.244)